- Datalog, volume 6702 of Lecture Notes in Computer Science, page 78-87. Springer, (2010)
- BIBM Workshops, page 625-632. IEEE, (2011)
- LICS, page 242. IEEE Computer Society, (1989)Invited talk .
- AAAI, page 455-449. AAAI Press / The MIT Press, (1988)
- AAAI, page 364-368. Morgan Kaufmann, (1987)
- AAAI, page 432-437. AAAI Press / The MIT Press, (1993)
- AAAI/IAAI, page 623-630. AAAI Press / The MIT Press, (1998)
- AAAI, page 406-410. Morgan Kaufmann, (1986)
- New Generation Computing 9(3--4):365--386 (1991)
- Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 64-73. Springer, (2011)
- CoRR (2005)
- CoRR (2011)
- CoRR (2003)
- CoRR (2000)
- CoRR (2003)
- ACM Comput. Surv. 27(3):343-345 (1995)
- J. Log. Program. 17(2/3&4):301-321 (1993)
- SEW, page 144-150. IEEE, (2009)
- IEEE Trans. on Circuits and Systems 58-I(5):971-981 (2011)
- IJCAI, page 381-386. (1991)


author