3970 search results - page 145 / 794 » A Logic For Causal Reasoning |
KR
2010
Springer
14 years 21 days ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
FTP
1998
Springer
14 years 4 days ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
CADE
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
DLOG
2009
13 years 5 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
CL
2000
Springer
14 years 8 days ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...