Michael Gelfond

Available identifiers

zbMath Open gelfond.michaelWikidataQ6830566 ScholiaQ6830566MaRDI QIDQ543581

List of research outcomes

Publication	Date of Publication	Type
Thirty years of Epistemic Specifications	2023-12-12	Paper
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.	2019-10-24	Paper
Vicious circle principle, aggregates, and formation of sets in ASP based languages	2019-08-28	Paper
P-log: refinement and a new coherency condition	2019-08-13	Paper
Some properties of system descriptions of	2018-08-28	Paper
Modular action language	2017-11-09	Paper
Vicious circle principle and formation of sets in ASP based languages	2017-09-05	Paper
A Theory of Intentions for Intelligent Agents	2015-11-04	Paper
Vicious Circle Principle and Logic Programs with Aggregates	2014-11-25	Paper
Towards Answer Set Programming with Sorts	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4906888	2013-02-28	Paper
Reasoning about the Intentions of Agents	2012-07-23	Paper
Toward Question Answering in Travel Domains	2012-07-23	Paper
Approximation of action theories and its application to conformant planning	2011-06-17	Paper
New Semantics for Epistemic Specifications	2011-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q2996262	2011-05-06	Paper
Integrating answer set programming and constraint logic programming	2009-07-06	Paper
Probabilistic reasoning with answer sets	2009-03-10	Paper
Authorization and Obligation Policies in Dynamic Systems	2009-01-22	Paper
Integrating Answer Set Reasoning with Constraint Solving Techniques	2008-04-11	Paper
Enhancing ASP Systems for Planning with Temporal Constraints	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Answer set based design of knowledge systems	2006-12-20	Paper
Logic Programming	2006-06-27	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Alan: An action language for modelling non-Markovian domains	2005-12-02	Paper
Logic Programming	2005-08-26	Paper
Diagnostic reasoning with A-Prolog	2004-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4708959	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4707773	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4798012	2003-03-18	Paper
Logic programming and knowledge representation---The A-Prolog perspective	2002-07-15	Paper
LP-functions as a tool for knowledge representation	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2734940	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4501163	2000-09-03	Paper
Building a knowledge base: An example	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4940938	2000-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4217936	1999-06-21	Paper
Expanding queries to incomplete databases by interpolating general logic programs	1998-10-04	Paper
Reasoning about effects of concurrent actions	1997-09-04	Paper
Representing actions: Laws, observations and hypotheses	1997-09-04	Paper
Logic programming and reasoning with incomplete information	1997-03-31	Paper
Logic programming and knowledge representation	1995-08-15	Paper
Representing action and change by logic programs	1994-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4028795	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3993678	1992-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q3983043	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4713940	1992-06-25	Paper
On the relationship between CWA, minimal model, and minimal herbrand model semantics	1990-01-01	Paper
On the relationship between circumscription and negation as failure	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829537	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830545	1989-01-01	Paper
Negation as failure: careful closure procedure	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3665098	1981-01-01	Paper
Relationship between the classical and construvtive developments of mathematical analysis	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124824	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5654017	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Gelfond