2585 search results - page 28 / 517 » Automating Coherent Logic |
DLOG
2004
13 years 8 months ago
2004
We present an application
DLOG
2007
13 years 9 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
DEON
2008
Springer
13 years 9 months ago
2008
Springer
CADE
2008
Springer
14 years 7 months ago
2008
Springer
LMCS
2006
13 years 7 months ago
2006
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 heaps ...