3970 search results - page 203 / 794 » A Logic For Causal Reasoning |
DEON
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
DEON
2008
Springer
13 years 11 months ago
2008
Springer
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
DALT
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
CADE
2003
Springer
14 years 10 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...