Search
Now showing items 1-2 of 2
A mechanism for discovering semantic relationships among agent communication protocols
(Springer, 2011-11)
One relevant aspect in the development of the Semantic Web framework is the
achievement of a real inter-agent communication capability at the semantic level. Agents
should be able to communicate with each other freely ...
Invariant-Free Clausal Temporal Resolution
(Springer, 2011-12-02)
Resolution is a well-known proof method for classical logics that is well suited for mechanization. The most fruitful approach in the literature on temporal logic, which was started with the seminal paper of M. Fisher, ...