Sciweavers

6355 search results - page 124 / 1271
» From Logic to Games
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
15 years 1 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
ECSQARU
2007
Springer
16 years 18 days ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
AGI
2008
15 years 7 months ago
How Might Probabilistic Reasoning Emerge from the Brain?
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
Ben Goertzel, Cassio Pennachin
AAAI
2007
15 years 8 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
MST
2011
207views Hardware» more  MST 2011»
15 years 1 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey