Follow
Michael Gelfond
Michael Gelfond
Professor of Computer Science, Texas Tech University
Verified email at ttu.edu
Title
Cited by
Cited by
Year
The stable model semantics for logic programming.
M Gelfond, V Lifschitz
ICLP/SLP 88, 1070-1080, 1988
52061988
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9, 365-385, 1991
29681991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8271990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7451993
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6581998
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6321994
Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl
Cambridge University Press, 2014
4122014
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
364*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
3252001
Answer sets
M Gelfond
Foundations of Artificial Intelligence 3, 285-316, 2008
2932008
On Stratified Autoepistemic Theories.
M Gelfond
AAAI 87 (1), 207-211, 1987
2651987
Logic programming and knowledge representation—the A-Prolog perspective
M Gelfond, N Leone
Artificial Intelligence 138 (1-2), 3-38, 2002
2622002
Logic programs with consistency-restoring rules
M Balduccini, M Gelfond
International Symposium on Logical Formalization of Commonsense Reasoning …, 2003
2532003
Reasoning agents in dynamic domains
C Baral, M Gelfond
KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 257-280, 2000
2412000
Applications of answer set programming
E Erdem, M Gelfond, N Leone
AI Magazine 37 (3), 53-68, 2016
2232016
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2141989
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1971997
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
1961991
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
1911991
Representing Actions in Extended Logic Programming.
M Gelfond, V Lifschitz
JICSLP 92, 560, 1992
1811992
The system can't perform the operation now. Try again later.
Articles 1–20