3515 search results - page 284 / 703 » On the semantics of Strategy Logic |
235
click to vote
ICAS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
157
Voted
DALT
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
217
Voted
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
247
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
212
click to vote
DLOG
2011
14 years 11 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...