Sciweavers

3970 search results - page 65 / 794
» A Logic For Causal Reasoning
Sort
View
108
Voted
FUZZY
2004
Springer
159views Fuzzy Logic» more  FUZZY 2004»
15 years 9 months ago
Interpolative Fuzzy Reasoning in Behaviour-Based Control
Szilveszter Kovács
124
Voted
RSCTC
2004
Springer
134views Fuzzy Logic» more  RSCTC 2004»
15 years 9 months ago
Belief Reasoning, Revision and Fusion by Matrix Algebra
Churn-Jung Liau
TARK
2007
Springer
15 years 10 months ago
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
Thomas Ågotnes, Natasha Alechina
TARK
2005
Springer
15 years 9 months ago
Complexity results for logics of local reasoning and inconsistent belief
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
Martin Allen
FMCAD
2006
Springer
15 years 7 months ago
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
Tilman Glökler, Jason Baumgartner, Devi Shanm...