2585 search results - page 1 / 517 » Automating Coherent Logic |
71
Voted
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
CSL
2006
Springer
15 years 2 months ago
2006
Springer
101
Voted
LPAR
2005
Springer
15 years 5 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...
99
Voted
JAR
2008
15 years 7 days 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 5 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...