- 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)My notes
Similar books and articles
Knowledge Representation and Logic Programming.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):1.
Prolog Programming for Students: With Expert Systems and Artificial Intelligence Topics.David Callear - 2001 - Cengage Learning Business Press.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Prolog++: The Power of Object-oriented and Logic Programming.Chris Moss & Christopher D. S. Moss - 1994 - Addison-Wesley Longman.
Computing with Logic: Logic Programming with Prolog.David Maier & David S. Warren - 1988 - Prentice-Hall.
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 2001 - Studia Logica 68 (2):299-300.
Towards Fuzzy Linguistic Logic Programming.Clemente Rubio-Manzano & Pascual Julian-Iranzo - 2014 - Archives for the Philosophy and History of Soft Computing 2014 (2).
Analytics
Added to PP
2020-12-22
Downloads
15 (#932,052)
6 months
11 (#227,278)
2020-12-22
Downloads
15 (#932,052)
6 months
11 (#227,278)
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.
Handling and measuring inconsistency in non-monotonic logics.Markus Ulbricht, Matthias Thimm & Gerhard Brewka - 2020 - Artificial Intelligence 286 (C):103344.
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.
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-7c76586df8-slfdl uwo