308 search results - page 10 / 62 » Answer Set Programming Based on Propositional Satisfiability |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
ICTAI
1997
IEEE
13 years 11 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
ENC
2008
IEEE
14 years 2 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
EPIA
2007
Springer
14 years 1 months ago
2007
Springer
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer