Sciweavers

474 search results - page 36 / 95
» Spatial Agents Implemented in a Logical Expressible Language
Sort
View
CADE
2010
Springer
13 years 10 months ago
Optimized Description Logic Reasoning via Core Blocking
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
Birte Glimm, Ian Horrocks, Boris Motik
ITRUST
2005
Springer
14 years 2 months ago
A Representation Model of Trust Relationships with Delegation Extensions
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
Isaac Agudo, Javier Lopez, José A. Monteneg...
COSIT
2003
Springer
122views GIS» more  COSIT 2003»
14 years 2 months ago
Communicating Vague Spatial Concepts in Human-GIS Interactions: A Collaborative Dialogue Approach
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
Guoray Cai, Hongmei Wang, Alan M. MacEachren
DLOG
2009
13 years 7 months ago
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
Thomas Lukasiewicz, Azzurra Ragone
FSTTCS
2007
Springer
14 years 3 months ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...