Sciweavers

7868 search results - page 22 / 1574
» Learning by Answer Sets
Sort
View
AI
2004
Springer
15 years 1 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
KDD
1994
ACM
98views Data Mining» more  KDD 1994»
15 years 6 months ago
Rule Induction for Semantic Query Optimization
Semantic query optimization can dramatically speed up database query answering by knowledge intensive reformulation. But the problem of how to learn required semantic rules has no...
Chun-Nan Hsu, Craig A. Knoblock
123
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 1 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...
98
Voted
EMNLP
2010
14 years 12 months ago
Learning the Relative Usefulness of Questions in Community QA
We present a machine learning approach for the task of ranking previously answered questions in a question repository with respect to their relevance to a new, unanswered referenc...
Razvan C. Bunescu, Yunfeng Huang
82
Voted
ENC
2005
IEEE
15 years 7 months ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...