Hakutulokset: a system of logic
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoiyhteensä 9 hakutulosta
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the …
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
This thoroughly refereed and well organized collection of papers is largely based on papers originally presented at the IJCAI'95 Workshop on Fuzzy Logic in AI, held in Montreal, …
Computational Logic in Multi-Agent Systems
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.The …
Specifying Message Passing and Time-Critical Systems with Temporal Logic
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for …
Computational Logic in Multi-Agent Systems
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 …
Computational Logic in Multi-Agent Systems
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 …
Computational Logic in Multi-Agent Systems
This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 …
Computational Logic in Multi-Agent Systems
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have …
Computational Logic in Multi-Agent Systems
This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August …