Sciweavers

IJCAI
1993
14 years 23 days ago
Representing Concurrent Actions in Extended Logic Programming
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
Chitta Baral, Michael Gelfond