2585 search results - page 1 / 517 » Automating Coherent Logic |
62
Voted
ECSQARU
2001
Springer
15 years 2 months ago
2001
Springer
CSL
2006
Springer
15 years 4 days ago
2006
Springer
90
Voted
LPAR
2005
Springer
15 years 3 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...
84
Voted
JAR
2008
14 years 10 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
15 years 3 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...