2067 search results - page 40 / 414 » Logics of propositional control |
108
click to vote
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
TBILLC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
137
click to vote
INFSOF
2002
15 years 1 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
306
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
105
click to vote
JANCL
2002
15 years 1 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...