Artificial Intelligence 269:76-136 (2019)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.artint.2018.12.004
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,078
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Truth Maintenance System.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
An Assumption-Based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.

Add more references

Citations of this work BETA

Modular Materialisation of Datalog Programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308:103726.

Add more citations

Similar books and articles

Deciding the Bisimilarity Relation Between Datalog Goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 67--79.
Eusapia Palladino Anthologized.Carlos S. Alvarado - 2017 - Journal of Scientific Exploration 31 (3).
Tuskegee Revisited Revisited-Reply.S. M. Reverby - 2002 - Hastings Center Report 32 (2):4-5.
" Tuskegee Revisited" Revisited.Thomas G. Benedek - 2002 - Hastings Center Report 32 (2):4.
Out of Order.Stephen Graham & Nigel Thrift - 2007 - Theory, Culture and Society 24 (3):1-25.


Added to PP index

Total views
1 ( #1,539,311 of 2,498,932 )

Recent downloads (6 months)
1 ( #421,180 of 2,498,932 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes