10568 search results - page 1686 / 2114 » Computer Intelligence and Formalization |
135
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
150
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
152
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
153
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
158
click to vote
CSL
2009
Springer
16 years 27 days ago
2009
Springer
We analyse the computational complexity of finding Nash equilibria in stochastic multiplayer games with ω-regular objectives.While the existence of an equilibrium whose payoff fal...