15754 search results - page 469 / 3151 » Programs are Knowledge Bases |
184
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In this paper, we give an overview of a system (CAIMAN) that can facilitate the exchange of relevant documents between geographically dispersed people in Communities of Interest. ...
196
click to vote
AAAI
1993
15 years 8 months ago
1993
learning (EBL) component. In this paper we provide a brief review of FOIL and FOCL, then discuss how operationalizing a domain theory can adversely affect the accuracy of a learned...
211
click to vote
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
173
click to vote
JUCS
2010
15 years 5 months ago
2010
: The present article aims to describe the Living Lab’s method as a method innovation in institutional activities and the problems of taking this innovation into use. Possibiliti...
163
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...