Publications

Export 112 results:
Sort by: Title [ Year (Desc)]
2005
Alferes, {José Júlio Alves}. "An ontology- and resources-based approach to evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3761. 2005. 1553-1570. Abstract
n/a
Alferes, {José Júlio Alves}. "Operational semantics for DyLPs." Lecture Notes in Artificial Intelligence. Vol. 3808. 2005. 43-54. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "The Refined Extension Principle for Semantics of Dynamic Logic Programming." Studia Logica. 79 (2005): 7-32. Abstract
n/a
Alferes, {José Júlio Alves}. "The well supported semantics for multidimensional dynamic logic programs." Lecture Notes in Computer Science. Vol. 3662. 2005. 356-368. Abstract
n/a
2004
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "Abduction in well-founded semantics and generalized stable models via tabled dual programs." Theory And Practice Of Logic Programming. 4 (2004): 383-428. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." Artificial Intelligence Applications and Innovations. 2004. 155-165. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." IFIP World Computer Congress. 2004. 155-166. Abstract
n/a
Alferes, {José Júlio Alves}. "From logic programs updates to action description updates." Lecture Notes in Computer Science. Vol. 3487. 2004. 52-77. 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
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Semantics for dynamic logic programming: A principle-based approach." Lecture Notes in Computer Science. Vol. 2923. 2004. 8-20. Abstract
n/a
Alferes, {José Júlio Alves}. "Towards generic query, update, and event languages for the semantic web." Lecture Notes in Computer Science. Vol. 3208. 2004. 19-33. Abstract
n/a
Alferes, {José Júlio Alves}. "Well founded semantics for logic program updates." Lecture Notes in Artificial Intelligence. Vol. 3315. 2004. 397-407. Abstract
n/a
2003
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An evolvable rule-based e-mail agent." Lecture Notes in Computer Science. Vol. 2902. 2003. 394-408. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An Evolving Agent with EVOLP." Declarative Programming. 2003. 205-216. Abstract
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
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "Semantic Web Logic Programming tools." Lecture Notes in Computer Science. 2003. 16-32. Abstract
n/a
2002
Alferes, {José Júlio Alves}. "A compilation of updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 2424. 2002. 62-73. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Computing environment-aware agent behaviours with logic program updates." Lecture Notes in Computer Science. Vol. 2372. 2002. 216-232. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Evolving logic programs." Lecture Notes in Computer Science. Vol. 2424. 2002. 50-61. Abstract
n/a
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 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
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
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "MINERVA - Dynamic Logic Programming agent architecture." Lecture Notes in Computer Science. Vol. 2333. 2002. 141-157. Abstract
n/a
Alferes, {José Júlio Alves}. "Updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 1919. 2002. 345-360. Abstract
n/a