5378 search results - page 321 / 1076 » Base Logics in Argumentation |
199
click to vote
DLOG
2011
14 years 10 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
175
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
187
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
186
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
170
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...