15754 search results - page 10 / 3151 » Programs are Knowledge Bases |
COOPIS
2002
IEEE
14 years 10 days ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
IAT
2008
IEEE
14 years 1 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
EKAW
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper presents an experiment of parallel knowledge base development by subject matter experts, performed as part of the DARPA’s Rapid Knowledge Formation Program. ...
LPAR
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...