5378 search results - page 86 / 1076 » Base Logics in Argumentation |
154
click to vote
TREC
2003
15 years 7 months ago
2003
After retrieval, this simple strategy yield to an important improvement of the average precision: from 17.02 up to 35.80. Task II. Our approach is based on argumentative structurin...
156
click to vote
IJAR
2008
15 years 6 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
196
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
278
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual ...