Volker Klingspor. Abstraktion von Inferenzstrukturen in MOBAL. Master 's thesis, Univ. Bonn, 1991. In German. To appear. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Controlling the Complexity of Learning in Logic through.. - Kietz, Wrobel (1992) (62 citations) (Correct)
....more constants than predicates, RDT should look first for the predicates, and then look for the remaining constants, i.e. constants should be incorporated in the premise order after all premises. Topology construction Currently under work is a tool for the automatic construction of the topology [Kli91] The automatically constructed topology is an abstraction of the rules in the knowledge base, i.e. it is built from user given and previously learned rules. Such an automatically constructed topology can be used to avoid having to construct a topology manually, or it can be used as the basis for ....
Volker Klingspor. Abstraktion von Inferenzstrukturen in MOBAL. Master 's thesis, Univ. Bonn, 1991. In German. To appear.
Overview of Logic-based Learning in Germany - Morik (1998) (Correct)
....links between those groups, where a correct rule must consist of predicates from the same group or have a predicate from a superior group in its conclusion. This topology of predicates gives an overview of the rule base. It can be automatically constructed by the predicate structuring tool [Klingspor, 1991]. ffl Verifying new rules: the user may input rules and have them checked with respect to corresponding facts by the system, or the rule discovery tool may learn new rules on the basis of given facts [Kietz and Wrobel, 1991] ffl Revising rules because of contradictions: if the inference engine ....
Klingspor, V. (1991). Abstraktion von Inferenzstrukturen in MOBAL. Master's thesis, Univ. Bonn.
MOBAL's Predicate Structuring Tool - Klingspor (1991) (3 citations) Self-citation (Klingspor) (Correct)
....Stefan Wrobel. The author especially wishes to thank Katharina Morik for important contributions during the design phase of the PST and for reading and commenting earlier drafts of this paper. An extended paper was published in German language as a master thesis at the University of Bonn, Germany [Kli91] ....
Volker Klingspor. Abstraktion von Inferenzstrukturen in MOBAL. Master 's thesis, Univ. Bonn, 1991. In German. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC