58 search results - page 6 / 12 » Concept learning in description logics using refinement oper... |
AAAI
1990
15 years 23 days ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
128
click to vote
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
109
click to vote
KR
2000
Springer
15 years 3 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
101
Voted
ECP
1997
Springer
15 years 3 months ago
1997
Springer
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...