Michael Gelfond

Evgenii Balai, Michael Gelfond, Yuanlin Zhang: SPARC - Sorted ASP with Consistency Restoring Rules. CoRR abs/1301.1386 (2013)

Marcello Balduccini, Michael Gelfond: Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. CoRR abs/1301.1387 (2013)

Justin Blount, Michael Gelfond: Reasoning about the Intentions of Agents. Logic Programs, Norms and Action 2012: 147-171

Yana Todorova, Michael Gelfond: Toward Question Answering in Travel Domains. Correct Reasoning 2012: 311-326

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)

John P. Gallagher, Michael Gelfond: Introduction to the 27th International Conference on Logic Programming Special Issue. TPLP 11(4-5): 429-432 (2011)

Daniela Inclezan, Michael Gelfond: Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011

John P. Gallagher, Michael Gelfond: Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) 2011

Michael Gelfond: New Semantics for Epistemic Specifications. LPNMR 2011: 260-265

John P. Gallagher, Michael Gelfond (Eds.): Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. LIPIcs 11, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, isbn 978-3-939897-31-6

Michael Gelfond: Knowledge Representation Language P-Log - A Short Introduction. Datalog 2010: 369-383

Richard B. Scherl, Daniela Inclezan, Michael Gelfond: Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT 2010: 480-487

Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)

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)

Marcello Balduccini, Michael Gelfond: The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6

Veena S. Mellarkod, Michael Gelfond: Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS 2008: 15-31

Michael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36

Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang: Integrating Answer Programming and Constraint Logic Programming. ISAIM 2008

Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. CoRR abs/0812.0659 (2008)

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

Marcello Balduccini, Michael Gelfond, Monica Nogueira: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006)

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

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

Graciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)

Chitta Baral, Michael Gelfond: Reasoning about Intended Actions. AAAI 2005: 689-694

Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216

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

Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005

Sandeep Chintabathina, Michael Gelfond, Richard Watson: Modeling Hybrid Domains Using Process Description Language. Answer Set Programming 2005

Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66

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

Michael Gelfond: Answer Set Programming and the Design of Deliberative Agents. ICLP 2004: 19-26

Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33

Marcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. TPLP 3(4-5): 425-461 (2003)

Marcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. CoRR cs.AI/0312040 (2003)

Michael Gelfond, Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138(1-2): 1 (2002)

Michael Gelfond, Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138(1-2): 3-38 (2002)

Michael Gelfond, Richard Watson: On methodology of representing knowledge in dynamic domains. Sci. Comput. Program. 42(1): 87-99 (2002)

Michael Gelfond: Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond 2002: 413-451

Michael Gelfond: The USA-Advisor: A Case Study in Answer Set Programming. JELIA 2002: 566-568

Michael Gelfond, Joel Galloway: Diagnosing Dynamic Systems in A Prolog. Answer Set Programming 2001

Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A Prolog decision support system for the Space Shuttle. Answer Set Programming 2001

Michael Gelfond, Marcello Balduccini, Joel Galloway: Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225

Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira: The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442

Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A-Prolog Decision Support System for the Space Shuttle. PADL 2001: 169-183

Michael Gelfond, Alfredo Gabaldon: Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999)

Michael Gelfond, Richard Watson: On Methodology of Representing Knowledge in Dynamic Domains. Electr. Notes Theor. Comput. Sci. 25: 121-132 (1999)

Michael Gelfond, Nicola Leone, Gerald Pfeifer (Eds.): Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Lecture Notes in Computer Science 1730, Springer 1999, isbn 3-540-66749-0

Michael Gelfond, Vladimir Lifschitz: Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998)

Chitta Baral, Michael Gelfond, Olga Kosheleva: Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35(3): 195-230 (1998)

Chitta Baral, Michael Gelfond: Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997)

Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)

Michael Gelfond, Tran Cao Son: Reasoning with Prioritized Defaults. LPKR 1997: 164-223

Michael Gelfond: Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. LPNMR 1997: 222-223

Michael Gelfond, Alfredo Gabaldon: From Functional Specifications to Logic Programms. ILPS 1997: 355-369

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)

Michael Gelfond: Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell. 12(1-2): 89-116 (1994)

Chitta Baral, Michael Gelfond: Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994)

Bonnie Traylor, Michael Gelfond: Representing Null Values in Logic Programming. LFCS 1994: 341-352

Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207

Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321 (1993)

Chitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873

Michael Gelfond, Halina Przymusinska: Reasoning on Open Domains. LPNMR 1993: 397-413

Chitta Baral, Michael Gelfond, Olga Kosheleva: Approximating General Logic Programs. ILPS 1993: 181-198

Michael Gelfond, Halina Przymusinska: On consistency and completeness of autoepistemic theories. Fundam. Inform. 16(1): 59-92 (1992)

Michael Gelfond: Editorial. J. Log. Comput. 2(1): 1-4 (1992)

Michael Gelfond, Vladimir Lifschitz: Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573

Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput. 9(3/4): 365-386 (1991)

Michael Gelfond: Strong Introspection. AAAI 1991: 386-391

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

Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski: Disjective Defaults. KR 1991: 230-237

Michael Gelfond, Halina Przymusinska: Definitions in Epistemic Specifications. LPNMR 1991: 245-259

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38(1): 75-94 (1989)

Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. AAAI 1988: 455-449

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS 1988: 435-443

Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. NMR 1988: 74-99

Michael Gelfond: Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. NMR 1988: 176-186

Michael Gelfond: On Stratified Autoepistemic Theories. AAAI 1987: 207-211

Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287 (1986)

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139