3891 search results - page 132 / 779 » A logic for strategic reasoning |
160
click to vote
KR
2010
Springer
15 years 11 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:
240
click to vote
FTP
1998
Springer
15 years 10 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
134
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
153
click to vote
DLOG
2009
15 years 4 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
185
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...