337 search results - page 7 / 68 » Axiomatizing Distance Logics |
FSS
2007
14 years 11 months ago
2007
MLQ
2010
14 years 10 months ago
2010
NDJFL
2010
14 years 6 months ago
2010
IGPL
2010
14 years 10 months ago
2010
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
222
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...