Volgen
Jose Julio Alferes
Jose Julio Alferes
Professor of Computer Science, Universidade Nova de Lisboa
Geverifieerd e-mailadres voor fct.unl.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2492000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJ Alferes
European Conference on Artificial Intelligence, 1992
2261992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2051996
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1602002
Dynamic logic programming
JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski
Declarative Programming, 393-408, 1999
1481999
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 (1), 93-147, 1995
1251995
Contradiction removal within well founded semantics
LM Pereira, JJ Alferes, JN Aparício
Logic Programming and Nonmonotonic Reasoning, 1991
1121991
MINERVA - A Dynamic Logic Programming Agent Architecture
JA Leite, JJ Alferes, LM Pereira
Intelligent Agents VIII, 141-157, 2002
96*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
942004
On logic program semantics with two kinds of negation
JJ Alferes, LM Pereira, LM Pereira
Int. Joint Conf. and Symp. on LP, 1992
941992
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
932005
Nonmonotonic Reasoning with Well Founded Semantics.
LM Pereira, JN Aparicio, JJ Alferes
ICLP, 475-489, 1991
831991
Diagnosis and debugging as contradiction removal
LM Pereira, CV Damásio, JJ Alferes
Proceedings of the second international workshop on Logic programming and …, 1993
721993
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
691993
An event-condition-action logic programming language
JJ Alferes, F Banti, A Brogi
European workshop on logics in artificial intelligence, 29-42, 2006
632006
'Classical'negation in nonmonotonic reasoning and logic programming
JJ Alferes, LM Pereira, TC Przymusinski
Journal of automated reasoning 20 (1), 107-142, 1998
621998
Active rules in the Semantic Web: Dealing with language heterogeneity
W May, JJ Alferes, R Amador
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2005
602005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20