2585 search results - page 1 / 517 » Automating Coherent Logic |
ECSQARU
2001
Springer
13 years 9 months ago
2001
Springer
CSL
2006
Springer
13 years 6 months ago
2006
Springer
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
JAR
2008
13 years 4 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...