| |
Advances in Artificial Intelligence – IBERAMIA 2004 (2004), pp. 353-363.
|
| |
J Logic Computation (6 November 2009), exp071.
|
| |
|
| |
|
| |
Logic Programming (2006), pp. 211-225.
|
| |
Answer Set Programming (2005)
|
| |
Logic Programming (2006), pp. 300-314.
|
| |
Artificial Intelligence, Vol. 172, No. 12-13. (2008), pp. 1495-1539.
|
| |
In 23rd AAAI Press Conference on Artificial Intelligence (AAAI 2008) (2008), pp. 1594-1597.
|
| |
Logic Programming (2007), pp. 23-26.
|
| |
In Ontology Matching Workshop (OM2007) (November 2007)
|
| |
J Logic Computation, Vol. 19, No. 4. (1 August 2009), pp. 565-590.
|
| |
|
| |
Logic Programming and Nonmotonic Reasoning (2001), pp. 402-405.
|
| |
Logics in Artificial Intelligence (2002), pp. 533-536.
|
| |
We Will Show Them! Essays in Honour of Dov Gabbay (2005), pp. 615-664.
|
| |
LOG IN: Informatische Bildung und Computer in der Schule, Vol. 122/123 (2003), pp. 104-106.
|
| |
|
| |
KI, Vol. 19, No. 1. (2005)
|
| |
ACM Trans. Comput. Logic, Vol. 9, No. 2. (2008), pp. 1-30.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 53, No. 1. (1 August 2008), pp. 169-204.
|
| |
Artificial Intelligence, Vol. 172, No. 14. (September 2008), pp. 1644-1672.
|
| |
|
| |
In International Conference on Logic Programming (1999), pp. 23-37.
|
| |
In In De Vos, M., Provetti, A., eds.: Proceedings of the Second International Workshop on Answer Set Programming (ASP’03). Volume 78 of CEUR Workshop Proceedings. (2003 (2003)
|
| |
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 1-2. (June 2006), pp. 43-78.
|
| |
|
| |
Current Topics in Artificial Intelligence (2006), pp. 1-10.
|
| |
In Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 (2004), pp. 213-223.
|
| |
In Proceedings of the Fifth International Conference on Logic Programming (1988), pp. 1070-1080.
|
| |
In n: Proceedings 2nd International Workshop Answer Set Programming 78 (2003), 78.
|
| |
|
| |
|
| |
Artificial Intelligence, Vol. 138, No. 1-2. (2002), pp. 39-54.
|
| |
In Logic-Based Artificial Intelligence (2000), pp. 491-521.
|