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 |