- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logic programming and knowledge representation—The A-Prolog perspective
Artificial Intelligence 138 (1-2):3-38 (2002)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Knowledge Representation and Logic Programming.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):1.
Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Analytics
Added to PP
2020-12-22
Downloads
20 (#1,027,136)
6 months
5 (#1,013,271)
2020-12-22
Downloads
20 (#1,027,136)
6 months
5 (#1,013,271)
Historical graph of downloads
Citations of this work
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.
Design and results of the Fifth Answer Set Programming Competition.Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca - 2016 - Artificial Intelligence 231 (C):151-181.
Handling and measuring inconsistency in non-monotonic logics.Markus Ulbricht, Matthias Thimm & Gerhard Brewka - 2020 - Artificial Intelligence 286 (C):103344.
An axiomatic analysis of structured argumentation with priorities.Phan Minh Dung - 2016 - Artificial Intelligence 231 (C):107-150.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-cvrck dc2