- Bounded treewidth as a key to tractability of knowledge representation and reasoning.Georg Gottlob, Reinhard Pichler & Fang Wei - 2010 - Artificial Intelligence 174 (1):105-132.details
|
|
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.details
|
|
Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.details
|
|
Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.details
|
|
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.details
|
|
Logic-based subsumption architecture.Eyal Amir & Pedrito Maynard-Zhang - 2004 - Artificial Intelligence 153 (1-2):167-237.details
|
|
Reconsideration of circumscriptive induction with pointwise circumscription.Koji Iwanuma, Katsumi Inoue & Hidetomo Nabeshima - 2009 - Journal of Applied Logic 7 (3):307-317.details
|
|
CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.details
|
|
Three-valued nonmonotonic formalisms and semantics of logic programs.Teodor Przymusinski - 1991 - Artificial Intelligence 49 (1-3):309-343.details
|
|
Disjunctive closures for knowledge compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216 (C):129-162.details
|
|
Is intractability of nonmonotonic reasoning a real drawback?Marco Cadoli, Francesco M. Donini & Marco Schaerf - 1996 - Artificial Intelligence 88 (1-2):215-251.details
|
|
On the parameterized complexity of non-monotonic logics.Arne Meier, Irina Schindler, Johannes Schmidt, Michael Thomas & Heribert Vollmer - 2015 - Archive for Mathematical Logic 54 (5):685-710.details
|
|
An efficient method for eliminating varying predicates from a circumscription.Marco Cadoli, Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 54 (3):397-410.details
|
|
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.details
|
|