3994 search results - page 63 / 799 » A Linear Logical Framework |
ECAI
2000
Springer
15 years 4 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...
112
click to vote
LOGCOM
2006
15 years 12 days ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
108
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
MCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A new theoretical framework for the analysis of linear combiners is presented in this paper. This framework extends the scope of previous analytical models, and provides ...
122
Voted
ENTCS
2006
15 years 14 days ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...