15754 search results - page 102 / 3151 » Programs are Knowledge Bases |
147
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
135
click to vote
FLAIRS
2009
15 years 1 months ago
2009
Manual knowledge acquisition is usually a costly and timeconsuming process. Automatic knowledge acquisition methods can then significantly support the knowledge engineer. In this ...
117
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
115
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
128
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...