Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
On linear logic planning and concurrency
Information and Computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Challenges for action theories
Challenges for action theories
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Hi-index | 0.00 |