3970 search results - page 415 / 794 » A Logic For Causal Reasoning |
174
click to vote
FORMATS
2005
Springer
16 years 11 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
182
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
159
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
147
click to vote
ICES
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
143
click to vote
FSS
2008
15 years 6 months ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...