438 search results - page 4 / 88 » On theorem proving in annotated logics |
LICS
2012
IEEE
13 years 4 hour 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...
IS
2006
14 years 9 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 1 months ago
1999
Springer
CADE
2003
Springer
15 years 10 months ago
2003
Springer
107
click to vote
CADE
2001
Springer
15 years 10 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...