585 search results - page 36 / 117 » Strategy Logic |
92
Voted
SARA
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
118
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
118
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
128
click to vote
AAAI
2007
15 years 4 months ago
2007
We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...
137
click to vote
FORMATS
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...