The following pages link to Michael Gelfond (Q543581):
Displaying 5 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)
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. (Q5240213) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
