Seguir
Michael Gelfond
Michael Gelfond
Professor of Computer Science, Texas Tech University
Dirección de correo verificada de ttu.edu
Título
Citado por
Citado por
Año
The stable model semantics for logic programming.
M Gelfond, V Lifschitz
ICLP/SLP 88, 1070-1080, 1988
53961988
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9, 365-385, 1991
30741991
Logic programs with classical negation
M Gelfond
Proceedings of 7th International Conference on Logic Programming, 579-597, 1990
8581990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7501993
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6791998
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6501994
Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl
Cambridge University Press, 2014
4802014
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
391*2009
An A-Prolog decision support system for the Space Shuttle
M Nogueira, M Balduccini, M Gelfond, R Watson, M Barry
Practical Aspects of Declarative Languages: Third International Symposium …, 2001
3372001
Answer sets
M Gelfond
Foundations of Artificial Intelligence 3, 285-316, 2008
3112008
Applications of answer set programming
E Erdem, M Gelfond, N Leone
AI Magazine 37 (3), 53-68, 2016
2812016
On Stratified Autoepistemic Theories.
M Gelfond
AAAI 87 (1), 207-211, 1987
2811987
Logic programming and knowledge representation—the A-Prolog perspective
M Gelfond, N Leone
Artificial Intelligence 138 (1-2), 3-38, 2002
2692002
Logic programs with consistency-restoring rules
M Balduccini, M Gelfond
International Symposium on Logical Formalization of Commonsense Reasoning …, 2003
2642003
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2432000
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2171989
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
2041991
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
2001997
What are the limitations of the situation calculus?
M Gelfond, V Lifschitz, A Rabinov
Automated reasoning: Essays in honor of Woody Bledsoe, 167-179, 1991
1941991
Representing Actions in Extended Logic Programming.
M Gelfond, V Lifschitz
JICSLP 92, 560, 1992
1831992
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20