Sciweavers

2386 search results - page 162 / 478
» Representing and Reasoning with Preferences
Sort
View
PPSWR
2004
Springer
15 years 3 months ago
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...
François Bry, Tim Furche, Paula-Lavinia Pat...
KR
2010
Springer
15 years 2 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...
LICS
2000
IEEE
15 years 2 months ago
Precongruence Formats for Decorated Trace Preorders
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
CL
2000
Springer
15 years 2 months ago
A Plan Fusion Algorithm for Multi-Agent Systems
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
Mathijs de Weerdt, André Bos, Hans Tonino, ...
LICS
1999
IEEE
15 years 2 months ago
Some Decision Problems of Enormous Complexity
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
Harvey Friedman