Hakutulokset: a system of logic
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoiyhteensä 11 hakutulosta
The Logic System of Concept Graphs with Negation
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized …
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 …
Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. It returned to the city in …
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
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from …
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
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 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
Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, …