4209 search results - page 23 / 842 » Abstract Dialectical Frameworks |
104
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
78
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
ACL
2011
14 years 7 months ago
2011
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
140
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...