356 search results - page 9 / 72 » Axiomatizing Causal Reasoning |
CADE
2003
Springer
16 years 2 days ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
106
click to vote
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
84
Voted
AI
2004
Springer
14 years 11 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
221
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
AIED
2007
Springer
15 years 3 months ago
2007
Springer
Previous research on the use of diagrams for argumentation instruction has highlighted, but not conclusively demonstrated, their potential benefits. We examine the relative benefit...