531 search results - page 51 / 107 » An Argumentation-Based Approach for Practical Reasoning |
167
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
130
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character....
122
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
123
Voted
PRICAI
1998
Springer
15 years 8 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
115
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...