Hakutulokset: a system of logic
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoiyhteensä 29 hakutulosta
Uncertain Logics, Variables and Systems
The ideas of uncertain variables based on uncertain logics have been introduced and developed for a wide class of uncertain systems. The purpose of this mo- graph is to present …
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 …
The Architectural Logic of Database Systems
If we look back to pre-database systems and the data units which were in use, we will establish a hierarchy starting with the concept of 'field' used to build 'records' which were …
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given …
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given …
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 …
Logics and Models of Concurrent Systems
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as …
Logical Tools for Handling Change in Agent-Based Systems
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for …
Logical Foundations for Rule-Based Systems
Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal …