728 search results - page 14 / 146 » A Logical View of Choreography |
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
LPAR
2001
Springer
14 years 12 days ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
VLSID
1999
IEEE
14 years 7 days ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.