Sciweavers

57 search results - page 3 / 12
» A Possibilistic Inconsistency Handling in Answer Set Program...
Sort
View
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 6 months ago
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
Martin Gebser, Torsten Schaub, Sven Thiele, Philip...
KR
2010
Springer
13 years 11 months ago
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
Martin Gebser, Carito Guziolowski, Mihail Ivanchev...
DKE
2010
167views more  DKE 2010»
13 years 6 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
UAI
2004
13 years 7 months ago
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
Carlos Iván Chesñevar, Guillermo Ric...
LPNMR
2005
Springer
13 years 11 months ago
Data Integration and Answer Set Programming
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
Thomas Eiter