Approximate postdictive reasoning with answer set programming

&
Journal of Applied Logic 13 (4):676-719 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2015.08.002

Links

PhilArchive



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

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

A history based approximate epistemic action theory for efficient postdictive reasoning.Manfred Eppe & Mehul Bhatt - 2015 - Journal of Applied Logic 13 (4):720-769.
What is answer set programming?Vladimir Lifschitz - unknown
Comparing approximate reasoning and probabilistic reasoning using the Dempster-Shafer framework.Ronald R. Yager - 2009 - International Journal of Approximate Reasoning 50 (5):812--821.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
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).
Definitions in Answer Set Programming.Vladimir Lifschitz - unknown
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop.Lua-S. Moniz Pereira & Anil Nerode - 1993 - MIT Press.
Reasoning with Logic Programming.José Júlio Alferes & Luís Moniz Pereira - 2001 - Studia Logica 67 (1):118-120.
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.
Inferential and non-inferential reasoning.Bart Streumer - 2007 - Philosophy and Phenomenological Research 74 (1):1-29.
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Approximate databases: a support tool for approximate reasoning.Patrick Doherty, Martin Magnusson & Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):87-117.
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.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,339,625)

6 months
3 (#1,037,180)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

Add more references