Results 61 to 70 of about 46,307 (212)
Uncertainty in Artificial Intelligence Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, The Catholic University of America, Washington, D.C. 1993 [PDF]
, 1993 Uncertainty in Artificial Intelligence contains the proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence held at the Catholic University of America in Washington, DC, on July 9-11, 1993.
Mamdani, Abe, Heckerman, David
core
The epistemic logic behind the game description language [PDF]
, 2011 A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords.
Ruan, Ji +4 more
core +1 more source
Big Data & SocietyThis commentary discusses the role of increasingly artificial intelligence-infused big tech platforms in facilitating and normalising high-emission lifestyles and consumption practices. It introduces the notion of algorithmically facilitated emissions to
Jutta Haider, Malte Rödl, James White
doaj +1 more source
Learning Concepts Definable in First-Order Logic with Counting [PDF]
Logical Methods in Computer ScienceWe study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures ...
Steffen van Bergerem
doaj +1 more source
Ethical Decision-Making in Artificial Intelligence: A Logic Programming Approach
AIThis article proposes a framework for integrating ethical reasoning into AI systems through Continuous Logic Programming (CLP), emphasizing the improvement of transparency and accountability in automated decision-making. The study highlights requirements
José Machado +3 more
doaj +1 more source
Forgetting for Defeasible Logic [PDF]
, 2012 The concept of forgetting has received significant interest in artificial intelligence recently. Informally, given a knowledge base, we may wish to forget about (or discard) some redundant parts (such as atoms, predicates, concepts, etc) but still ...
Eiter, Thomas +5 more
core +1 more source
The Use of Artificial Intelligence in Political Decision-Making
PhilosophiesThe use of artificial intelligence for political decision-making is in an early stage of development; however, there are several questions that arise about its current and hypothetical uses.
Carlos Vera Hoyos +1 more
doaj +1 more source
Ordered completion for first-order logic programs on finite structures [PDF]
, 2010 In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with
Zhang, Yan (R8899) +6 more
core +1 more source
Expertik: Experience with Artificial Intelligence and Mobile Computing
Publicaciones e Investigación, 2013 This article presents the experience in the development of services based in Artificial Intelligence, Service Oriented Architecture, mobile computing.
José Edward Beltrán Lozano
doaj +1 more source
[Review of the book Logics for Artificial Intelligence, by Rurner] [PDF]
, 1991 Introduction: This very short book is apparently intended as a supplementary text in a graduate AI course. The author describes it as a \"text and reference work on the applications of non-standard logics to artificial intelligence (AI).\" It ...
Pelletier, Francis J., Schubert, Lenhart
core +1 more source