Sciweavers

674 search results - page 58 / 135
» Preferences in Game Logics
Sort
View
AGP
2003
IEEE
14 years 2 months ago
Ordered Programs as Abductive Systems
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
Davy Van Nieuwenborgh, Dirk Vermeir
IJCAI
2007
13 years 10 months ago
A General Framework for Reasoning about Inconsistency
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this pap...
V. S. Subrahmanian, Leila Amgoud
AAMAS
2008
Springer
13 years 9 months ago
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
WWW
2009
ACM
14 years 9 months ago
Playful tagging: folksonomy generation using online games
Collaborative Tagging is a powerful method to create folksonomies that can be used to grasp/filter user preferences or enhance web search. Recent research has shown that depending...
Markus Krause, Hidir Aras
APAL
2005
117views more  APAL 2005»
13 years 9 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger