Sciweavers

139 search results - page 11 / 28
» General Fuzzy Answer Set Programs
Sort
View
LPNMR
2007
Springer
14 years 2 months ago
A Preference-Based Framework for Updating Logic Programs
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
James P. Delgrande, Torsten Schaub, Hans Tompits
PODS
1997
ACM
149views Database» more  PODS 1997»
14 years 3 days ago
Answering Recursive Queries Using Views
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...
Oliver M. Duschka, Michael R. Genesereth
SCCC
2005
IEEE
14 years 1 months ago
Optimizing repair programs for consistent query answering
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
Mónica Caniupán Marileo, Leopoldo E....
ICSE
2008
IEEE-ACM
14 years 8 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
Andrew Jensen Ko, Brad A. Myers
APAL
2005
135views more  APAL 2005»
13 years 7 months ago
Safe beliefs for propositional theories
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
Mauricio Osorio, Juan Antonio Navarro Pérez...