Publications

Export 112 results:
Sort by: [ Title  (Desc)] 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 
W
Alferes, {José Júlio Alves}. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases." CEUR Workshop Proceedings. 2007. 347-354. Abstract
n/a
Alferes, {José Júlio Alves}. "Well-founded abduction via tabled dual programs." MIT Press. 1999. 426-440. 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
Alferes, {José Júlio Alves}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." John Wiley & Sons. 1992. 102-106. 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
V
Schroeder, Michael, Iara Móra, and {José Julio} Alferes. "Vivid agents arguing about distributed extended logic programs." Progress in Artificial Intelligence - 8th Portuguese Conference on Artificial Intelligence, EPIA 1997, Proceedings. Vol. 1323. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1323. Springer-Verlag, 1997. 217-228. Abstract
n/a
U
Alferes, {José Júlio Alves}. "Updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 1919. 2002. 345-360. Abstract
n/a
Alferes, {José Júlio Alves}. "Update-programs can update programs." Lecture Notes in Artificial Intelligence. Vol. 1216. 1997. 110-131. Abstract
n/a
T
Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277. Abstractlpnmr11b.pdf

n/a

Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014. Abstracticlp14.pdf

n/a

Alferes, {José Júlio Alves}. "Towards tractable local closed world reasoning for the semantic web." Lecture Notes in Computer Science. Eds. J. Neves, MF Santos, and JM Machado. Vol. 4874. 2007. 3-14. Abstract
n/a
Alferes, {José Júlio Alves}. "Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web." CEUR WS-proceedings. 2008. 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
S
Alferes, {José Júlio Alves}. "Strong and explicit negation in non-monotonic reasoning and logic programming." Lecture Notes in Artificial Intelligence. Vol. 1126. 1996. 143-163. Abstract
n/a
Gonçalves, Ricardo, and José Júlio Alferes. "Specifying and reasoning about normative systems in deontic logic programming." International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems, 2012. 1423-1424. Abstractaamas12deontic.pdf

n/a

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004." Journal Of Applied Logic. 5 (2007): 389-391. Abstract
n/a
Alferes, {José Júlio Alves}. "Special issue - Logics for artificial intelligence - Preface." Journal Of Automated Reasoning. 20 (1998): 1-3. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." MIT Press. 1994. 424-438. 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
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
Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract
n/a
R
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Resource allocation with answer-set programming." IFAAMAS. Eds. C. Sierra, C. Castelfranchi, KS Decker, and JS Sichman. Vol. 1. IFAAMAS, 2009. 649-656. 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
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}, 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