4209 search results - page 199 / 842 » Abstract Dialectical Frameworks |
170
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...
160
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...
193
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
125
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
151
click to vote
EPIA
1997
Springer
15 years 10 months ago
1997
Springer
dimension of abstraction and specificity, and they may mix both top-level goals and subgoals when describing what they want a plan to do. We show how the Prodigy planning system h...