2519 search results - page 296 / 504 » Reasoning with Textual Cases |
189
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
206
click to vote
ASP
2005
Springer
16 years 4 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
156
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
164
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...
105
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...