2303 search results - page 148 / 461 » On the logic of argumentation theory |
124
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Philosophers and scientists interested in Artificial Intelligence emphasize the role of intention in rational communication and interaction. The papers on rational agency by Cohe...
197
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
158
click to vote
AIL
2005
15 years 6 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
158
click to vote
MKM
2007
Springer
16 years 19 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
142
click to vote
NDJFL
2002
15 years 6 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...