Autoepistemic logic as a unified basis for nonmonotonic reasoning

von Niemelä, Ilkka
Veröffentlicht 1993

A tableau calculus for minimal model reasoning

von Niemelä, Ilkka
Veröffentlicht in Alternative Konzepte für Sprachen und Rechner ; Bad Honnef 1995 (1996)

Implementing circumscription using a tableau method

von Niemelä, Ilkka
Veröffentlicht 1996

Automaatiojärjestelmien käyttövarmuusanalyysi

von Niemelä, Ilkka
Veröffentlicht 1984

Efficient implementation of the well-founded and stable model semantics

von Niemelä, Ilkka
Veröffentlicht in Niemelä, Ilkka Implementing circumscription using a tableau method (1996)

Nonmonotonic reasoning : towards efficient calculi and implementations

von Dix, Jürgen
Veröffentlicht 1998

DisLoP: a research project on disjunctive lobic programming

von Aravindan, Chandrabose
Veröffentlicht 1997

Hyper tableaux

von Baumgartner, Peter
Veröffentlicht in Niemelä, Ilkka Implementing circumscription using a tableau method (1996)

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 ; proceedings

Veröffentlicht 2010

Logic programming and nonmonotonic reasoning : 7th International Conference, Fort Lauderdale, FL, USA, January 6 - 8, 2004, proceedings

Veröffentlicht 2004

Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning

Veröffentlicht 1998

Proceedings of the EGAI'96 Workshop on Integrating Nonmonotonicity into automated reasoning systems

Veröffentlicht in Non-monotonic extensions of logic programming (1996)