3994 search results - page 117 / 799 » A Linear Logical Framework |
141
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
139
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
128
Voted
ENTCS
2010
15 years 4 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
107
click to vote
MLG
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
170
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...