2067 search results - page 40 / 414 » Logics of propositional control |
151
click to vote
ICTAI
2007
IEEE
16 years 13 days 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...
134
click to vote
TBILLC
2007
Springer
16 years 7 days 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...
197
click to vote
INFSOF
2002
15 years 5 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 ...
461
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
156
click to vote
JANCL
2002
15 years 5 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...