15754 search results - page 866 / 3151 » Programs are Knowledge Bases |
201
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
218
click to vote
AAAI
1990
15 years 9 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
236
click to vote
AGS
2009
Springer
16 years 2 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
186
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
—In this paper, we introduce NNexus, a generalization of the automatic linking engine of Noosphere (at PlanetMath.org) and the first system that automates the process of linking...
160
click to vote
WEBI
2009
Springer
16 years 2 months ago
2009
Springer
The paper focuses on an implementation of concept abduction with an Object-oriented Database Management System (OODBMS). OWL-DL Knowledge Bases have been translated to an OO versi...