Follow
Jose Julio Alferes
Jose Julio Alferes
Professor of Computer Science, Universidade Nova de Lisboa
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
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
2542000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJA Alferes
John Wiley & Sons, 102-106, 1992
2261992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2111996
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
JELIA 2424, 50-61, 2002
1622002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1471998
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1382002
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
1352011
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1291995
Contradiction removal within well founded semantics
LM Pereira, JJA Alferes
MIT Press, 105-119, 1999
1111999
MINERVA - A Dynamic Logic Programming Agent Architecture
JA Leite, JJ Alferes, LM Pereira
Intelligent Agents VIII, 141-157, 2002
97*2002
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
962004
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79, 7-32, 2005
942005
On Logic Program Semantics with Two Kinds of Negation.
JJ Alferes, LM Pereira
JICSLP, 574-588, 1992
921992
Nonmonotonic reasoning with well founded semantics
LM Pereira, JJA Alferes
MIT Press, 1991
821991
Diagnosis and Debugging as Contradiction Removal.
LM Pereira, CV Damásio, JJ Alferes
LPNMR, 316-330, 1993
731993
Derivation Procedures for Extended Stable Models.
LM Pereira, JN Aparício, JJ Alferes
IJCAI, 863-869, 1991
721991
Non-monotonic reasoning with logic programming
LM Pereira, JN Aparicio, JJ Alferes
The Journal of Logic Programming 17 (2-4), 227-263, 1993
671993
An event-condition-action logic programming language
JJ Alferes, F Banti, A Brogi
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
662006
'Classical'negation in nonmonotonic reasoning and logic programming
JJ Alferes, LM Pereira, TC Przymusinski
Journal of automated reasoning 20, 107-142, 1998
631998
Active rules in the Semantic Web: Dealing with language heterogeneity
W May, JJ Alferes, R Amador
Rules and Rule Markup Languages for the Semantic Web: First International …, 2005
602005
The system can't perform the operation now. Try again later.
Articles 1–20