Sciweavers

474 search results - page 38 / 95
» Spatial Agents Implemented in a Logical Expressible Language
Sort
View
IAT
2009
IEEE
14 years 29 days ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone
AIPS
2010
13 years 11 months ago
Shopper: A System for Executing and Simulating Expressive Plans
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
Robert P. Goldman, John Maraist
HICSS
1997
IEEE
151views Biometrics» more  HICSS 1997»
14 years 1 months ago
Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
Jae Kyu Lee, Woongkyu Lee
COMGEO
2010
ACM
14 years 12 days ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann
AAAI
2008
13 years 11 months ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu