3468 search results - page 43 / 694 » An open logical framework |
96
Voted
ICTAC
2005
Springer
15 years 6 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 ...
94
Voted
ENTCS
2008
15 years 1 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...
117
Voted
RULEML
2009
Springer
15 years 7 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...
102
Voted
ECAI
2000
Springer
15 years 5 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...
118
click to vote
LOGCOM
2006
15 years 1 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951