Michael Gelfond

	2012
79		Justin Blount, Michael Gelfond: Reasoning about the Intentions of Agents. Logic Programs, Norms and Action 2012: 147-171
	2011
78		John P. Gallagher, Michael Gelfond: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011
77		Daniela Inclezan, Michael Gelfond: Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
76		John P. Gallagher, Michael Gelfond: Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) 2011
75		Michael Gelfond: New Semantics for Epistemic Specifications. LPNMR 2011: 260-265
74		Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales: Approximation of action theories and its application to conformant planning. Artif. Intell. 175(1): 79-119 (2011)
73		John P. Gallagher, Michael Gelfond: Introduction to the 27th International Conference on Logic Programming Special Issue. TPLP 11(4-5): 429-432 (2011)
	2010
72		Michael Gelfond: Knowledge Representation Language P-Log - A Short Introduction. Datalog 2010: 369-383
71		Richard B. Scherl, Daniela Inclezan, Michael Gelfond: Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT 2010: 480-487
	2009
70		Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)
	2008
69		Marcello Balduccini, Michael Gelfond: The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6
68		Veena S. Mellarkod, Michael Gelfond: Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS 2008: 15-31
67		Michael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36
66		Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang: Integrating Answer Programming and Constraint Logic Programming. ISAIM 2008
65		Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang: Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53(1-4): 251-287 (2008)
64		Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets CoRR abs/0812.0659: (2008)
	2007
63		Sandeep Chintabathina, Michael Gelfond, Richard Watson: Defeasible Laws, Parallel Actions, and Reasoning about Resources. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 35-40
	2006
62		Michael Gelfond, J. Nelson Rushton, Weijun Zhu: Combining Logical and Probabilistic Reasoning. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 50-55
61		Michael Gelfond: Going Places: Notes on a Modular Development of Knowledge about Travel. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 56-66
60		Marcello Balduccini, Michael Gelfond, Monica Nogueira: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006)
	2005
59		Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216
58		Chitta Baral, Michael Gelfond: Reasoning about Intended Actions. AAAI 2005: 689-694
57		Chitta Baral, Michael Gelfond, Richard B. Scherl: Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 149-150
56		Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005
55		Sandeep Chintabathina, Michael Gelfond, Richard Watson: Modeling Hybrid Domains Using Process Description Language. Answer Set Programming 2005
54		Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66
53		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		Graciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)
	2004
51		Michael Gelfond: Answer Set Programming and the Design of Deliberative Agents. ICLP 2004: 19-26
50		Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
	2003
49		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		Michael Gelfond: Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond 2002: 413-451
46		Michael Gelfond: The USA-Advisor: A Case Study in Answer Set Programming. JELIA 2002: 566-568
45		Michael Gelfond, Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138(1-2): 1 (2002)
44		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		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		Michael Gelfond, Joel Galloway: Diagnosing Dynamic Systems in A Prolog. Answer Set Programming 2001
40		Michael Gelfond, Marcello Balduccini, Joel Galloway: Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225
39		Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira: The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442
38		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		Michael Gelfond, Richard Watson: On Methodology of Representing Knowledge in Dynamic Domains. Electr. Notes Theor. Comput. Sci. 25: 121-132 (1999)
	1998
34		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		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		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		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)

Coauthor Index

1	Marcello Balduccini	[38] [39] [40] [42] [48] [49] [60] [69]
2	Chitta Baral	[21] [22] [23] [28] [29] [33] [50] [52] [57] [58] [64] [70]
3	Matthew Barry	[38] [42]
4	Sabrina Baselice	[54] [56]
5	Justin Blount	[79]
6	Piero A. Bonatti	[54] [56]
7	Sandeep Chintabathina	[55] [63]
8	Alfredo Gabaldon	[32] [36]
9	John P. Gallagher	[73] [76] [78]
10	Joel Galloway	[40] [41]
11	Graciela Gonzalez	[52]
12	Daniela Inclezan	[71] [77]
13	Olga Kosheleva	[21] [33]
14	Nicola Leone	[37] [44] [45]
15	Vladimir Lifschitz	[4] [7] [8] [10] [11] [13] [14] [18] [19] [25] [34]
16	Jorge Lobo	[67]
17	Veena S. Mellarkod	[65] [66] [68]
18	A. Ricardo Morales	[53] [59] [74]
19	Monica Nogueira	[38] [39] [42] [60]
20	Gerald Pfeifer	[37]
21	Alessandro Provetti	[29]
22	Halina Przymusinska	[1] [2] [6] [9] [12] [13] [17] [20] [25] [27]
23	Teodor C. Przymusinski	[2] [6] [9]
24	Arkady Rabinov	[14]
25	J. Nelson Rushton	[50] [62] [64] [70]
26	Richard B. Scherl	[57] [71]
27	Grigori Schwarz	[25]
28	Tran Cao Son	[31] [53] [59] [74]
29	Bonnie Traylor	[26]
30	Miroslaw Truszczynski	[13]
31	Phan Huy Tu	[53] [59] [74]
32	Richard Watson	[35] [38] [39] [42] [43] [55] [63]
33	Yuanlin Zhang	[65] [66]
34	Weijun Zhu	[62]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page