4573 search results - page 831 / 915 » Automated Reasoning |
151
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
In the context of Dung’s argumentation framework, we propose a general recursive schema for argumentation semantics, based on decomposition along the strongly connected componen...
102
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
A simple model of rational belief holds that: (i) an instantaneous snapshot of an ideally rational belief system corresponds to a probability distribution; and (ii) rational belie...