4573 search results - page 610 / 915 » Automated Reasoning |
147
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
135
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
151
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
138
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
124
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...