Sciweavers

3891 search results - page 64 / 779
» A logic for strategic reasoning
Sort
View
ENTCS
2010
96views more  ENTCS 2010»
13 years 7 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
SEBD
2003
159views Database» more  SEBD 2003»
13 years 9 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
14 years 1 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni