From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

&
(1988)
  Copy   BIBTEX

Abstract

Logic; Predicate calculus; Axiomatic systems; Knowledge representation and reasoning; Logic and revisable reasoning; Formal grammars and logic programming; Prolog and logic programming.

Categories

Keywords

Reprint years

ISBN(s)

0471918385

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Artificial Intelligence in Simulation.Iván Futó & Tamás Gergely - 1990 - Prentice-Hall.
Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming.Leon Sterling - 1995 - MIT Press.
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning.G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning.Tom Richards - 1989 - Addison Wesley Publishing Company.

Analytics

Added to PP
2015-02-13

Downloads
6 (#1,483,753)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references