Jose Julio Alferes
Jose Julio Alferes
Professor of Computer Science, Universidade Nova de Lisboa
Verified email at fct.unl.pt - Homepage
TitleCited byYear
Dynamic updates of non-monotonic knowledge bases
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
The journal of logic programming 45 (1-3), 43-70, 2000
2322000
Well Founded Semantics for Logic Programs with Explicit Negation.
LM Pereira, JJ Alferes
ECAI 92, 102-106, 1992
2311992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2001996
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1552002
Dynamic logic programming
JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski
Declarative Programming, 393-408, 1999
1421999
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14 (1), 93-147, 1995
1311995
Local closed world reasoning with description logics under the well-founded semantics
M Knorr, JJ Alferes, P Hitzler
Artificial Intelligence 175 (9-10), 1528-1554, 2011
1192011
Contradiction Removal within Well Founded Semantics.
LM Pereira, JJ Alferes, JN Aparício
LPNMR 91, 105-119, 1991
1131991
On logic program semantics with two kinds of negation
JJ Alferes, LM Pereira, LM Pereira
Int. Joint Conf. and Symp. on LP, 1992
981992
MINERVA - A Dynamic Logic Programming Agent Architecture
JA Leite, JJ Alferes, LM Pereira
Intelligent Agents VIII, 141-157, 2002
97*2002
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
922002
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79 (1), 7-32, 2005
912005
Abduction in well-founded semantics and generalized stable models via tabled dual programs
JJ Alferes, LM Pereira, T Swift
Theory and Practice of Logic Programming 4 (4), 383-428, 2004
852004
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Portuguese Conference on Artificial Intelligence, 306-320, 2001
852001
Nonmonotonic Reasoning with Well Founded Semantics.
LM Pereira, JN Aparicio, JJ Alferes
ICLP, 475-489, 1991
851991
Derivation Procedures for Extended Stable Models.
LM Pereira, JN Aparício, JJ Alferes
IJCAI, 863-869, 1991
781991
Diagnosis and debugging as contradiction removal
LM Pereira, C Damásio, JJ Alferes
2nd Int. Ws. on LP & NMR, 316-330, 1991
761991
'Classical'negation in nonmonotonic reasoning and logic programming
JJ Alferes, LM Pereira, TC Przymusinski
Journal of automated reasoning 20 (1-2), 107-142, 1998
631998
Non-monotonic reasoning with logic programming
LM Pereira, JN Aparicio, JJ Alferes
The Journal of Logic Programming 17 (2-4), 227-263, 1993
621993
Hypothetical Reasoning with Well Founded
LM Pereira, JN Aparício, JJ Alferes
Scandinavian Conference on Artificial Intelligence--91:" Odin's Ravens …, 1991
611991
The system can't perform the operation now. Try again later.
Articles 1–20