Следене
Jose Julio Alferes
Jose Julio Alferes
Professor of Computer Science, Universidade Nova de Lisboa
Потвърден имейл адрес: fct.unl.pt - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
2602000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJA Alferes
John Wiley & Sons, 102-106, 1992
2371992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2111996
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
1632002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1471998
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
1412011
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1412002
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1311995
Contradiction removal within well founded semantics
LM Pereira, JJA Alferes
MIT Press, 105-119, 1999
1211999
On Logic Program Semantics with Two Kinds of Negation.
JJ Alferes, LM Pereira
JICSLP, 574-588, 1992
1041992
MINERVA - A Dynamic Logic Programming Agent Architecture
JA Leite, JJ Alferes, LM Pereira
Intelligent Agents VIII, 141-157, 2002
101*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
992004
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79, 7-32, 2005
962005
Nonmonotonic reasoning with well founded semantics
LM Pereira, JJA Alferes
MIT Press, 1991
891991
Derivation Procedures for Extended Stable Models.
LM Pereira, JN Aparício, JJ Alferes
IJCAI, 863-869, 1991
811991
Diagnosis and debugging as contradiction removal in logic programs
LM Pereira, CV Damásio, JJ Alferes
Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA …, 1993
751993
An event-condition-action logic programming language
JJ Alferes, F Banti, A Brogi
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
682006
Non-monotonic reasoning with logic programming
LM Pereira, JN Aparicio, JJ Alferes
The Journal of Logic Programming 17 (2-4), 227-263, 1993
681993
Hypothetical reasoning with well founded semantics
LM Pereira, JJA Alferes
IOS Press, 289-300, 1991
651991
'Classical'negation in nonmonotonic reasoning and logic programming
JJ Alferes, LM Pereira, TC Przymusinski
Journal of automated reasoning 20, 107-142, 1998
631998
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20