4617 search results - page 767 / 924 » Automation of Diagrammatic Reasoning |
201
click to vote
POLICY
2004
Springer
16 years 11 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
166
Voted
PPSWR
2004
Springer
16 years 11 days ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
213
click to vote
VISUALIZATION
2003
IEEE
16 years 9 days ago
2003
IEEE
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
217
Voted
ASP
2003
Springer
16 years 8 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
179
Voted
CSL
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...