| 2008 |
|---|
| 93 | EE | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.
ECAI 2008: 99-103 |
| 92 | EE | José Júlio Alferes,
Alfredo Gabaldon,
João Leite:
Evolving Logic Programming Based Agents with Temporal Operators.
IAT 2008: 238-244 |
| 91 | EE | José 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 |
|---|
| 90 | EE | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Description Logics 2007 |
| 89 | EE | Matthias Knorr,
José Júlio Alferes,
Pascal Hitzler:
Towards Tractable Local Closed World Reasoning for the Semantic Web.
EPIA Workshops 2007: 3-14 |
| 88 | EE | José Júlio Alferes,
Ricardo Amador:
r 3- A Foundational Ontology for Reactive Rules.
OTM Conferences (1) 2007: 933-952 |
| 87 | EE | José 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 |
| 85 | EE | Iara Carnevale de Almeida,
José Júlio Alferes:
An Argumentation-Based Negotiation for Distributed Extended Logic Programs.
CLIMA VII 2006: 191-210 |
| 84 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
An Event-Condition-Action Logic Programming Language.
JELIA 2006: 29-42 |
| 83 | EE | José Júlio Alferes,
Gaston E. Tagni:
Implementation of a Complex Event Engine for the Web.
SCW 2006: 65-72 |
| 2005 |
|---|
| 82 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Operational Semantics for DyLPs.
EPIA 2005: 43-54 |
| 81 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi,
Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR 2005: 356-368 |
| 80 | EE | Wolfgang 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 |
| 79 | EE | José Júlio Alferes,
Ricardo Amador,
Wolfgang May:
A General Language for Evolution and Reactivity in the Semantic Web.
PPSWR 2005: 101-115 |
| 78 | EE | José Júlio Alferes,
Wolfgang May:
Evolution and Reactivity for the Web.
Reasoning Web 2005: 134-172 |
| 77 | EE | Wolfgang May,
José Júlio Alferes,
Ricardo Amador:
Active Rules in the Semantic Web: Dealing with Language Heterogeneity.
RuleML 2005: 30-44 |
| 76 | EE | José 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 |
| 73 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
From Logic Programs Updates to Action Description Updates.
CLIMA V 2004: 52-77 |
| 72 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Well Founded Semantics for Logic Program Updates.
IBERAMIA 2004: 397-407 |
| 71 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi,
João Alexandre Leite:
Semantics for Dynamic Logic Programming: A Principle-Based Approach.
LPNMR 2004: 8-20 |
| 70 | EE | Wolfgang 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 |
| 67 | EE | José Júlio Alferes,
Antonio Brogi,
João Alexandre Leite,
Luís Moniz Pereira:
Logic Programming for Evolving Agents.
CIA 2003: 281-297 |
| 66 | EE | José Júlio Alferes,
Antonio Brogi,
João Alexandre Leite,
Luís Moniz Pereira:
An Evolvable Rule-Based E-mail Agent.
EPIA 2003: 394-408 |
| 65 | EE | José Júlio Alferes,
Carlos Viegas Damásio,
Luís Moniz Pereira:
Semantic Web Logic Programming Tools.
PPSWR 2003: 16-32 |
| 64 | EE | José 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 |
| 62 | EE | José Júlio Alferes,
Luís Moniz Pereira:
Logic Programming Updating - A Guided Approach.
Computational Logic: Logic Programming and Beyond 2002: 382-412 |
| 61 | EE | José Júlio Alferes,
Antonio Brogi,
João Alexandre Leite,
Luís Moniz Pereira:
Evolving Logic Programs.
JELIA 2002: 50-61 |
| 60 | EE | José Júlio Alferes,
Pierangelo Dell'Acqua,
Luís Moniz Pereira:
A Compilation of Updates plus Preferences.
JELIA 2002: 62-73 |
| 59 | EE | José 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) |
| 58 | EE | Joã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 |
|---|
| 57 | EE | João Alexandre Leite,
José Júlio Alferes,
Luís Moniz Pereira:
MINERVA - A Dynamic Logic Programming Agent Architecture.
ATAL 2001: 141-157 |
| 56 | EE | Joã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 |
| 55 | EE | José 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 |
| 54 | EE | João Alexandre Leite,
José Júlio Alferes,
Luís Moniz Pereira:
Multi-dimensional Dynamic Knowledge Representation.
LPNMR 2001: 365-378 |
| 2000 |
|---|
| 53 | EE | José 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 |
| 51 | EE | José Júlio Alferes,
Heinrich Herre,
Luís Moniz Pereira:
Partial Models of Extended Generalized Logic Programs.
Computational Logic 2000: 149-163 |
| 50 | EE | José 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 |
| 45 | EE | José 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 |
| 41 | EE | José 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 |
| 35 | | José 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 |
| 26 | | José 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 |
| 21 | | José Júlio Alferes,
Luís Moniz Pereira:
Contradiction: When Avoidance Equals Removal - Part I.
ELP 1993: 11-23 |
| 20 | | José 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 |
| 13 | | Luí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 |
| 11 | | Luí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 |
