Sciweavers

1055 search results - page 6 / 211
» On the Semantics of Logic Programs with Preferences
Sort
View
CLIMA
2004
14 years 11 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
FOIKS
2004
Springer
15 years 2 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
LPNMR
2007
Springer
15 years 3 months ago
CPP: A Constraint Logic Programming Based Planner with Preferences
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
Phan Huy Tu, Tran Cao Son, Enrico Pontelli
AAAI
1990
14 years 10 months ago
The Generalized Theory of Model Preference
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
Piotr Rychlik