Sciweavers

1450 search results - page 106 / 290
» Common knowledge revisited
Sort
View
ATAL
2009
Springer
16 years 10 days ago
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
Valentin Goranko, Dmitry Shkatov
CAISE
2005
Springer
15 years 11 months ago
A Typology Of Ontology-Based Semantic Measures
Ontologies are in the heart of the knowledge management process. Different semantic measures have been proposed in the literature to evaluate the strength of the semantic link bet...
Emmanuel Blanchard, Mounira Harzallah, Henri Brian...
MRCO
2005
Springer
15 years 11 months ago
Identifying the Multiple Contexts of a Situation
Abstract. The paper presents a contexts recognition algorithm that uses the Internet as a knowledge base to extract the multiple contexts of a given situation, based on the streami...
Aviv Segev
PAKDD
2005
ACM
132views Data Mining» more  PAKDD 2005»
15 years 11 months ago
On Multiple Query Optimization in Data Mining
Traditional multiple query optimization methods focus on identifying common subexpressions in sets of relational queries and on constructing their global execution plans. In this p...
Marek Wojciechowski, Maciej Zakrzewicz
IJCNLP
2004
Springer
15 years 11 months ago
A Nearest-Neighbor Method for Resolving PP-Attachment Ambiguity
We present a nearest-neighbor algorithm for resolving prepositional phrase attachment ambiguities. Its performance is significantly higher than previous corpus-based methods for P...
Shaojun Zhao, Dekang Lin