Conference publications in 2009
J. J. Alferes, M. Knorr, T.Swift. Queries to Hybrid MKNF Knowledge Bases
through Oracular Tabling. In Abraham Bernstein,
David R. Karger, Tom Heath, Lee Feigenbaum, Diana
Maynard, Enrico Motta, Krishnaprasad Thirunarayan
(Eds.): The Semantic Web - ISWC 2009, 8th International
Semantic Web Conference, ISWC 2009, pages 1-16. Lecture
Notes in Computer Science 5823 Springer 2009.© Springer-Verlag.
J. J. Alferes, A. Gabaldon, J. Leite. A Logic Programming System for Evolving
Programs with Temporal Operators. In Luís
Seabra Lopes, Nuno Lau, Pedro Mariano, Luís Mateus Rocha
(Eds.): Progress in Artificial Intelligence, 14th
Portuguese Conference on Artificial Intelligence, EPIA
2009, pages 101-112. Lecture Notes in Computer Science
5816 Springer 2009.© Springer-Verlag.
J. Leite, J. J. Alferes, B. Mito. Resource allocation with answer-set
programming. In Carles Sierra, Cristiano
Castelfranchi, Keith S. Decker, Jaime Simão Sichman
(Eds.): 8th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2009), Volume 1,
pages 649-656. IFAAMAS 2009.