438 search results - page 4 / 88 » On theorem proving in annotated logics |
135
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
130
Voted
IS
2006
15 years 1 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
WADT
1999
Springer
15 years 6 months ago
1999
Springer
CADE
2003
Springer
16 years 2 months ago
2003
Springer
144
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...