default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Gelfond
Person information
- affiliation: Texas Tech University, Lubbock, USA
SPARQL queries 
🛈 Please note that only 57% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j35]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): 715-729 (2023)- [i12]Michael Gelfond, Jorge Fandinno, Evgenii Balai:
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR abs/2306.03874 (2023) - 2022
- [j34]Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
Thirty years of Epistemic Specifications. Theory Pract. Log. Program. 22(6): 1043-1083 (2022) - 2021
- [i11]Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
Thirty years of Epistemic Specifications. CoRR abs/2108.07669 (2021) - 2020
- [j33]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): 953-989 (2020) - [c68]Michael Gelfond, Evgenii Balai:
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. ICLP Workshops 2020 - [c67]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: 69-78
2010 – 2019
- 2019
- [j32]Michael Gelfond, Yuanlin Zhang:
Vicious circle principle, aggregates, and formation of sets in ASP based languages. Artif. Intell. 275: 28-77 (2019) - [j31]Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86(1-3): 149-192 (2019) - [j30]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: 87-180 (2019) - [c66]Michael Gelfond:
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. Datalog 2019: 2 - 2018
- [i10]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. CoRR abs/1808.07050 (2018) - 2017
- [c65]Yuliya Lierler, Daniela Inclezan, Michael Gelfond:
Action Languages and Question Answering. IWCS(2) 2017 - [c64]Evgenii Balai, Michael Gelfond:
Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR 2017 - [c63]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages. LPNMR 2017: 146-159 - 2016
- [j29]Esra Erdem, Michael Gelfond, Nicola Leone:
Applications of Answer Set Programming. AI Mag. 37(3): 53-68 (2016) - [j28]Daniela Inclezan, Michael Gelfond:
Modular action language. Theory Pract. Log. Program. 16(2): 189-235 (2016) - [c62]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: 8:1-8:4 - [c61]Evgenii Balai, Michael Gelfond:
On the Relationship between P-log and LPMLN. IJCAI 2016: 915-921 - [c60]Mohan Sridharan, Michael Gelfond:
Using Knowledge Representation and Reasoning Tools in the Design of Robots. KnowProS@IJCAI 2016 - [c59]Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR 2016: 605-608 - [c58]Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra:
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. PRIMA 2016: 376-386 - [i9]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages. CoRR abs/1608.08262 (2016) - 2015
- [c57]Justin Blount, Michael Gelfond, Marcello Balduccini:
A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR 2015: 134-142 - [i8]Daniela Inclezan, Michael Gelfond:
Modular Action Language ALM. CoRR abs/1505.05022 (2015) - [i7]Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt:
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. CoRR abs/1508.03891 (2015) - 2014
- [j27]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. 14(4-5): 587-601 (2014) - [c56]Justin Lane Blount, Michael Gelfond, Marcello Balduccini:
Towards a Theory of Intentional Agents. AAAI Spring Symposia 2014 - [c55]Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt:
Towards an Architecture for Knowledge Representation and Reasoning in Robotics. ICSR 2014: 400-410 - [i6]Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt:
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. CoRR abs/1405.0999 (2014) - [i5]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. CoRR abs/1405.3637 (2014) - 2013
- [j26]Michael Gelfond, Daniela Inclezan:
Some properties of system descriptions of ALd. J. Appl. Non Class. Logics 23(1-2): 105-120 (2013) - [c54]Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
Towards Answer Set Programming with Sorts. LPNMR 2013: 135-147 - [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
- [c53]Justin Blount, Michael Gelfond:
Reasoning about the Intentions of Agents. Logic Programs, Norms and Action 2012: 147-171 - [c52]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. Theory Pract. Log. Program. 11(4-5): 429-432 (2011) - [c51]Daniela Inclezan, Michael Gelfond:
Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c50]John P. Gallagher, Michael Gelfond:
Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) 2011 - [c49]Michael Gelfond:
New Semantics for Epistemic Specifications. LPNMR 2011: 260-265 - [e2]John P. Gallagher, Michael Gelfond:
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 für Informatik 2011, ISBN 978-3-939897-31-6 [contents] - 2010
- [c48]Michael Gelfond:
Knowledge Representation Language P-Log - A Short Introduction. Datalog 2010: 369-383 - [c47]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. Theory Pract. Log. Program. 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) - [c46]Marcello Balduccini, Michael Gelfond:
The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6 - [c45]Veena S. Mellarkod, Michael Gelfond:
Integrating Answer Set Reasoning with Constraint Solving Techniques. FLOPS 2008: 15-31 - [c44]Michael Gelfond, Jorge Lobo:
Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36 - [c43]Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang:
Integrating Answer Programming and Constraint Logic Programming. ISAIM 2008 - [r2]Michael Gelfond:
Answer Sets. Handbook of Knowledge Representation 2008: 285-316 - [i2]Chitta Baral, Michael Gelfond, J. Nelson Rushton:
Probabilistic reasoning with answer sets. CoRR abs/0812.0659 (2008) - 2007
- [c42]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 L. Nogueira:
Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006) - [c41]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 - [c40]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. Stud Logica 79(1): 115-134 (2005) - [c39]Chitta Baral, Michael Gelfond:
Reasoning about Intended Actions. AAAI 2005: 689-694 - [c38]Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales:
Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216 - [c37]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 - [c36]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005 - [c35]Sandeep Chintabathina, Michael Gelfond, Richard Watson:
Modeling Hybrid Domains Using Process Description Language. Answer Set Programming 2005 - [c34]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66 - [c33]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 - [r1]Chitta Baral, Michael Gelfond:
Logic Programming and Reasoning about Actions. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 389-426 - 2004
- [c32]Michael Gelfond:
Answer Set Programming and the Design of Deliberative Agents. ICLP 2004: 19-26 - [c31]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. Theory Pract. Log. Program. 3(4-5): 425-461 (2003) - [i1]Marcello Balduccini, Michael Gelfond:
Diagnostic reasoning with A-Prolog. CoRR cs.AI/0312040 (2003) - 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) - [c30]Michael Gelfond:
Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond 2002: 413-451 - [c29]Michael Gelfond:
The USA-Advisor: A Case Study in Answer Set Programming. JELIA 2002: 566-568 - 2001
- [c28]Michael Gelfond, Joel Galloway:
Diagnosing Dynamic Systems in A Prolog. Answer Set Programming 2001 - [c27]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 - [c26]Michael Gelfond, Marcello Balduccini, Joel Galloway:
Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225 - [c25]Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442 - [c24]Monica L. 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) - [e1]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. Lecture Notes in Computer Science 1730, Springer 1999, ISBN 3-540-66749-0 [contents] - 1998
- [j14]Michael Gelfond, Vladimir Lifschitz:
Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998) - [j13]Chitta Baral, Michael Gelfond, Olga Kosheleva:
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35(3): 195-230 (1998) - [c23]Michael Gelfond, Richard Watson:
On Methodology of Representing Knowledge in Dynamic Domains. Monterey Workshop 1998: 121-132 - 1997
- [j12]Chitta Baral, Michael Gelfond:
Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997) - [j11]Chitta Baral, Michael Gelfond, Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997) - [c22]Michael Gelfond, Tran Cao Son:
Reasoning with Prioritized Defaults. LPKR 1997: 164-223 - [c21]Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. LPNMR 1997: 222-223 - [c20]Michael Gelfond, Alfredo Gabaldon:
From Functional Specifications to Logic Programms. ILPS 1997: 355-369 - 1996
- [j10]Michael Gelfond, Halina Przymusinska:
Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Int. J. Softw. Eng. Knowl. Eng. 6(1): 89-112 (1996) - 1994
- [j9]Michael Gelfond:
Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell. 12(1-2): 89-116 (1994) - [j8]Chitta Baral, Michael Gelfond:
Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994) - [c19]Bonnie Traylor, Michael Gelfond:
Representing Null Values in Logic Programming. LFCS 1994: 341-352 - [c18]Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz:
Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207 - 1993
- [j7]Michael Gelfond, Vladimir Lifschitz:
Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321 (1993) - [c17]Chitta Baral, Michael Gelfond:
Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873 - [c16]Michael Gelfond, Halina Przymusinska:
Reasoning on Open Domains. LPNMR 1993: 397-413 - [c15]Chitta Baral, Michael Gelfond, Olga Kosheleva:
Approximating General Logic Programs. ILPS 1993: 181-198 - 1992
- [j6]Michael Gelfond, Halina Przymusinska:
On consistency and completeness of autoepistemic theories. Fundam. Informaticae 16(1): 59-92 (1992) - [j5]Michael Gelfond:
Editorial. J. Log. Comput. 2(1): 1-4 (1992) - [c14]Michael Gelfond, Vladimir Lifschitz:
Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573 - 1991
- [j4]Michael Gelfond, Vladimir Lifschitz:
Classical Negation in Logic Programs and Disjunctive Databases. New Gener. Comput. 9(3/4): 365-386 (1991) - [c13]Michael Gelfond:
Strong Introspection. AAAI 1991: 386-391 - [c12]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 - [c11]Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski:
Disjective Defaults. KR 1991: 230-237 - [c10]Michael Gelfond, Halina Przymusinska:
Definitions in Epistemic Specifications. LPNMR 1991: 245-259 - 1990
- [j3]Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski:
On the relationship between CWA, minimal model, and minimal herbrand model semantics. Int. J. Intell. Syst. 5(5): 549-564 (1990) - [c9]Michael Gelfond, Vladimir Lifschitz:
Logic Programs with Classical Negation. ICLP 1990: 579-597
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
- [c8]Michael Gelfond, Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs. AAAI 1988: 455-449 - [c7]Michael Gelfond, Vladimir Lifschitz:
The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 - [c6]Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski:
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS 1988: 435-443 - [c5]Michael Gelfond, Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs. NMR 1988: 74-99 - [c4]Michael Gelfond:
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. NMR 1988: 176-186 - 1987
- [c3]Michael Gelfond:
On Stratified Autoepistemic Theories. AAAI 1987: 207-211 - 1986
- [j1]Michael Gelfond, Halina Przymusinska:
Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287 (1986) - [c2]Michael Gelfond, Halina Przymusinska:
On the relationship between autoepistemic logic and parallel circumscription. ISMIS 1986: 256-261 - [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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
