3994 search results - page 107 / 799 » A Linear Logical Framework |
107
click to vote
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
120
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
AAAI
2008
15 years 2 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
91
Voted
JMLR
2010
14 years 7 months ago
2010
Working within the decision-theoretic framework for causal inference, we study the properties of "sufficient covariates", which support causal inference from observation...
222
Voted
COSIT
2011
Springer
14 years 12 days ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...