7868 search results - page 238 / 1574 » Learning by Answer Sets |
169
click to vote
ICAIL
2005
ACM
16 years 1 days ago
2005
ACM
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...
160
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
168
click to vote
AAAI
2004
15 years 7 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
160
click to vote
DM
2006
15 years 6 months ago
2006
We study the problem of minimal triangulation of graphs. One of the first algorithms to solve this problem was Lex M, which was presented in 1976. A new algorithm, and a simplific...
182
click to vote
ARSCOM
2005
15 years 6 months ago
2005
Can an arbitrary graph be embedded in Euclidean space so that the isometry group of its vertex set is precisely its graph automorphism group? This paper gives an affirmative answe...