3515 search results - page 441 / 703 » On the semantics of Strategy Logic |
226
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
222
click to vote
SEBD
2007
15 years 9 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
173
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
234
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
210
Voted
IJDAR
2006
15 years 7 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...