Sciweavers

2196 search results - page 190 / 440
» Practical Reasoning Using Values
Sort
View
GIS
1999
ACM
15 years 6 months ago
Integrating GPS Data Within Embedded Internet GIS
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
Arunas Stockus, Alain Bouju, Frédéri...
FLOPS
2004
Springer
15 years 5 months ago
LIX: an Effective Self-applicable Partial Evaluator for Prolog
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
Stephen-John Craig, Michael Leuschel
101
Voted
SIGECOM
2004
ACM
120views ECommerce» more  SIGECOM 2004»
15 years 7 months ago
Computational criticisms of the revelation principle
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...
Vincent Conitzer, Tuomas Sandholm
ARGMAS
2009
Springer
15 years 8 months ago
Dominant Decisions by Argumentation Agents
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari
CAISE
2004
Springer
15 years 5 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...