| 2008 |
|---|
| 59 | EE | Veena S. Mellarkod,
Michael Gelfond:
Integrating Answer Set Reasoning with Constraint Solving Techniques.
FLOPS 2008: 15-31 |
| 2006 |
|---|
| 58 | EE | Marcello Balduccini,
Michael Gelfond,
Monica Nogueira:
Answer set based design of knowledge systems.
Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006) |
| 2005 |
|---|
| 57 | | Tran Cao Son,
Phan Huy Tu,
Michael Gelfond,
A. Ricardo Morales:
Conformant Planning for Domains with Constraints-A New Approach.
AAAI 2005: 1211-1216 |
| 56 | | Chitta Baral,
Michael Gelfond:
Reasoning about Intended Actions.
AAAI 2005: 689-694 |
| 55 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Answer Set Programming 2005 |
| 54 | EE | Sandeep Chintabathina,
Michael Gelfond,
Richard Watson:
Modeling Hybrid Domains Using Process Description Language.
Answer Set Programming 2005 |
| 53 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving.
ICLP 2005: 52-66 |
| 52 | EE | Tran Cao Son,
Phan Huy Tu,
Michael Gelfond,
A. Ricardo Morales:
An Approximation of Action Theories of and Its Application to Conformant Planning.
LPNMR 2005: 172-184 |
| 51 | EE | Graciela Gonzalez,
Chitta Baral,
Michael Gelfond:
Alan: An Action Language For Modelling Non-Markovian Domains.
Studia Logica 79(1): 115-134 (2005) |
| 2004 |
|---|
| 50 | EE | Michael Gelfond:
Answer Set Programming and the Design of Deliberative Agents.
ICLP 2004: 19-26 |
| 49 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic Reasoning With Answer Sets.
LPNMR 2004: 21-33 |
| 2003 |
|---|
| 48 | EE | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog
CoRR cs.AI/0312040: (2003) |
| 47 | | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog.
TPLP 3(4-5): 425-461 (2003) |
| 2002 |
|---|
| 46 | EE | Michael Gelfond:
Representing Knowledge in A-Prolog.
Computational Logic: Logic Programming and Beyond 2002: 413-451 |
| 45 | EE | Michael Gelfond:
The USA-Advisor: A Case Study in Answer Set Programming.
JELIA 2002: 566-568 |
| 44 | EE | Michael Gelfond,
Nicola Leone:
Knowledge Representation and Logic Programming.
Artif. Intell. 138(1-2): 1 (2002) |
| 43 | EE | Michael Gelfond,
Nicola Leone:
Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell. 138(1-2): 3-38 (2002) |
| 42 | | Michael Gelfond,
Richard Watson:
On methodology of representing knowledge in dynamic domains.
Sci. Comput. Program. 42(1): 87-99 (2002) |
| 2001 |
|---|
| 41 | EE | Monica Nogueira,
Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Matthew Barry:
An A Prolog decision support system for the Space Shuttle.
Answer Set Programming 2001 |
| 40 | EE | Michael Gelfond,
Joel Galloway:
Diagnosing Dynamic Systems in A Prolog.
Answer Set Programming 2001 |
| 39 | EE | Michael Gelfond,
Marcello Balduccini,
Joel Galloway:
Diagnosing Physical Systems in A-Prolog.
LPNMR 2001: 213-225 |
| 38 | EE | Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Monica Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning.
LPNMR 2001: 439-442 |
| 37 | EE | Monica Nogueira,
Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle.
PADL 2001: 169-183 |
| 1999 |
|---|
| 36 | | Michael Gelfond,
Nicola Leone,
Gerald Pfeifer:
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings
Springer 1999 |
| 35 | | Michael Gelfond,
Alfredo Gabaldon:
Building a Knowledge Base: An Example.
Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999) |
| 34 | EE | Michael Gelfond,
Richard Watson:
On Methodology of Representing Knowledge in Dynamic Domains.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1998 |
|---|
| 33 | EE | Michael Gelfond,
Vladimir Lifschitz:
Action Languages.
Electron. Trans. Artif. Intell. 2: 193-210 (1998) |
| 32 | | Chitta Baral,
Michael Gelfond,
Olga Kosheleva:
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.
J. Log. Program. 35(3): 195-230 (1998) |
| 1997 |
|---|
| 31 | | Michael Gelfond,
Alfredo Gabaldon:
From Functional Specifications to Logic Programms.
ILPS 1997: 355-369 |
| 30 | EE | Michael Gelfond,
Tran Cao Son:
Reasoning with Prioritized Defaults.
LPKR 1997: 164-223 |
| 29 | | Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
LPNMR 1997: 222-223 |
| 28 | | Chitta Baral,
Michael Gelfond,
Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program. 31(1-3): 201-243 (1997) |
| 27 | | Chitta Baral,
Michael Gelfond:
Reasoning About Effects of Concurrent Actions.
J. Log. Program. 31(1-3): 85-117 (1997) |
| 1994 |
|---|
| 26 | | Bonnie Traylor,
Michael Gelfond:
Representing Null Values in Logic Programming.
LFCS 1994: 341-352 |
| 25 | | Michael Gelfond,
Vladimir Lifschitz,
Halina Przymusinska,
Grigori Schwarz:
Autoepistemic Logic and Introspective Circumscription.
TARK 1994: 197-207 |
| 24 | | Michael Gelfond:
Logic Programming and Reasoning with Incomplete Information.
Ann. Math. Artif. Intell. 12(1-2): 89-116 (1994) |
| 23 | | Chitta Baral,
Michael Gelfond:
Logic Programming and Knowledge Representation.
J. Log. Program. 19/20: 73-148 (1994) |
| 1993 |
|---|
| 22 | | Chitta Baral,
Michael Gelfond:
Representing Concurrent Actions in Extended Logic Programming.
IJCAI 1993: 866-873 |
| 21 | | Chitta Baral,
Michael Gelfond,
Olga Kosheleva:
Approximating General Logic Programs.
ILPS 1993: 181-198 |
| 20 | | Michael Gelfond,
Halina Przymusinska:
Reasoning on Open Domains.
LPNMR 1993: 397-413 |
| 19 | | Michael Gelfond,
Vladimir Lifschitz:
Representing Action and Change by Logic Programs.
J. Log. Program. 17(2/3&4): 301-321 (1993) |
| 1992 |
|---|
| 18 | | Michael Gelfond,
Vladimir Lifschitz:
Representing Actions in Extended Logic Programming.
JICSLP 1992: 559-573 |
| 17 | | Michael Gelfond,
Halina Przymusinska:
On consistency and completeness of autoepistemic theories.
Fundam. Inform. 16(1): 59-92 (1992) |
| 16 | | Michael Gelfond:
Editorial.
J. Log. Comput. 2(1): 1-4 (1992) |
| 1991 |
|---|
| 15 | | Michael Gelfond:
Strong Introspection.
AAAI 1991: 386-391 |
| 14 | | Michael Gelfond,
Vladimir Lifschitz,
Arkady Rabinov:
What are the Limitations of the Situation Calculus?
Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 167-180 |
| 13 | | Michael Gelfond,
Halina Przymusinska,
Vladimir Lifschitz,
Miroslaw Truszczynski:
Disjective Defaults.
KR 1991: 230-237 |
| 12 | | Michael Gelfond,
Halina Przymusinska:
Definitions in Epistemic Specifications.
LPNMR 1991: 245-259 |
| 11 | | Michael Gelfond,
Vladimir Lifschitz:
Classical Negation in Logic Programs and Disjunctive Databases.
New Generation Comput. 9(3/4): 365-386 (1991) |
| 1990 |
|---|
| 10 | | Michael Gelfond,
Vladimir Lifschitz:
Logic Programs with Classical Negation.
ICLP 1990: 579-597 |
| 1989 |
|---|
| 9 | | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
On the Relationship Between Circumscription and Negation as Failure.
Artif. Intell. 38(1): 75-94 (1989) |
| 1988 |
|---|
| 8 | | Michael Gelfond,
Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs.
AAAI 1988: 455-449 |
| 7 | | Michael Gelfond,
Vladimir Lifschitz:
The Stable Model Semantics for Logic Programming.
ICLP/SLP 1988: 1070-1080 |
| 6 | | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.
ISMIS 1988: 435-443 |
| 5 | | Michael Gelfond:
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.
NMR 1988: 176-186 |
| 4 | | Michael Gelfond,
Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs.
NMR 1988: 74-99 |
| 1987 |
|---|
| 3 | | Michael Gelfond:
On Stratified Autoepistemic Theories.
AAAI 1987: 207-211 |
| 1986 |
|---|
| 2 | EE | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.
PODS 1986: 133-139 |
| 1 | | Michael Gelfond,
Halina Przymusinska:
Negation as Failure: Careful Closure Procedure.
Artif. Intell. 30(3): 273-287 (1986) |
