Publications

Export 11 results:
Sort by: [ Title  (Asc)] Year
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [Show ALL]
L
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Electronic Notes In Theoretical Computer Science. 70 (2002): 20-38. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Datalogiske Skrifter. Vol. 93. Roskilde University, 2002. 19-34. Abstract
n/a
Alferes, {José Júlio}, James Bailey, Wolfgang May, and Uta Schwertel. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioformatics): Preface." Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing. 4187 LNCS (2006). Abstract
n/a
Knorr, Matthias, José Júlio Alferes, and Pascal Hitzler. "Local closed world reasoning with description logics under the well-founded semantics." Artificial Intelligence. 175 (2011): 1528-1554. Abstractai11.pdf

n/a

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Logic programming for evolving agents." Lecture Notes in Computer Science. Vol. 2782. 2003. 281-297. Abstract
n/a
Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." Lecture Notes in Computer Science. Vol. 5816. 2009. 101-112. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "A Logic Programming System for Non-monotonic Reasoning." Journal Of Automated Reasoning. 14 (1995): 93-147. Abstract
n/a
Alferes, {José Júlio Alves}. "Logic programming updating - A guided approach." Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Eds. {Antonis C. } Kakas, and Fariba Sadri. Vol. 2408. Lecture Notes in Computer Science, 2408. Springer, 2002. 382-412. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes Logics in Artificial Intelligence, 9th European Conference, JELIA 2004. Springer, 2004. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "LUPS - A language for updating logic programs." Artificial Intelligence. 138 (2002): 87-116. Abstract
n/a
Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "LUPS - A language for updating logic programs." LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN, 1999. 162-176. Abstract
n/a