15754 search results - page 737 / 3151 » Programs are Knowledge Bases |
172
click to vote
FLAIRS
2006
15 years 9 months ago
2006
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...
164
click to vote
COLING
2000
15 years 9 months ago
2000
: In this paper, we proposed a shallow syntactic knowledge description: constituent boundary representation and its simple and efficient prediction algorithm, based on different lo...
204
click to vote
DLOG
1998
15 years 9 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
193
click to vote
CIIA
2009
15 years 8 months ago
2009
Several rule discovery algorithms have the disadvantage to discover too much patterns sometimes obvious, useless or not very interesting to the user. In this paper we propose a new...
174
click to vote
APAL
2005
15 years 7 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...