7335 search results - page 995 / 1467 » Scene Based Reasoning |
202
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
161
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
176
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
160
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
187
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
We present a Lagrangian decomposition approach for the Knapsack Constrained Maximum Spanning Tree problem yielding upper bounds as well as heuristic solutions. This method is furth...