The following pages link to Michael Gelfond (Q543581):
Displaying 25 items.
- (Q174355) (redirect page) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Negation as failure: careful closure procedure (Q1097727) (← links)
- On the relationship between circumscription and negation as failure (Q1115207) (← links)
- (Q1245939) (redirect page) (← links)
- Relationship between the classical and construvtive developments of mathematical analysis (Q1245940) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Logic programming and reasoning with incomplete information (Q1924820) (← links)
- Building a knowledge base: An example (Q1978006) (← links)
- P-log: refinement and a new coherency condition (Q2317975) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Vicious circle principle and formation of sets in ASP based languages (Q2401931) (← links)
- Alan: An action language for modelling non-Markovian domains (Q2574883) (← links)
- (Q2734940) (← links)
- Towards Answer Set Programming with Sorts (Q2851241) (← links)
- Reasoning about the Intentions of Agents (Q2900476) (← links)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- (Q2996262) (← links)
- New Semantics for Epistemic Specifications (Q3003265) (← links)
- On the relationship between CWA, minimal model, and minimal herbrand model semantics (Q3201764) (← links)
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. (Q5240213) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
