2253 search results - page 152 / 451 » The ComFoRT Reasoning Framework |
137
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
144
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
115
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: Nowadays, biologists investigate different causes for deafness. One reason is a damage in a particular region of the auditory brain stem. These differences were discovered by inv...
143
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
135
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...