Author:
Buccafurri Francesco,Gottlob Georg
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Buccafurri, F., Gottlob, G.: Multiagent Compromises, Joint Fixpoints and Stable Models. Technical Report DBAI-TR-2000-36 (2000) available from the authors
2. Buccafurri, F., Leone, N., Rullo, P.: Stable Models and their Computation for Logic Programming with Inheritance and True Negation. Journal of Logic Programming 27(1), Elsevier Science (1996) 5–43
3. Buccafurri, F., Leone, N., Rullo, P.: Semantics and Espressiveness of Disjunctive Ordered Logic. Annals of Mathematics and Artificial Intelligence Journal. J.C. Balzer AC, Science Publisher 25 (1999) 311–337
4. Eiter, T., Gottlob, G.: Propositional Circumscription and Extended Closed-World Reasoning are П2
p-Complete. Theoretical Computer Science 114(2) (1993) 231–245
5. Eiter, T., Gottlob, G.: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Annals of Mathematics and Artificial Intelligence, 15(3–4) (1995) 289–323
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献