Super logic programs

Full Text:

Pdf

Buy this Article

Authors:	Stefan Brass	University of Halle--Wittenberg, Haale/Saale, Germany
	Jürgen Dix	Technical University of Clausthal, Clausthal-Zellerfeld, Germany
	Teodor C. Przymusinski	University of California, Riverside, CA

Published in:

· Journal

ACM Transactions on Computational Logic (TOCL) TOCL Homepage archive

Volume 5 Issue 1, January 2004
Pages 129 - 176
ACM New York, NY, USA
table of contents doi>10.1145/963927.963931

	2004 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 11 · Downloads (cumulative): 622 · Citation Count: 0

Tools and Resources

Tags: algorithms disjunctive logic programming languages logic and constraint programming logic programming logics of knowledge and beliefs minimal models modal logic negation nonmonotonic reasoning nonmonotonic reasoning and belief revision semantics of logic programs and deductive databases static semantics theory well-founded semantics