Michael Gelfond

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 23

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

Publications

Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. 23 (4) (2023)
Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR (2023)
Jorge Fandinno, Wolfgang Faber, Michael Gelfond
Thirty years of Epistemic Specifications. Theory Pract. Log. Program. 22 (6) (2022)
Jorge Fandinno, Wolfgang Faber, Michael Gelfond
Thirty years of Epistemic Specifications. CoRR (2021)
Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang
The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30 (4) (2020)
Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR (2020)
Michael Gelfond, Evgenii Balai
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. ICLP Workshops (2020)
Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. J. Artif. Intell. Res. 65 (2019)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Michael Gelfond
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. Datalog (2019)
Michael Gelfond, Yuanlin Zhang
Vicious circle principle, aggregates, and formation of sets in ASP based languages. Artif. Intell. 275 (2019)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. CoRR (2018)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Formation of Sets in ASP Based Languages. LPNMR (2017)
Yuliya Lierler, Daniela Inclezan, Michael Gelfond
Action Languages and Question Answering. IWCS(2) (2017)
Evgenii Balai, Michael Gelfond
Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR (2017)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Formation of Sets in ASP Based Languages. CoRR (2016)
Evgenii Balai, Michael Gelfond
. IJCAI (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR (2016)
Daniela Inclezan, Michael Gelfond
Modular action language. Theory Pract. Log. Program. 16 (2) (2016)
Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. PRIMA (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) (2016)
Mohan Sridharan, Michael Gelfond
Using Knowledge Representation and Reasoning Tools in the Design of Robots. KnowProS@IJCAI (2016)
Esra Erdem, Michael Gelfond, Nicola Leone
Applications of Answer Set Programming. AI Mag. 37 (3) (2016)
Daniela Inclezan, Michael Gelfond
Modular Action Language ALM. CoRR (2015)
Justin Blount, Michael Gelfond, Marcello Balduccini
A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR (2015)
Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. CoRR (2015)
Justin Lane Blount, Michael Gelfond, Marcello Balduccini
Towards a Theory of Intentional Agents. AAAI Spring Symposia (2014)
Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. CoRR (2014)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. CoRR (2014)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. 14 (4-5) (2014)
Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt
Towards an Architecture for Knowledge Representation and Reasoning in Robotics. ICSR (2014)
Michael Gelfond, Daniela Inclezan
. J. Appl. Non Class. Logics 23 (1-2) (2013)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
SPARC - Sorted ASP with Consistency Restoring Rules CoRR (2013)
Marcello Balduccini, Michael Gelfond
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules CoRR (2013)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Towards Answer Set Programming with Sorts. LPNMR (2013)
Yana Todorova, Michael Gelfond
Toward Question Answering in Travel Domains. Correct Reasoning (2012)
Justin Blount, Michael Gelfond
Reasoning about the Intentions of Agents. Logic Programs, Norms and Action (2012)
Michael Gelfond
New Semantics for Epistemic Specifications. LPNMR (2011)
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) (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)
John P. Gallagher, Michael Gelfond
Introduction to the 27th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 11 (4-5) (2011)
Michael Gelfond
Knowledge Representation Language P-Log - A Short Introduction. Datalog (2010)
Richard B. Scherl, Daniela Inclezan, Michael Gelfond
Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT (2010)
Chitta Baral, Michael Gelfond, J. Nelson Rushton
Probabilistic reasoning with answer sets. Theory Pract. Log. Program. 9 (1) (2009)
Veena S. Mellarkod, Michael Gelfond
Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS (2008)
Marcello Balduccini, Michael Gelfond
The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
Integrating Answer Programming and Constraint Logic Programming. ISAIM (2008)
Michael Gelfond, Jorge Lobo
Authorization and Obligation Policies in Dynamic Systems. ICLP (2008)
Chitta Baral, Michael Gelfond, J. Nelson Rushton
Probabilistic reasoning with answer sets CoRR (2008)
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Sandeep Chintabathina, Michael Gelfond, Richard Watson
Defeasible Laws, Parallel Actions, and Reasoning about Resources. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Marcello Balduccini, Michael Gelfond, Monica L. Nogueira
Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47 (1-2) (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)
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)
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming (2005)
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
Towards an Integration of Answer Set and Constraint Solving. ICLP (2005)
Sandeep Chintabathina, Michael Gelfond, Richard Watson
Modeling Hybrid Domains Using Process Description Language. Answer Set Programming (2005)
Chitta Baral, Michael Gelfond
Reasoning about Intended Actions. AAAI (2005)
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)
Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
Conformant Planning for Domains with Constraints-A New Approach. AAAI (2005)
Graciela Gonzalez, Chitta Baral, Michael Gelfond
Alan: An Action Language For Modelling Non-Markovian Domains. Stud Logica 79 (1) (2005)
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)
Chitta Baral, Michael Gelfond, J. Nelson Rushton
Probabilistic Reasoning With Answer Sets. LPNMR (2004)
Michael Gelfond
Answer Set Programming and the Design of Deliberative Agents. ICLP (2004)
Marcello Balduccini, Michael Gelfond
Diagnostic reasoning with A-Prolog CoRR (2003)
Marcello Balduccini, Michael Gelfond
Diagnostic reasoning with A-Prolog. Theory Pract. Log. Program. 3 (4-5) (2003)
Michael Gelfond, Richard Watson
On methodology of representing knowledge in dynamic domains. Sci. Comput. Program. 42 (1) (2002)
Michael Gelfond
The USA-Advisor: A Case Study in Answer Set Programming. JELIA (2002)
Michael Gelfond, Nicola Leone
Knowledge Representation and Logic Programming. Artif. Intell. 138 (1-2) (2002)
Michael Gelfond, Nicola Leone
Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138 (1-2) (2002)
Michael Gelfond
Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond (2002)
Michael Gelfond, Joel Galloway
Diagnosing Dynamic Systems in A Prolog. Answer Set Programming (2001)
Michael Gelfond, Marcello Balduccini, Joel Galloway
Diagnosing Physical Systems in A-Prolog. LPNMR (2001)
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
An A-Prolog Decision Support System for the Space Shuttle. PADL (2001)
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
An A Prolog decision support system for the Space Shuttle. Answer Set Programming (2001)
Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira
The USA-Advisor: A Case Study in Answer Set Planning. LPNMR (2001)
Michael Gelfond, Alfredo Gabaldon
Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25 (3-4) (1999)
Michael Gelfond, Richard Watson
On Methodology of Representing Knowledge in Dynamic Domains. Electron. Notes Theor. Comput. Sci. 25 (1999)
Chitta Baral, Michael Gelfond, Olga Kosheleva
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35 (3) (1998)
Michael Gelfond, Vladimir Lifschitz
Action Languages. Electron. Trans. Artif. Intell. 2 (1998)
Michael Gelfond, Tran Cao Son
Reasoning with Prioritized Defaults. LPKR (1997)
Chitta Baral, Michael Gelfond, Alessandro Provetti
Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31 (1-3) (1997)
Michael Gelfond, Alfredo Gabaldon
From Functional Specifications to Logic Programms. ILPS (1997)
Michael Gelfond
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. LPNMR (1997)
Chitta Baral, Michael Gelfond
Reasoning About Effects of Concurrent Actions. J. Log. Program. 31 (1-3) (1997)
Michael Gelfond, Halina Przymusinska
Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Int. J. Softw. Eng. Knowl. Eng. 6 (1) (1996)
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
Autoepistemic Logic and Introspective Circumscription. TARK (1994)
Bonnie Traylor, Michael Gelfond
Representing Null Values in Logic Programming. LFCS (1994)
Michael Gelfond
Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell. 12 (1-2) (1994)
Chitta Baral, Michael Gelfond
Logic Programming and Knowledge Representation. J. Log. Program. (1994)
Chitta Baral, Michael Gelfond, Olga Kosheleva
Approximating General Logic Programs. ILPS (1993)
Michael Gelfond, Vladimir Lifschitz
Representing Action and Change by Logic Programs. J. Log. Program. 17 (2/3&4) (1993)
Chitta Baral, Michael Gelfond
Representing Concurrent Actions in Extended Logic Programming. IJCAI (1993)
Michael Gelfond, Halina Przymusinska
Reasoning on Open Domains. LPNMR (1993)
Michael Gelfond, Halina Przymusinska
On consistency and completeness of autoepistemic theories. Fundam. Informaticae 16 (1) (1992)
Michael Gelfond, Vladimir Lifschitz
Representing Actions in Extended Logic Programming. JICSLP (1992)
Michael Gelfond
Editorial. J. Log. Comput. 2 (1) (1992)
Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
Disjective Defaults. KR (1991)
Michael Gelfond, Halina Przymusinska
Definitions in Epistemic Specifications. LPNMR (1991)

Michael Gelfond.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Gelfond