Book Chapter

Belief revision by expansion

Cees Witteveen and Wiebe van der Hoek

Lecture Notes in Computer Science, 1993, Volume 747, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Pages 380-387

• Download PDF (481.4 KB)

Book Chapter

Well-founded approximations of autoepistemic logic

Jürgen Kalinski

Lecture Notes in Computer Science, 1993, Volume 727, Progress in Artificial Intelligence, Pages 198-212

• Download PDF (710.5 KB)

Book Chapter

Logic Programming for Knowledge Representation

Mirosław Truszczyński

Lecture Notes in Computer Science, 2007, Volume 4670, Logic Programming, Pages 76-88

• Download PDF (427.8 KB)

Book Chapter

The meaning of negative premises in transition system specifications II
Extended abstract

R. J. van Glabbeek

Lecture Notes in Computer Science, 1996, Volume 1099, Automata, Languages and Programming, Pages 502-513

• Download PDF (708.3 KB)

Book Chapter

Default consequence relations as a logical framework for logic programs

Alexander Bochman

Lecture Notes in Computer Science, 1995, Volume 928, Logic Programming and Nonmonotonic Reasoning, Pages 245-258

• Download PDF (793.2 KB)

Book Chapter

Expressivity of typed logic paradigms for object-oriented databases

Suad Alagić and Rajshekhar Sunderraman

Lecture Notes in Computer Science, 1994, Volume 826, Directions in Databases, Pages 73-89

• Download PDF (913.0 KB)

Book Chapter

Declarative object-oriented programming: Inheritance, subtyping and prototyping

S. Alagić, R. Sunderraman and R. Bagai

Lecture Notes in Computer Science, 1994, Volume 821, Object-Oriented Programming, Pages 236-259

• Download PDF (1.2 MB)

Book Chapter

A natural semantics for logic programs with negation

Phan Minh Dung and Kanchana Kanchanasut

Lecture Notes in Computer Science, 1989, Volume 405, Foundations of Software Technology and Theoretical Computer Science, Pages 78-88

• Download PDF (596.9 KB)

Book Chapter

On the Logic and Computation of Partial Equilibrium Models

Pedro Cabalar, Sergei Odintsov, David Pearce and Agustín Valverde

Lecture Notes in Computer Science, 2006, Volume 4160, Logics in Artificial Intelligence, Pages 82-94

• Download PDF (576.7 KB)

Book Chapter

Smodels — an implementation of the stable model and well-founded semantics for normal logic programs

Ilkka Niemelä and Patrik Simons

Lecture Notes in Computer Science, 1997, Volume 1265, Logic Programming And Nonmonotonic Reasoning, Pages 420-429

• Download PDF (620.0 KB)