2067 search results - page 99 / 414 » Logics of propositional control |
101
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
133
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
116
Voted
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
114
click to vote
ECSQARU
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
118
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper offers a formalization of iterated belief revision for multiagent communication using the logic of communication graphs introduced in [15]. In this study we co...