scientific article
From MaRDI portal
Publication:4004339
zbMath0838.68093MaRDI QIDQ4004339
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (36)
Iterative versionspaces ⋮ Fuzzy hypotheses testing in the framework of fuzzy logic ⋮ Relational and Semantic Data Mining ⋮ Knowledge-based artificial neural networks ⋮ First-order \(jk\)-clausal theories are PAC-learnable ⋮ The learnability of description logics with equality constraints ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Counting for satisfiability by inverting resolution ⋮ Weakening the language bias in LINUS ⋮ Predicate invention and utilization ⋮ A Comprehensive Framework for Learning Declarative Action Models ⋮ Logical settings for concept-learning ⋮ Inductive constraint logic ⋮ Non-monotonic characterization of induction and its application to inductive learning ⋮ Analogical logic program synthesis algorithm that can refute inappropriate similarities ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ First order random forests: Learning relational classifiers with complex aggregates ⋮ Propositionalization and embeddings: two sides of the same coin ⋮ ILP turns 20. Biography and future challenges ⋮ Measures of Ruleset Quality Capable to Represent Uncertain Validity ⋮ Learnability of quantified formulas. ⋮ Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples ⋮ A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases ⋮ Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic ⋮ Measures of ruleset quality for general rules extraction methods ⋮ Propositionalization-based relational subgroup discovery with RSD ⋮ Learning logic programs with structured background knowledge ⋮ Unnamed Item ⋮ Pac-learning non-recursive Prolog clauses ⋮ Probabilistic Inductive Logic Programming ⋮ Pac-learning non-recursive Prolog clauses ⋮ The development, validation and implementation of knowledge-based systems ⋮ Machine learning techniques to make computers easier to use ⋮ Formal methods in pattern recognition: A review ⋮ Lifted graphical models: a survey ⋮ The complexity of theory revision
This page was built for publication:
