3468 search results - page 157 / 694 » An open logical framework |
182
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
163
Voted
FSS
2007
15 years 6 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
186
Voted
ICSR
2004
Springer
16 years 10 days ago
2004
Springer
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
161
Voted
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
276
Voted
AMKM
2003
Springer
16 years 5 days ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...