Book Chapter

Approximation Schemes in Logic and Artificial Intelligence

Victor W. Marek and Mirosław Truszczyński

Lecture Notes in Computer Science, 2008, Volume 5390, Transactions on Rough Sets IX, Pages 135-144

• Download PDF (169.5 KB)

Book Chapter

Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions

Marc Denecker and Joost Vennekens

Lecture Notes in Computer Science, 2007, Volume 4483, Logic Programming and Nonmonotonic Reasoning, Pages 84-96

• Download PDF (462.4 KB)

Book Chapter

Answer Set Programming: A Primer

Thomas Eiter, Giovambattista Ianni and Thomas Krennwallner

Lecture Notes in Computer Science, 2009, Volume 5689, Reasoning Web. Semantic Technologies for Information Systems, Pages 40-110

• Download PDF (983.6 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 Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

Monica Caniupan and Leopoldo Bertossi

Lecture Notes in Computer Science, 2007, Volume 4772, Scalable Uncertainty Management, Pages 74-88

• Download PDF (620.4 KB)

Book Chapter

Here’s the Beef: Answer Set Programming !

Torsten Schaub

Lecture Notes in Computer Science, 2008, Volume 5366, Logic Programming, Pages 93-98

• Download PDF (114.2 KB)

Book Chapter

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics

Sergio Greco and Cristian Molinaro

Lecture Notes in Computer Science, 2007, Volume 4670, Logic Programming, Pages 149-164

• Download PDF (500.9 KB)

Book Chapter

Prioritized Active Integrity Constraints for Database Maintenance

Luciano Caroprese, Sergio Greco and Cristian Molinaro

Lecture Notes in Computer Science, 2007, Volume 4443, Advances in Databases: Concepts, Systems and Applications, Pages 459-471

• Download PDF (228.5 KB)

Book Chapter

Answer Set Programming with Constraints Using Lazy Grounding

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi

Lecture Notes in Computer Science, 2009, Volume 5649, Logic Programming, Pages 115-129

• Download PDF (260.2 KB)

Book Chapter

Compactness Properties for Stable Semantics of Logic Programs

Victor W. Marek and Jeffrey B. Remmel

Lecture Notes in Computer Science, 2007, Volume 4514, Logical Foundations of Computer Science, Pages 379-400

• Download PDF (476.8 KB)