Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Gelfond
2010 – today
- 2013
[i4]Evgenii Balai, Michael Gelfond, Yuanlin Zhang: SPARC - Sorted ASP with Consistency Restoring Rules. CoRR abs/1301.1386 (2013)- [i3]Marcello Balduccini, Michael Gelfond: Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. CoRR abs/1301.1387 (2013)
- 2012
- [c51]Justin Blount, Michael Gelfond: Reasoning about the Intentions of Agents. Logic Programs, Norms and Action 2012: 147-171
- [c50]Yana Todorova, Michael Gelfond: Toward Question Answering in Travel Domains. Correct Reasoning 2012: 311-326
- 2011
- [j25]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)
- [j24]John P. Gallagher, Michael Gelfond: Introduction to the 27th International Conference on Logic Programming Special Issue. TPLP 11(4-5): 429-432 (2011)
- [c49]Daniela Inclezan, Michael Gelfond: Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
- [c48]John P. Gallagher, Michael Gelfond: Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) 2011
- [c47]
- [e2]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
- 2010
- [c46]Michael Gelfond: Knowledge Representation Language P-Log - A Short Introduction. Datalog 2010: 369-383
- [c45]Richard B. Scherl, Daniela Inclezan, Michael Gelfond: Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT 2010: 480-487
2000 – 2009
- 2009
- [j23]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)
- 2008
- [j22]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)
- [c44]Marcello Balduccini, Michael Gelfond: The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6
- [c43]Veena S. Mellarkod, Michael Gelfond: Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS 2008: 15-31
- [c42]Michael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36
- [c41]Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang: Integrating Answer Programming and Constraint Logic Programming. ISAIM 2008
- [i2]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. CoRR abs/0812.0659 (2008)
- 2007
- [c40]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
- [j21]Marcello Balduccini, Michael Gelfond, Monica Nogueira: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006)
- [c39]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
- [c38]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
- 2005
- [j20]Graciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)
- [c37]
- [c36]Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216
- [c35]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
- [c34]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005
- [c33]Sandeep Chintabathina, Michael Gelfond, Richard Watson: Modeling Hybrid Domains Using Process Description Language. Answer Set Programming 2005
- [c32]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66
- [c31]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
- 2004
- [c30]
- [c29]Chitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
- 2003
- [j19]Marcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. TPLP 3(4-5): 425-461 (2003)
- [i1]
- 2002
- [j18]Michael Gelfond, Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138(1-2): 1 (2002)
- [j17]Michael Gelfond, Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138(1-2): 3-38 (2002)
- [j16]Michael Gelfond, Richard Watson: On methodology of representing knowledge in dynamic domains. Sci. Comput. Program. 42(1): 87-99 (2002)
- [c28]Michael Gelfond: Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond 2002: 413-451
- [c27]
- 2001
- [c26]
- [c25]Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A Prolog decision support system for the Space Shuttle. Answer Set Programming 2001
- [c24]Michael Gelfond, Marcello Balduccini, Joel Galloway: Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225
- [c23]Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira: The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442
- [c22]Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A-Prolog Decision Support System for the Space Shuttle. PADL 2001: 169-183
1990 – 1999
- 1999
- [j15]Michael Gelfond, Alfredo Gabaldon: Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999)
- [j14]Michael Gelfond, Richard Watson: On Methodology of Representing Knowledge in Dynamic Domains. Electr. Notes Theor. Comput. Sci. 25: 121-132 (1999)
- [e1]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
- 1998
- [j13]Michael Gelfond, Vladimir Lifschitz: Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998)
- [j12]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
- [j11]Chitta Baral, Michael Gelfond: Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997)
- [j10]Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
- [c21]
- [c20]Michael Gelfond: Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. LPNMR 1997: 222-223
- [c19]Michael Gelfond, Alfredo Gabaldon: From Functional Specifications to Logic Programms. ILPS 1997: 355-369
- 1996
- [j9]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
- [j8]Michael Gelfond: Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell. 12(1-2): 89-116 (1994)
- [j7]Chitta Baral, Michael Gelfond: Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994)
- [c18]
- [c17]Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207
- 1993
- [j6]Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321 (1993)
- [c16]Chitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873
- [c15]
- [c14]Chitta Baral, Michael Gelfond, Olga Kosheleva: Approximating General Logic Programs. ILPS 1993: 181-198
- 1992
- [j5]Michael Gelfond, Halina Przymusinska: On consistency and completeness of autoepistemic theories. Fundam. Inform. 16(1): 59-92 (1992)
- [j4]
- [c13]Michael Gelfond, Vladimir Lifschitz: Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573
- 1991
- [j3]Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput. 9(3/4): 365-386 (1991)
- [c12]
- [c11]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
- [c10]Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski: Disjective Defaults. KR 1991: 230-237
- [c9]
- 1990
- [c8]
1980 – 1989
- 1989
- [j2]Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38(1): 75-94 (1989)
- 1988
- [c7]Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. AAAI 1988: 455-449
- [c6]Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
- [c5]Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS 1988: 435-443
- [c4]Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. NMR 1988: 74-99
- [c3]Michael Gelfond: Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. NMR 1988: 176-186
- 1987
- [c2]
- 1986
- [j1]Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287 (1986)
- [c1]Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-28 00:22 CET by the dblp team