dblp.uni-trier.dewww.uni-trier.de

José Júlio Alferes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
96EEJoão Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656
95EEJosé Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
94EEJosé Júlio Alferes, Michael Eckert, Wolfgang May: Evolution and Reactivity in the Semantic Web. REWERSE 2009: 161-200
2008
93EEMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103
92EEJosé Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
91EEJosé Júlio Alferes, Ricardo Amador, Philipp Kärger, Daniel Olmedilla: Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. International Semantic Web Conference (Posters & Demos) 2008
2007
90EEMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007
89EEMatthias Knorr, José Júlio Alferes, Pascal Hitzler: Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14
88EEJosé Júlio Alferes, Ricardo Amador: r 3- A Foundational Ontology for Reactive Rules. OTM Conferences (1) 2007: 933-952
87EEJosé Júlio Alferes, João Leite: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Applied Logic 5(3): 389-391 (2007)
2006
86 José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers Springer 2006
85EEIara Carnevale de Almeida, José Júlio Alferes: An Argumentation-Based Negotiation for Distributed Extended Logic Programs. CLIMA VII 2006: 191-210
84EEJosé Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42
83EEJosé Júlio Alferes, Gaston E. Tagni: Implementation of a Complex Event Engine for the Web. SCW 2006: 65-72
2005
82EEFederico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54
81EEFederico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
80EEWolfgang May, José Júlio Alferes, Ricardo Amador: An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. OTM Conferences (2) 2005: 1553-1570
79EEJosé Júlio Alferes, Ricardo Amador, Wolfgang May: A General Language for Evolution and Reactivity in the Semantic Web. PPSWR 2005: 101-115
78EEJosé Júlio Alferes, Wolfgang May: Evolution and Reactivity for the Web. Reasoning Web 2005: 134-172
77EEWolfgang May, José Júlio Alferes, Ricardo Amador: Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML 2005: 30-44
76EEJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)
2004
75 José Júlio Alferes, João Alexandre Leite: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings Springer 2004
74 José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
73EEJosé Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA V 2004: 52-77
72EEFederico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407
71EEJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20
70EEWolfgang May, José Júlio Alferes, François Bry: Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33
69 José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. TPLP 4(4): 383-428 (2004)
2003
68 José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216
67EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
66EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408
65EEJosé Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
64EEJosé Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models CoRR cs.LO/0312057: (2003)
2002
63 João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA III 2002: 19-34
62EEJosé Júlio Alferes, Luís Moniz Pereira: Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412
61EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
60EEJosé Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira: A Compilation of Updates plus Preferences. JELIA 2002: 62-73
59EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPSA language for updating logic programs. Artif. Intell. 138(1-2): 87-116 (2002)
58EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
57EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
56EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA 2001: 276-289
55EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232
54EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
2000
53EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma: Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10
52 João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 17-26
51EEJosé Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
50EEJosé Júlio Alferes, Luís Moniz Pereira: Updates plus Preferences. JELIA 2000: 345-360
49 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000)
1999
48 Pedro Barahona, José Júlio Alferes: Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings Springer 1999
47 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma: Preliminary exploration on actions as updates. APPIA-GULP-PRODE 1999: 259-272
46 José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
45EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
1998
44 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408
43 José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
42 Iara de Almeida Móra, José Júlio Alferes: Argumentative and Cooperative Multi-agent System for Extended Logic Programming. SBIA 1998: 161-170
41EEJosé Júlio Alferes, Luís Moniz Pereira: Tabling Abduction. TAPD 1998: 75-82
40 José Júlio Alferes, Luís Moniz Pereira: Preface: Logics for Artificial Intelligence. J. Autom. Reasoning 20(1): 1-3 (1998)
39 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reasoning 20(1): 107-142 (1998)
1997
38 Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes: Vivid Agents Arguing about Distributed Extended Logic Programs. EPIA 1997: 217-228
1996
37 José Júlio Alferes, Luís Moniz Pereira: Reasoning with Logic Programming Springer 1996
36 José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings Springer 1996
35EEJosé Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA 1996: 143-163
34 José Júlio Alferes, Luís Moniz Pereira: Update-Programs Can Update Programs. NMELP 1996: 110-131
33 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Inform. 28(1-2): 1-22 (1996)
1995
32 José Júlio Alferes, Renwei Li, Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. EPIA 1995: 273-284
31 José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56
30 Iara de Almeida Móra, José Júlio Alferes: Modelling Diagnosis Systems with the Logic Programming. EPIA 1995: 409-418
29 José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 93-147 (1995)
28 José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. Journal of Applied Non-Classical Logics 5(1): (1995)
1994
27 José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144
26EEJosé Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. JELIA 1994: 106-121
25 José Júlio Alferes, Luís Moniz Pereira: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP 1994: 3-22
24 José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. SLP 1994: 424-438
23 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well-Founded Semantics. Theor. Comput. Sci. 122(1&2): 49-68 (1994)
1993
22 Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74
21EEJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23
20EEJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281
19 Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197
18 Luís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615
17 Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
16 José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348
15 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Non-Monotonic Reasoning with Logic Programming. J. Log. Program. 17(2/3&4): 227-263 (1993)
1992
14 Luís Moniz Pereira, José Júlio Alferes: Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106
13EELuís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
12 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well Founded Semantics. FGCS 1992: 562-569
11EELuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Default Theory for Well Founded Semantics with Explicit Negation. JELIA 1992: 339-356
10 José Júlio Alferes, Luís Moniz Pereira: On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588
9 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Logic Programming for Non-Monotonic Reasoning. Logic at Work 1992: 107-121
8 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal Semantics with Explicit Negation. Logic at Work 1992: 91-105
1991
7 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: The Extended Stable Models of Contradiction Removal Semantics. EPIA 1991: 105-119
6 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Nonmonotonic Reasoning with Well Founded Semantics. ICLP 1991: 475-489
5 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869
4 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577
3 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119
2 Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288
1 Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Hypothetical Reasoning with Well Founded Semantics. SCAI 1991: 289-300

Coauthor Index

1Iara Carnevale de Almeida [85]
2Ricardo Amador [77] [79] [80] [88] [91]
3Joaquim Nunes Aparício [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [15] [23]
4Francisco Azevedo [74]
5James Bailey [86]
6Federico Banti [71] [72] [73] [76] [81] [82] [84]
7Pedro Barahona [48] [74]
8Antonio Brogi [55] [61] [66] [67] [68] [71] [72] [73] [76] [81] [82] [84]
9François Bry (François Bry-Haußer) [70]
10Luís Caires [13]
11Carlos Viegas Damásio [17] [19] [22] [24] [27] [29] [65] [74]
12Pierangelo Dell'Acqua [60]
13Phan Minh Dung [16]
14Michael Eckert [94]
15Alfredo Gabaldon [92] [95]
16Heinrich Herre [51]
17Pascal Hitzler [81] [89] [90] [93]
18Philipp Kärger [91]
19Matthias Knorr [89] [90] [93]
20João Leite (João Alexandre Leite) [43] [44] [49] [52] [54] [55] [56] [57] [58] [61] [63] [66] [67] [68] [71] [75] [76] [87] [92] [95] [96]
21Renwei Li [32]
22Wolfgang May [70] [77] [78] [79] [80] [86] [94]
23Belopeta Mito [96]
24Iara de Almeida Móra [30] [38] [42]
25Daniel Olmedilla [91]
26Ewa Orlowska [36]
27Luís Moniz Pereira (Luíz Moniz Pereira) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [43] [44] [45] [46] [47] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69]
28Halina Przymusinska [43] [44] [45] [47] [49] [53] [58] [59] [63]
29Teodor C. Przymusinski [31] [33] [35] [39] [43] [44] [45] [47] [49] [53] [58] [59] [63]
30Paulo Quaresma [47] [53]
31Michael Schroeder [38]
32Uta Schwertel [86]
33Terrance Swift [46] [64] [69] [74]
34Gaston E. Tagni [83]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)