2981 search results - page 37 / 597 » Answer Set Planning |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
JAR
2007
13 years 7 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
14 years 1 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
14 years 14 days ago
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 ...