3225 search results - page 78 / 645 » Compiling Experience into Knowledge |
128
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
SOCRATES
2008
15 years 3 months ago
2008
The presentation concerns the "Minerva" project co-financed by E.U. aiming at identifying and promoting "good practice" in the design and delivery of e-learnin...
120
click to vote
WM
2003
15 years 3 months ago
2003
: We present an implementation of a multi-agent system whose goal is to solve the problem of tacit knowledge transfer by means of sharing of experiences. In particular, we consider...
110
click to vote
ANLP
2000
15 years 3 months ago
2000
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...
124
click to vote
NAACL
1994
15 years 3 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...