308 search results - page 10 / 62 » Answer Set Programming Based on Propositional Satisfiability |
90
Voted
ICLP
2010
Springer
15 years 1 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
15 years 1 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...
105
click to vote
ENC
2008
IEEE
15 years 4 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...
57
Voted
EPIA
2007
Springer
15 years 3 months ago
2007
Springer
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer