2067 search results - page 50 / 414 » Logics of propositional control |
104
click to vote
ENTCS
2007
15 years 1 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
CSL
2000
Springer
15 years 6 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
113
click to vote
ECAI
1992
Springer
15 years 5 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
117
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
113
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...