4209 search results - page 199 / 842 » Abstract Dialectical Frameworks |
186
Voted
CAISE
2003
Springer
16 years 7 days 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...
174
click to vote
ICCBR
2003
Springer
16 years 7 days 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 ...
212
Voted
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...
138
click to vote
ECAI
1998
Springer
15 years 11 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...
166
click to vote
EPIA
1997
Springer
15 years 11 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...