Michael Gelfond

119 papers A* 11B 20C 3Misc 3Journal 47Unranked 32

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR Michael Gelfond, Jorge Fandinno, Evgenii Balai
2023	J	`jnl`	Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. Michael Gelfond, Jorge Fandinno, Evgenii Balai
2022	J	`jnl`	Thirty years of Epistemic Specifications. Theory Pract. Log. Program. Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2021	J	`jnl`	Thirty years of Epistemic Specifications. CoRR Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2020	A*	`conf`	An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
2020	—	`conf`	Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. ICLP Workshops Michael Gelfond, Evgenii Balai
2020	J	`jnl`	The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang
2019	—	`conf`	Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. Datalog Michael Gelfond
2019	J	`jnl`	P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. Evgenii Balai, Michael Gelfond, Yuanlin Zhang
2019	J	`jnl`	REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. J. Artif. Intell. Res. Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt
2019	J	`jnl`	Vicious circle principle, aggregates, and formation of sets in ASP based languages. Artif. Intell. Michael Gelfond, Yuanlin Zhang
2018	J	`jnl`	Vicious Circle Principle and Logic Programs with Aggregates. CoRR Michael Gelfond, Yuanlin Zhang
2017	—	`conf`	Action Languages and Question Answering. IWCS(2) Yuliya Lierler, Daniela Inclezan, Michael Gelfond
2017	—	`conf`	Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR Evgenii Balai, Michael Gelfond
2017	B	`conf`	Vicious Circle Principle and Formation of Sets in ASP Based Languages. LPNMR Michael Gelfond, Yuanlin Zhang
2016	—	`conf`	An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016	J	`jnl`	Applications of Answer Set Programming. AI Mag. Esra Erdem, Michael Gelfond, Nicola Leone
2016	J	`jnl`	Modular action language. Theory Pract. Log. Program. Daniela Inclezan, Michael Gelfond
2016	A*	`conf`	On the Relationship between P-log and LP IJCAI Evgenii Balai, Michael Gelfond
2016	B	`conf`	Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. PRIMA Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra
2016	A*	`conf`	Reasoning about Truthfulness of Agents Using Answer Set Programming. KR Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016	—	`conf`	Using Knowledge Representation and Reasoning Tools in the Design of Robots. KnowProS@IJCAI Mohan Sridharan, Michael Gelfond
2016	J	`jnl`	Vicious Circle Principle and Formation of Sets in ASP Based Languages. CoRR Michael Gelfond, Yuanlin Zhang
2015	J	`jnl`	A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. CoRR Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt
2015	B	`conf`	A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR Justin Blount, Michael Gelfond, Marcello Balduccini
2015	J	`jnl`	Modular Action Language ALM. CoRR Daniela Inclezan, Michael Gelfond
2014	J	`jnl`	KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. CoRR Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt
2014	—	`conf`	Towards a Theory of Intentional Agents. AAAI Spring Symposia Justin Lane Blount, Michael Gelfond, Marcello Balduccini
2014	B	`conf`	Towards an Architecture for Knowledge Representation and Reasoning in Robotics. ICSR Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt
2014	J	`jnl`	Vicious Circle Principle and Logic Programs with Aggregates. CoRR Michael Gelfond, Yuanlin Zhang
2014	J	`jnl`	Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. Michael Gelfond, Yuanlin Zhang
2013	J	`jnl`	Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules CoRR Marcello Balduccini, Michael Gelfond
2013	J	`jnl`	SPARC - Sorted ASP with Consistency Restoring Rules CoRR Evgenii Balai, Michael Gelfond, Yuanlin Zhang
2013	J	`jnl`	Some properties of system descriptions of AL J. Appl. Non Class. Logics Michael Gelfond, Daniela Inclezan
2013	B	`conf`	Towards Answer Set Programming with Sorts. LPNMR Evgenii Balai, Michael Gelfond, Yuanlin Zhang
2012	—	`conf`	Reasoning about the Intentions of Agents. Logic Programs, Norms and Action Justin Blount, Michael Gelfond
2012	—	`conf`	Toward Question Answering in Travel Domains. Correct Reasoning Yana Todorova, Michael Gelfond
2011	J	`jnl`	Approximation of action theories and its application to conformant planning. Artif. Intell. Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales
2011	—	`conf`	Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) John P. Gallagher, Michael Gelfond
2011	J	`jnl`	Introduction to the 27th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. John P. Gallagher, Michael Gelfond
2011	B	`conf`	New Semantics for Epistemic Specifications. LPNMR Michael Gelfond
2011	—	`conf`	Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Daniela Inclezan, Michael Gelfond
2011	—	`ed.`	Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, Lexington, Kentucky, USA, July 6-10, 2011 ICLP (Technical Communications) John P. Gallagher, Michael Gelfond
2010	—	`conf`	Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT Richard B. Scherl, Daniela Inclezan, Michael Gelfond
2010	—	`conf`	Knowledge Representation Language P-Log - A Short Introduction. Datalog Michael Gelfond
2009	J	`jnl`	Probabilistic reasoning with answer sets. Theory Pract. Log. Program. Chitta Baral, Michael Gelfond, J. Nelson Rushton
2008	—	`ch.`	Answer Sets. Handbook of Knowledge Representation Michael Gelfond
2008	B	`conf`	Authorization and Obligation Policies in Dynamic Systems. ICLP Michael Gelfond, Jorge Lobo
2008	Misc	`conf`	Integrating Answer Programming and Constraint Logic Programming. ISAIM Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
2008	Misc	`conf`	Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS Veena S. Mellarkod, Michael Gelfond
2008	J	`jnl`	Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
2008	J	`jnl`	Probabilistic reasoning with answer sets CoRR Chitta Baral, Michael Gelfond, J. Nelson Rushton
2008	—	`conf`	The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Marcello Balduccini, Michael Gelfond
2007	—	`conf`	Defeasible Laws, Parallel Actions, and Reasoning about Resources. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Sandeep Chintabathina, Michael Gelfond, Richard Watson
2006	J	`jnl`	Answer set based design of knowledge systems. Ann. Math. Artif. Intell. Marcello Balduccini, Michael Gelfond, Monica L. Nogueira
2006	—	`conf`	Combining Logical and Probabilistic Reasoning. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Michael Gelfond, J. Nelson Rushton, Weijun Zhu
2006	—	`conf`	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 Michael Gelfond
2005	—	`conf`	A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
2005	J	`jnl`	Alan: An Action Language For Modelling Non-Markovian Domains. Stud Logica Graciela Gonzalez, Chitta Baral, Michael Gelfond
2005	B	`conf`	An Approximation of Action Theories of and Its Application to Conformant Planning. LPNMR Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
2005	—	`conf`	Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security Chitta Baral, Michael Gelfond, Richard B. Scherl
2005	A*	`conf`	Conformant Planning for Domains with Constraints-A New Approach. AAAI Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
2005	—	`ch.`	Logic Programming and Reasoning about Actions. Handbook of Temporal Reasoning in Artificial Intelligence Chitta Baral, Michael Gelfond
2005	—	`conf`	Modeling Hybrid Domains Using Process Description Language. Answer Set Programming Sandeep Chintabathina, Michael Gelfond, Richard Watson
2005	A*	`conf`	Reasoning about Intended Actions. AAAI Chitta Baral, Michael Gelfond
2005	B	`conf`	Towards an Integration of Answer Set and Constraint Solving. ICLP Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
2004	B	`conf`	Answer Set Programming and the Design of Deliberative Agents. ICLP Michael Gelfond
2004	B	`conf`	Probabilistic Reasoning With Answer Sets. LPNMR Chitta Baral, Michael Gelfond, J. Nelson Rushton
2003	J	`jnl`	Diagnostic reasoning with A-Prolog CoRR Marcello Balduccini, Michael Gelfond
2003	J	`jnl`	Diagnostic reasoning with A-Prolog. Theory Pract. Log. Program. Marcello Balduccini, Michael Gelfond
2002	J	`jnl`	Knowledge Representation and Logic Programming. Artif. Intell. Michael Gelfond, Nicola Leone
2002	J	`jnl`	Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. Michael Gelfond, Nicola Leone
2002	J	`jnl`	On methodology of representing knowledge in dynamic domains. Sci. Comput. Program. Michael Gelfond, Richard Watson
2002	—	`conf`	Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond Michael Gelfond
2002	B	`conf`	The USA-Advisor: A Case Study in Answer Set Programming. JELIA Michael Gelfond
2001	—	`conf`	An A Prolog decision support system for the Space Shuttle. Answer Set Programming Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001	C	`conf`	An A-Prolog Decision Support System for the Space Shuttle. PADL Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001	—	`conf`	Diagnosing Dynamic Systems in A Prolog. Answer Set Programming Michael Gelfond, Joel Galloway
2001	B	`conf`	Diagnosing Physical Systems in A-Prolog. LPNMR Michael Gelfond, Marcello Balduccini, Joel Galloway
2001	B	`conf`	The USA-Advisor: A Case Study in Answer Set Planning. LPNMR Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira
1999	J	`jnl`	Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. Michael Gelfond, Alfredo Gabaldon
1999	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings LPNMR Michael Gelfond, Nicola Leone, Gerald Pfeifer
1998	J	`jnl`	Action Languages. Electron. Trans. Artif. Intell. Michael Gelfond, Vladimir Lifschitz
1998	J	`jnl`	Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. Chitta Baral, Michael Gelfond, Olga Kosheleva
1998	—	`conf`	On Methodology of Representing Knowledge in Dynamic Domains. Monterey Workshop Michael Gelfond, Richard Watson
1997	—	`conf`	From Functional Specifications to Logic Programms. ILPS Michael Gelfond, Alfredo Gabaldon
1997	J	`jnl`	Reasoning About Effects of Concurrent Actions. J. Log. Program. Chitta Baral, Michael Gelfond
1997	—	`conf`	Reasoning with Prioritized Defaults. LPKR Michael Gelfond, Tran Cao Son
1997	J	`jnl`	Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. Chitta Baral, Michael Gelfond, Alessandro Provetti
1997	B	`conf`	Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. LPNMR Michael Gelfond
1996	J	`jnl`	Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Int. J. Softw. Eng. Knowl. Eng. Michael Gelfond, Halina Przymusinska
1994	B	`conf`	Autoepistemic Logic and Introspective Circumscription. TARK Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
1994	J	`jnl`	Logic Programming and Knowledge Representation. J. Log. Program. Chitta Baral, Michael Gelfond
1994	J	`jnl`	Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell. Michael Gelfond
1994	Misc	`conf`	Representing Null Values in Logic Programming. LFCS Bonnie Traylor, Michael Gelfond
1993	—	`conf`	Approximating General Logic Programs. ILPS Chitta Baral, Michael Gelfond, Olga Kosheleva
1993	B	`conf`	Reasoning on Open Domains. LPNMR Michael Gelfond, Halina Przymusinska
1993	J	`jnl`	Representing Action and Change by Logic Programs. J. Log. Program. Michael Gelfond, Vladimir Lifschitz
1993	A*	`conf`	Representing Concurrent Actions in Extended Logic Programming. IJCAI Chitta Baral, Michael Gelfond
1992	J	`jnl`	Editorial. J. Log. Comput. Michael Gelfond
1992	J	`jnl`	On consistency and completeness of autoepistemic theories. Fundam. Informaticae Michael Gelfond, Halina Przymusinska
1992	—	`conf`	Representing Actions in Extended Logic Programming. JICSLP Michael Gelfond, Vladimir Lifschitz
1991	J	`jnl`	Classical Negation in Logic Programs and Disjunctive Databases. New Gener. Comput. Michael Gelfond, Vladimir Lifschitz
1991	B	`conf`	Definitions in Epistemic Specifications. LPNMR Michael Gelfond, Halina Przymusinska
1991	A*	`conf`	Disjective Defaults. KR Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
1991	A*	`conf`	Strong Introspection. AAAI Michael Gelfond
1991	—	`conf`	What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov
1990	B	`conf`	Logic Programs with Classical Negation. ICLP Michael Gelfond, Vladimir Lifschitz
1990	J	`jnl`	On the relationship between CWA, minimal model, and minimal herbrand model semantics. Int. J. Intell. Syst. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
1989	J	`jnl`	On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
1988	—	`conf`	Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. NMR Michael Gelfond
1988	A*	`conf`	Compiling Circumscriptive Theories into Logic Programs. AAAI Michael Gelfond, Vladimir Lifschitz
1988	—	`conf`	Compiling Circumscriptive Theories into Logic Programs. NMR Michael Gelfond, Vladimir Lifschitz
1988	C	`conf`	Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
1988	—	`conf`	The Stable Model Semantics for Logic Programming. ICLP/SLP Michael Gelfond, Vladimir Lifschitz
1987	A*	`conf`	On Stratified Autoepistemic Theories. AAAI Michael Gelfond
1986	J	`jnl`	Negation as Failure: Careful Closure Procedure. Artif. Intell. Michael Gelfond, Halina Przymusinska
1986	C	`conf`	On the relationship between autoepistemic logic and parallel circumscription. ISMIS Michael Gelfond, Halina Przymusinska
1986	A*	`conf`	The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski