Publications

Export 112 results:
Sort by: Title [ Year  (Asc)]
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
2005
Alferes, {José Júlio Alves}. "Active Rules in the Semantic Web." Lecture Notes in Artificial Intelligence. 2005. 30-44. Abstract
n/a
Alferes, {José Júlio Alves}. "Active rules in the Semantic Web: Dealing with language heterogeneity." RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS. 3791 (2005): 30-44. Abstract
n/a
Alferes, {José Júlio Alves}. "Evolution and reactivity for the Web." Lecture Notes in Artificial Intelligence. Vol. 3564. 2005. 134-172. Abstract
n/a
Alferes, {José Júlio Alves}. "A general language for evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3703. 2005. 101-115. Abstract
n/a
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
2006
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
Bailey, James, Sara Comai, Wolfgang May, {Paula Lavinia} Pǎtrǎnjan, {José Júlio Alves} Alferes, Mikael Berndtsson, Angela Bonifati, Piero Fraternali, Bertram Ludäscher, Sebastian Schaffert, Silvie Spreeuwenberg, Laurenţiu Vasiliu, Marianne Winslett, Viegas} {C. Damásio, T. Groza, R. Hasan, A. Lee, A. Termehchy, and C. Zhang. "Reactivity on the Web." Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing. 4254 LNCS (2006). Abstract
n/a
Alferes, {José Júlio Alves}. "An event-condition-action logic programming language." Lecture Notes in Artificial Intelligence. Vol. 4160. 2006. 29-42. Abstract
n/a
Alferes, {José Júlio Alves}. "Implementation of a complex event engine for the web." IEEE Services Computing Workshops. 2006. 65-72. Abstract
n/a
2007
Alferes, {José Júlio}, and Ricardo Amador. "r3- A foundational ontology for reactive rules." On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1 ed. Vol. 4803 LNCS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4803 LNCS. 2007. 933-952. Abstract
n/a
Alferes, {José Júlio Alves}. "An argumentation-based negotiation for distributed extended logic programs." Lecture Notes in Artificial Intelligence. Eds. K. Inoue, K. Satoh, and F. Toni. Vol. 4371. 2007. 191-210. Abstract
n/a
Alferes, {José Júlio Alves}. "r(3) - A foundational ontology for reactive rules." Lecture Notes in Computer Science. Eds. R. Meersman, and Z. Tari. Vol. 49803. 2007. 933-952. Abstract
n/a