3468 search results - page 43 / 694 » An open logical framework |
ICTAC
2005
Springer
14 years 4 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
ENTCS
2008
13 years 11 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
RULEML
2009
Springer
14 years 5 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
ECAI
2000
Springer
14 years 3 months ago
2000
Springer
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
LOGCOM
2006
13 years 11 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951