4617 search results - page 269 / 924 » Automation of Diagrammatic Reasoning |
151
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
143
click to vote
CSL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
181
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...