1650 search results - page 223 / 330 » The HOM problem is decidable |
152
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
159
click to vote
COMCOM
1999
15 years 6 months ago
1999
We present a problem of commonly used characterization sequences (CS) for the protocol conformance testing and propose a new test sequence to resolve the problem. The proposed tes...
186
click to vote
IJAR
2010
15 years 4 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
212
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
159
click to vote
PVLDB
2010
15 years 4 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...