3970 search results - page 481 / 794 » A Logic For Causal Reasoning |
171
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
150
click to vote
MONTEREY
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
158
click to vote
ISQED
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
178
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
197
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...