The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Gelfond" ( http://dblp.L3S.de/Authors/Michael_Gelfond )

URL (Homepage):  https://scholar.google.com/citations?user=IcXx2DkAAAAJ  Author page on DBLP  Author page in RDF  Community of Michael Gelfond in ASPL-2

Publication years (Num. hits)
1986-1991 (16) 1992-1997 (17) 1998-2002 (15) 2003-2006 (16) 2007-2011 (17) 2012-2016 (22) 2017-2019 (8)
Publication types (Num. hits)
article(43) incollection(2) inproceedings(64) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords

Results
Found 112 publication records. Showing 111 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Evgenii Balai, Michael Gelfond, Yuanlin Zhang P-log: refinement and a new coherency condition. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious circle principle, aggregates, and formation of sets in ASP based languages. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Gelfond Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Logic Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Formation of Sets in ASP Based Languages. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Evgenii Balai, Michael Gelfond Refining and Generalizing P-log - Preliminary Report. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuliya Lierler, Daniela Inclezan, Michael Gelfond Action Languages and Question Answering. Search on Bibsonomy IWCS(2) The full citation details ... 2017 DBLP  BibTeX  RDF
1Esra Erdem 0001, Michael Gelfond, Nicola Leone Applications of Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Formation of Sets in ASP Based Languages. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniela Inclezan, Michael Gelfond Modular action language. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. Search on Bibsonomy PRIMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini Reasoning about Truthfulness of Agents Using Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mohan Sridharan, Michael Gelfond Using Knowledge Representation and Reasoning Tools in the Design of Robots. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Evgenii Balai, Michael Gelfond On the Relationship between P-log and LPMLN. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniela Inclezan, Michael Gelfond Modular Action Language ALM. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Justin Blount, Michael Gelfond, Marcello Balduccini A Theory of Intentions for Intelligent Agents - (Extended Abstract). Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Logic Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Logic Programs with Aggregates. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Justin Lane Blount, Michael Gelfond, Marcello Balduccini Towards a Theory of Intentional Agents. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt Towards an Architecture for Knowledge Representation and Reasoning in Robotics. Search on Bibsonomy ICSR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Evgenii Balai, Michael Gelfond, Yuanlin Zhang SPARC - Sorted ASP with Consistency Restoring Rules Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Gelfond, Daniela Inclezan Some properties of system descriptions of ALd. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Evgenii Balai, Michael Gelfond, Yuanlin Zhang Towards Answer Set Programming with Sorts. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yana Todorova, Michael Gelfond Toward Question Answering in Travel Domains. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Justin Blount, Michael Gelfond Reasoning about the Intentions of Agents. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales Approximation of action theories and its application to conformant planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Michael Gelfond Introduction to the 27th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Michael Gelfond (eds.) Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  BibTeX  RDF
1John P. Gallagher, Michael Gelfond Frontmatter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Gelfond New Semantics for Epistemic Specifications. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan, Michael Gelfond Representing Biological Processes in Modular Action Language ALM. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Gelfond Knowledge Representation Language P-Log - A Short Introduction. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Richard B. Scherl, Daniela Inclezan, Michael Gelfond Automated Inference of Socio-Cultural Information from Natural Language Conversations. Search on Bibsonomy SocialCom/PASSAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, J. Nelson Rushton Probabilistic reasoning with answer sets. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Gelfond Answer Sets. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang Integrating answer set programming and constraint logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
1Chitta Baral, Michael Gelfond, J. Nelson Rushton Probabilistic reasoning with answer sets Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Gelfond, Jorge Lobo 0001 Authorization and Obligation Policies in Dynamic Systems. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Veena S. Mellarkod, Michael Gelfond Integrating Answer Set Reasoning with Constraint Solving Techniques. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond The AAA Architecture: An Overview. Search on Bibsonomy AAAI Spring Symposium: Emotion, Personality, and Social Behavior The full citation details ... 2008 DBLP  BibTeX  RDF
1Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang Integrating Answer Programming and Constraint Logic Programming. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1Sandeep Chintabathina, Michael Gelfond, Richard Watson Defeasible Laws, Parallel Actions, and Reasoning about Resources. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond, Monica Nogueira Answer set based design of knowledge systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68T35, 68T20
1Michael Gelfond, J. Nelson Rushton, Weijun Zhu Combining Logical and Probabilistic Reasoning. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Gelfond Going Places: Notes on a Modular Development of Knowledge about Travel. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
1Chitta Baral, Michael Gelfond Logic Programming and Reasoning about Actions. Search on Bibsonomy Handbook of Temporal Reasoning in Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Graciela Gonzalez, Chitta Baral, Michael Gelfond Alan: An Action Language For Modelling Non-Markovian Domains. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Michael Gelfond Towards an Integration of Answer Set and Constraint Solving. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales An Approximation of Action Theories of and Its Application to Conformant Planning. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond Reasoning about Intended Actions. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales Conformant Planning for Domains with Constraints-A New Approach. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Chitta Baral, Michael Gelfond, Richard B. Scherl Answer Set Programming as the Basis for a Homeland Security QAS. Search on Bibsonomy AAAI Spring Symposium: AI Technologies for Homeland Security The full citation details ... 2005 DBLP  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Michael Gelfond A Preliminary Report on Integrating of Answer Set and Constraint Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Sandeep Chintabathina, Michael Gelfond, Richard Watson Modeling Hybrid Domains Using Process Description Language. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Gelfond Answer Set Programming and the Design of Deliberative Agents. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, J. Nelson Rushton Probabilistic Reasoning With Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond Diagnostic reasoning with A-Prolog Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond Diagnostic reasoning with A-Prolog. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Nicola Leone Knowledge Representation and Logic Programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Nicola Leone Logic programming and knowledge representation - The A-Prolog perspective. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Richard Watson On methodology of representing knowledge in dynamic domains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond Representing Knowledge in A-Prolog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond The USA-Advisor: A Case Study in Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry An A-Prolog Decision Support System for the Space Shuttle. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, planning, answer set programming
1Michael Gelfond, Marcello Balduccini, Joel Galloway Diagnosing Physical Systems in A-Prolog. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira The USA-Advisor: A Case Study in Answer Set Planning. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry An A Prolog decision support system for the Space Shuttle. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Michael Gelfond, Joel Galloway Diagnosing Dynamic Systems in A Prolog. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Michael Gelfond, Richard Watson On Methodology of Representing Knowledge in Dynamic Domains. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Alfredo Gabaldon Building a Knowledge Base: An Example. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael 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 Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, Olga Kosheleva Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Action Languages. Search on Bibsonomy Electron. Trans. Artif. Intell. The full citation details ... 1998 DBLP  BibTeX  RDF
1Chitta Baral, Michael Gelfond, Alessandro Provetti Representing Actions: Laws, Observations and Hypotheses. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond Reasoning About Effects of Concurrent Actions. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Alfredo Gabaldon From Functional Specifications to Logic Programms. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Gelfond Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Tran Cao Son Reasoning with Prioritized Defaults. Search on Bibsonomy LPKR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond Logic Programming and Knowledge Representation. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michael Gelfond Logic Programming and Reasoning with Incomplete Information. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz Autoepistemic Logic and Introspective Circumscription. Search on Bibsonomy TARK The full citation details ... 1994 DBLP  BibTeX  RDF
1Bonnie Traylor, Michael Gelfond Representing Null Values in Logic Programming. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Representing Action and Change by Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, Olga Kosheleva Approximating General Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Reasoning on Open Domains. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Chitta Baral, Michael Gelfond Representing Concurrent Actions in Extended Logic Programming. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska On consistency and completeness of autoepistemic theories. Search on Bibsonomy Fundam. Inform. The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Gelfond Editorial. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Representing Actions in Extended Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Classical Negation in Logic Programs and Disjunctive Databases. Search on Bibsonomy New Generation Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov What are the Limitations of the Situation Calculus? Search on Bibsonomy Automated Reasoning: Essays in Honor of Woody Bledsoe The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Definitions in Epistemic Specifications. Search on Bibsonomy LPNMR The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael Gelfond Strong Introspection. Search on Bibsonomy AAAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski Disjective Defaults. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 111 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license