2009 |
63 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets.
TPLP 9(1): 57-144 (2009) |
2008 |
62 | EE | Veena S. Mellarkod,
Michael Gelfond:
Integrating Answer Set Reasoning with Constraint Solving Techniques.
FLOPS 2008: 15-31 |
61 | EE | Michael Gelfond,
Jorge Lobo:
Authorization and Obligation Policies in Dynamic Systems.
ICLP 2008: 22-36 |
60 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets
CoRR abs/0812.0659: (2008) |
2006 |
59 | 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 |
58 | | Tran Cao Son,
Phan Huy Tu,
Michael Gelfond,
A. Ricardo Morales:
Conformant Planning for Domains with Constraints-A New Approach.
AAAI 2005: 1211-1216 |
57 | | Chitta Baral,
Michael Gelfond:
Reasoning about Intended Actions.
AAAI 2005: 689-694 |
56 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Answer Set Programming 2005 |
55 | EE | Sandeep Chintabathina,
Michael Gelfond,
Richard Watson:
Modeling Hybrid Domains Using Process Description Language.
Answer Set Programming 2005 |
54 | EE | Sabrina Baselice,
Piero A. Bonatti,
Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving.
ICLP 2005: 52-66 |
53 | 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 |
52 | EE | Graciela Gonzalez,
Chitta Baral,
Michael Gelfond:
Alan: An Action Language For Modelling Non-Markovian Domains.
Studia Logica 79(1): 115-134 (2005) |
2004 |
51 | EE | Michael Gelfond:
Answer Set Programming and the Design of Deliberative Agents.
ICLP 2004: 19-26 |
50 | EE | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic Reasoning With Answer Sets.
LPNMR 2004: 21-33 |
2003 |
49 | EE | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog
CoRR cs.AI/0312040: (2003) |
48 | | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog.
TPLP 3(4-5): 425-461 (2003) |
2002 |
47 | EE | Michael Gelfond:
Representing Knowledge in A-Prolog.
Computational Logic: Logic Programming and Beyond 2002: 413-451 |
46 | EE | Michael Gelfond:
The USA-Advisor: A Case Study in Answer Set Programming.
JELIA 2002: 566-568 |
45 | EE | Michael Gelfond,
Nicola Leone:
Knowledge Representation and Logic Programming.
Artif. Intell. 138(1-2): 1 (2002) |
44 | EE | Michael Gelfond,
Nicola Leone:
Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell. 138(1-2): 3-38 (2002) |
43 | | Michael Gelfond,
Richard Watson:
On methodology of representing knowledge in dynamic domains.
Sci. Comput. Program. 42(1): 87-99 (2002) |
2001 |
42 | 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 |
41 | EE | Michael Gelfond,
Joel Galloway:
Diagnosing Dynamic Systems in A Prolog.
Answer Set Programming 2001 |
40 | EE | Michael Gelfond,
Marcello Balduccini,
Joel Galloway:
Diagnosing Physical Systems in A-Prolog.
LPNMR 2001: 213-225 |
39 | EE | Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Monica Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning.
LPNMR 2001: 439-442 |
38 | 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 |
37 | | 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 |
36 | | Michael Gelfond,
Alfredo Gabaldon:
Building a Knowledge Base: An Example.
Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999) |
35 | EE | Michael Gelfond,
Richard Watson:
On Methodology of Representing Knowledge in Dynamic Domains.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
1998 |
34 | EE | Michael Gelfond,
Vladimir Lifschitz:
Action Languages.
Electron. Trans. Artif. Intell. 2: 193-210 (1998) |
33 | | 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 |
32 | | Michael Gelfond,
Alfredo Gabaldon:
From Functional Specifications to Logic Programms.
ILPS 1997: 355-369 |
31 | EE | Michael Gelfond,
Tran Cao Son:
Reasoning with Prioritized Defaults.
LPKR 1997: 164-223 |
30 | | Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
LPNMR 1997: 222-223 |
29 | | Chitta Baral,
Michael Gelfond,
Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program. 31(1-3): 201-243 (1997) |
28 | | Chitta Baral,
Michael Gelfond:
Reasoning About Effects of Concurrent Actions.
J. Log. Program. 31(1-3): 85-117 (1997) |
1996 |
27 | EE | Michael Gelfond,
Halina Przymusinska:
Towards a Theory of Elaboration Tolerance: Logic Programming Approach.
International Journal of Software Engineering and Knowledge Engineering 6(1): 89-112 (1996) |
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) |