Sciweavers

6 search results - page 2 / 2
» elp 1993
Sort
View
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