4573 search results - page 651 / 915 » Automated Reasoning |
137
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
260
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
135
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
138
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
128
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
Currently, the genome sequencing community is producing shotgun sequence data at a very high rate, but genome finishing is not keeping pace, even with the help from several automa...