4617 search results - page 879 / 924 » Automation of Diagrammatic Reasoning |
147
click to vote
ECSQARU
2009
Springer
16 years 13 days ago
2009
Springer
sing Attacks to Attacks in Abstract Argumentation Frameworks Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida Dipartimento di Elettronica per l’Automazi...
151
Voted
LPNMR
2007
Springer
16 years 17 hour ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
136
click to vote
TARK
2007
Springer
15 years 12 months ago
2007
Springer
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
147
Voted
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
161
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...