Sciweavers

599 search results - page 15 / 120
» Integrating answer set programming and constraint logic prog...
Sort
View
112
Voted
IAT
2008
IEEE
15 years 9 months ago
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
Nicolás Madrid, Manuel Ojeda-Aciego
AMW
2010
15 years 4 months ago
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
Loreto Bravo, Mónica Caniupán Marile...
124
Voted
ICLP
2007
Springer
15 years 9 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
AGP
2003
IEEE
15 years 8 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
134
Voted
ASP
2005
Springer
15 years 9 months ago
Debugging Logic Programs under the Answer Set Semantics
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
Martin Brain, Marina De Vos