3468 search results - page 157 / 694 » An open logical framework |
172
click to vote
CL
2000
Springer
15 years 10 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...
153
click to vote
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...
169
click to vote
ICSR
2004
Springer
15 years 12 months 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...
149
click to vote
TABLEAUX
1998
Springer
15 years 10 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...
256
click to vote
AMKM
2003
Springer
15 years 11 months 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...