Reasoning with Logic Programming

&
Studia Logica 67 (1):118-120 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

3540614885

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
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
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
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 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: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers.Jurgen Dix, Louis M. Pereira & Teodor C. Przymusinski - 1995 - 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
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.
Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Logic and programming.Richard Ennals & Jonathan Briggs - unknown
Logic Programming and Nonmonotonic Reasoning 6th International Conference, Lpnmr 2001, Vienna, Austria, September 17-19, 2001 : Proceedings.Thomas Eiter, Wolfgang Faber & Miroslaw Trusczynksi - 2001 - Springer Verlag.
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings.Vladimir Lifschitz & Ilkka Niemelä - 2004 - 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 Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Epistemology and artificial intelligence.Gregory R. Wheeler & Luís Moniz Pereira - 2004 - Journal of Applied Logic 2 (4):469-493.
Preferential theory revision.Pierangelo Dell'Acqua & Luís Moniz Pereira - 2007 - Journal of Applied Logic 5 (4):586-601.
How an agent might think.A. Szalas - 2013 - Logic Journal of the IGPL 21 (3):515-535.
Declarative Representation of Revision Strategies.Gerhard Brewka - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):151-167.

Add more citations

References found in this work

No references found.

Add more references