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

José Júlio Alferes Coauthor index pubzone.org

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

DBLP keys2011
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Sofia Gomes, José Júlio Alferes: A Proposal for Transactions in the Semantic Web. EPIA 2011: 690-703
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes: Querying OWL 2 QL and Non-monotonic Rules. International Semantic Web Conference (1) 2011: 338-353
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Gonçalves, José Júlio Alferes: Parametrized Equilibrium Logic. LPNMR 2011: 236-241
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Sofia Gomes, José Júlio Alferes: Transaction Logic with External Actions. LPNMR 2011: 272-277
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9-10): 1528-1554 (2011)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Sofia Gomes, José Júlio Alferes, Terrance Swift: A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases CoRR abs/1103.3949: (2011)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Federico Banti, Antonio Brogi: Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011)
2010
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes: Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI 2010: 1079-1080
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Viegas Damásio, José Júlio Alferes, João Leite: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Gonçalves, José Júlio Alferes: Parametrized Logic Programming. JELIA 2010: 182-194
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Sofia Gomes, José Júlio Alferes, Terrance Swift: Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Matthias Knorr, Terrance Swift: Query-driven Procedures for Hybrid MKNF Knowledge Bases CoRR abs/1007.3515: (2010)
2009
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Matthias Knorr, Terrance Swift: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. International Semantic Web Conference 2009: 1-16
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Michael Eckert, Wolfgang May: Evolution and Reactivity in the Semantic Web. REWERSE 2009: 161-200
2008
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Knorr, José Júlio Alferes, Pascal Hitzler: Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Ricardo Amador: r 3- A Foundational Ontology for Reactive Rules. OTM Conferences (1) 2007: 933-952
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIara Carnevale de Almeida, José Júlio Alferes: An Argumentation-Based Negotiation for Distributed Extended Logic Programs. CLIMA 2006: 191-210
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Gaston E. Tagni: Implementation of a Complex Event Engine for the Web. SCW 2006: 65-72
2005
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Ricardo Amador, Wolfgang May: A General Language for Evolution and Reactivity in the Semantic Web. PPSWR 2005: 101-115
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Wolfgang May: Evolution and Reactivity for the Web. Reasoning Web 2005: 134-172
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang May, José Júlio Alferes, Ricardo Amador: Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML 2005: 30-44
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang May, José Júlio Alferes, François Bry: Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models CoRR cs.LO/0312057: (2003)
2002
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA 2002: 19-34
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira: A Compilation of Updates plus Preferences. JELIA 2002: 62-73
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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): 20-38 (2002)
2001
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
2000
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma: Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Updates plus Preferences. JELIA 2000: 345-360
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro 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
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
1998
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIara de Almeida Móra, José Júlio Alferes: Argumentative and Cooperative Multi-agent System for Extended Logic Programming. SBIA 1998: 161-170
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Tabling Abduction. TAPD 1998: 75-82
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Preface: Logics for Artificial Intelligence. J. Autom. Reasoning 20(1): 1-3 (1998)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Schroeder, Iara de Almeida Móra, José Júlio Alferes: Vivid Agents Arguing about Distributed Extended Logic Programs. EPIA 1997: 217-228
1996
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Reasoning with Logic Programming Springer 1996
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Update-Programs Can Update Programs. NMELP 1996: 110-131
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Renwei Li, Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. EPIA 1995: 273-284
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIara de Almeida Móra, José Júlio Alferes: Modelling Diagnosis Systems with the Logic Programming. EPIA 1995: 409-418
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. Journal of Applied Non-Classical Logics 5(1): (1995)
1994
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. JELIA 1994: 106-121
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP 1994: 3-22
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes: Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well Founded Semantics. FGCS 1992: 562-569
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Default Theory for Well Founded Semantics with Explicit Negation. JELIA 1992: 339-356
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Luís Moniz Pereira: On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Logic Programming for Non-Monotonic Reasoning. Logic at Work 1992: 107-121
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal Semantics with Explicit Negation. Logic at Work 1992: 91-105
1991
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: The Extended Stable Models of Contradiction Removal Semantics. EPIA 1991: 105-119
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Nonmonotonic Reasoning with Well Founded Semantics. ICLP 1991: 475-489
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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] [103]
7Pedro Barahona [48] [74]
8Antonio Brogi [55] [61] [66] [67] [68] [71] [72] [73] [76] [81] [82] [84] [103]
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] [101]
12Pierangelo Dell'Acqua [60]
13Phan Minh Dung [16]
14Michael Eckert [94]
15Alfredo Gabaldon [92] [96] [106]
16Ana Sofia Gomes [99] [104] [107] [110]
17Ricardo Gonçalves [100] [108]
18Heinrich Herre [51]
19Pascal Hitzler [81] [89] [90] [93] [105]
20Philipp Kärger [91]
21Matthias Knorr [89] [90] [93] [95] [98] [102] [105] [109]
22Joã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] [96] [97] [101] [106]
23Renwei Li [32]
24Wolfgang May [70] [77] [78] [79] [80] [86] [94]
25Belopeta Mito [97]
26Iara de Almeida Móra [30] [38] [42]
27Daniel Olmedilla [91]
28Ewa Orlowska [36]
29Luí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]
30Halina Przymusinska [43] [44] [45] [47] [49] [53] [58] [59] [63]
31Teodor C. Przymusinski [31] [33] [35] [39] [43] [44] [45] [47] [49] [53] [58] [59] [63]
32Paulo Quaresma [47] [53]
33Michael Schroeder [38]
34Uta Schwertel [86]
35Terrance Swift [46] [64] [69] [74] [95] [98] [99] [104]
36Gaston E. Tagni [83]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page