Sciweavers

138 search results - page 9 / 28
» Planning with Preferences Using Logic Programming
Sort
View
LPNMR
1993
Springer
14 years 17 days ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...
AGP
2003
IEEE
14 years 1 months ago
An Ordered Choice Logic Programming Front-End for Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
Marina De Vos
ATAL
2010
Springer
13 years 9 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
EPIA
2007
Springer
14 years 2 months ago
Modelling Morality with Prospective Logic
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
Luís Moniz Pereira, Ari Saptawijaya
EUROMICRO
2004
IEEE
14 years 6 days ago
Introducing Agile Methods: Three Years of Experience
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
Grigori Melnik, Frank Maurer