2067 search results - page 126 / 414 » Logics of propositional control |
112
click to vote
AAAI
2007
15 years 4 months ago
2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
124
click to vote
COMCOM
2006
15 years 1 months ago
2006
In defending one's network against cyber attack, certain vulnerabilities may seem acceptable risks when considered in isolation. But an intruder can often infiltrate a seemin...
110
Voted
JSYML
2000
15 years 1 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
110
click to vote
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
108
click to vote
ITC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...