5378 search results - page 226 / 1076 » Base Logics in Argumentation |
201
click to vote
JAR
2010
15 years 1 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
192
click to vote
WILF
2007
Springer
16 years 24 days ago
2007
Springer
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
159
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
181
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
206
click to vote
LPAR
1992
Springer
15 years 10 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...