Sciweavers

6343 search results - page 1116 / 1269
» Development of a Cartographic Language
Sort
View
BIRTHDAY
2010
Springer
15 years 5 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
CCIA
2009
Springer
15 years 5 months ago
J-MADeM, an open-source library for social decision-making
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
DEXA
2010
Springer
180views Database» more  DEXA 2010»
15 years 5 months ago
Approximate Instance Retrieval on Ontologies
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
CLEF
2009
Springer
15 years 5 months ago
Using Semantic Relatedness and Word Sense Disambiguation for (CL)IR
In this paper we report the experiments for the CLEF 2009 Robust-WSD task, both for the monolingual (English) and the bilingual (Spanish to English) subtasks. Our main experimenta...
Eneko Agirre, Arantxa Otegi, Hugo Zaragoza
ECAI
2010
Springer
15 years 5 months ago
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
Cédric Pralet, Gérard Verfaillie, Mi...
« Prev « First page 1116 / 1269 Last » Next »