3658 search results - page 90 / 732 » The logic of proofs, semantically |
106
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
102
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
87
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
94
Voted
SEMCO
2008
IEEE
15 years 7 months ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
101
Voted
CADE
2005
Springer
15 years 2 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...