356 search results - page 31 / 72 » Axiomatizing Causal Reasoning |
100
click to vote
AAAI
1990
15 years 1 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
CL
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
100
click to vote
AAAI
2004
15 years 1 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
ICNC
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...