3970 search results - page 440 / 794 » A Logic For Causal Reasoning |
168
click to vote
ICNC
2005
Springer
16 years 9 days 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...
179
click to vote
LOPSTR
2005
Springer
16 years 9 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
218
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
183
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
138
click to vote
LILOG
1989
15 years 11 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...