Sciweavers

462 search results - page 27 / 93
» Preference Reasoning
Sort
View
FUIN
2010
137views more  FUIN 2010»
13 years 6 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
TARK
2007
Springer
14 years 2 months ago
Sequential voting rules and multiple elections paradoxes
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
Lirong Xia, Jérôme Lang, Mingsheng Yi...
IJCAI
1993
13 years 10 months ago
Statistical Foundations for Default Reasoning
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
LPNMR
2001
Springer
14 years 1 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits
KI
2007
Springer
14 years 2 months ago
Negation in Spatial Reasoning
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
Stefan Schleipen, Marco Ragni, Thomas Fangmeier