Sciweavers

IJCAI
1993
13 years 6 months 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