The following pages link to Michael Gelfond (Q543581):
Displayed 50 items.
- Item:Q543581 (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)
- Item:Q543581 (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)
- A Theory of Intentions for Intelligent Agents (Q3449198) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- (Q3665098) (← links)
- (Q3829537) (← links)
- (Q3830545) (← links)
- (Q3983043) (← links)
- (Q3993678) (← links)
- (Q4028795) (← links)
- (Q4124824) (← links)
- Expanding queries to incomplete databases by interpolating general logic programs (Q4208860) (← links)
- (Q4217936) (← links)
- Representing action and change by logic programs (Q4275262) (← links)
- Logic programming and knowledge representation (Q4305625) (← links)
- Reasoning about effects of concurrent actions (Q4352530) (← links)
- Representing actions: Laws, observations and hypotheses (Q4352534) (← links)
- (Q4501163) (← links)
- Some properties of system descriptions of (Q4583309) (← links)
- Modular action language (Q4593024) (← links)
- (Q4707773) (← links)
- (Q4708959) (← links)
- (Q4713940) (← links)
- (Q4798012) (← links)
- Diagnostic reasoning with A-Prolog (Q4815029) (← links)
- (Q4906888) (← links)
- (Q4940938) (← links)
- (Q5240213) (← links)
- Logic Programming (Q5313190) (← links)