Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop

, , &
MIT Press (MA) (1991)
  Copy   BIBTEX

Abstract

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity.

Categories

Keywords

Reprint years

ISBN(s)

0262640279   9780262640275

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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 Non-monotonic Reasoning: Proceedings of the Second International Workshop.Lua-S. Moniz Pereira & Anil Nerode - 1993 - MIT Press.
Logic Programming and Nonmonotonic Reasoning Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 26-28, 1995 : Proceedings'.Wiktor Marek, Anil Nerode & Miroslw Truszczy Nski - 1995 - Springer.
Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers'.J. Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 1997
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Logic Programming and Nonmonotonic Reasoning 4th International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 28-31, 1997 : Proceedings'.J. Dix, Ulrich Furbach & Anil Nerode - 1997
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers.Jurgen Dix, Louis M. Pereira & Teodor C. Przymusinski - 1995 - Springer Verlag.
Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Programming Language Implementation and Logic Programming International Workshop Plilp '90, Linköping, Sweden, August 20-22, 1990 : Proceedings'.Pierre Deransart - 1990 - Springer Verlag.
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings'.Michael Gelfond, Nicole Leone & Gerald Pfeifer - 1999 - Springer.
Algebraic and Logic Programming.Michael Hanus, Jan Heering & Karl Meinke - 1997 - Springer Verlag.
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 Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).

Analytics

Added to PP
2015-02-02

Downloads
4 (#1,556,099)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references