4978 search results - page 68 / 996 » Logical models of argument |
143
click to vote
ACL
1990
15 years 1 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
102
click to vote
IJCAI
1989
15 years 1 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
114
click to vote
JAPLL
2006
14 years 12 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
AIL
2000
14 years 11 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...