5378 search results - page 106 / 1076 » Base Logics in Argumentation |
150
click to vote
JOLLI
2007
15 years 6 months ago
2007
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
156
click to vote
AIL
2008
15 years 6 months ago
2008
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P
167
click to vote
FORMATS
2007
Springer
16 years 6 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
169
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
170
Voted
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...