팔로우
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
2652000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJ Alferes
Proceedings of the 10th European conference on Artificial intelligence, 102-106, 1992
2371992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2151996
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
1692002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1511998
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
1462011
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1432002
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1311995
MINERVA - A Dynamic Logic Programming Agent Architecture
JA Leite, JJ Alferes, LM Pereira
Intelligent Agents VIII, 141-157, 2002
102*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
1012004
On Logic Program Semantics with Two Kinds of Negation.
JJ Alferes, LM Pereira
JICSLP, 574-588, 1992
1011992
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79, 7-32, 2005
952005
Nonmonotonic Reasoning with Well Founded Semantics.
LM Pereira, JN Aparicio, JJ Alferes
ICLP, 475-489, 1991
901991
Derivation Procedures for Extended Stable Models.
LM Pereira, JN Aparício, JJ Alferes
IJCAI, 863-869, 1991
801991
Diagnosis and Debugging as Contradiction Removal.
LM Pereira, CV Damásio, JJ Alferes
LPNMR, 316-330, 1993
791993
An event-condition-action logic programming language
JJ Alferes, F Banti, A Brogi
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
712006
Non-monotonic reasoning with logic programming
LM Pereira, JN Aparicio, JJ Alferes
The Journal of Logic Programming 17 (2-4), 227-263, 1993
671993
Hypothetical Reasoning with Well Founded Semantics.
LM Pereira, JN Aparício, JJ Alferes
SCAI 91, 1991
671991
'Classical'negation in nonmonotonic reasoning and logic programming
JJ Alferes, LM Pereira, TC Przymusinski
Journal of automated reasoning 20, 107-142, 1998
641998
Updates plus preferences
JJ Alferes, LM Pereira
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000
612000
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20