Michael Gelfond
Michael Gelfond
Professor of Computer Science, Texas Tech University
Verified email at ttu.edu
Title
Cited by
Cited by
Year
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium …
M Fitting
The Journal of Symbolic Logic 57 (1), 274-277, 1992
49211992
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9 (3-4), 365-385, 1991
28671991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8181990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7251993
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6291998
Logic programming and knowledge representation
C Baral, M Gelfond
The Journal of Logic Programming 19, 73-148, 1994
6111994
Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl
Cambridge University Press, 2014
3482014
Probabilistic reasoning with answer sets
C Baral, M Gelfond, N Rushton
Theory and Practice of Logic Programming 9 (1), 57-144, 2009
339*2009
An A-Prolog decision support system for the Space Shuttle
M Nogueira, M Balduccini, M Gelfond, R Watson, M Barry
International symposium on practical aspects of declarative languages, 169-183, 2001
3142001
Answer sets
M Gelfond
Foundations of Artificial Intelligence 3, 285-316, 2008
2832008
On stratified autoepistemic theories.
M Gelfond
AAAI 87 (1), 207-211, 1987
2691987
Logic programming and knowledge representation—the A-Prolog perspective
M Gelfond, N Leone
Artificial Intelligence 138 (1-2), 3-38, 2002
2572002
Logic programs with consistency-restoring rules
M Balduccini, M Gelfond
International Symposium on Logical Formalization of Commonsense Reasoning …, 2003
2432003
Reasoning agents in dynamic domains
C Baral, M Gelfond
Logic-based artificial intelligence, 257-279, 2000
2302000
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2181989
Representing actions: Laws, observations and hypotheses
C Baral, M Gelfond, A Provetti
The Journal of Logic Programming 31 (1-3), 201-243, 1997
1961997
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
1881991
Representing Actions in Extended Logic Programming.
M Gelfond, V Lifschitz
JICSLP 92, 560, 1992
1851992
What are the limitations of the situation calculus?
M Gelfond, V Lifschitz, A Rabinov
Automated Reasoning, 167-179, 1991
1851991
Applications of answer set programming
E Erdem, M Gelfond, N Leone
AI Magazine 37 (3), 53-68, 2016
1742016
The system can't perform the operation now. Try again later.
Articles 1–20