3994 search results - page 62 / 799 » A Linear Logical Framework |
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
144
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
147
click to vote
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
122
click to vote
ICTAC
2005
Springer
15 years 9 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 ...