3970 search results - page 145 / 794 » A Logic For Causal Reasoning |
130
Voted
KR
2010
Springer
15 years 8 months 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:
189
click to vote
FTP
1998
Springer
15 years 8 months 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
109
Voted
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
118
Voted
DLOG
2009
15 years 1 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
15 years 8 months 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 ...