Inductive equivalence in clausal logic and nonmonotonic logic programming
type: Item
instance of: scholarly article
title: Inductive equivalence in clausal logic and nonmonotonic logic programming
zbMATH Open document ID: 1237.68208
author: Chiaki Sakama
author: Katsumi Inoue
published in: Machine Learning
publication date: 2012-05-08T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6031585
zbMATH Keywords: inductive equivalence
zbMATH Keywords: inductive logic programming
zbMATH Keywords: nonmonotonic logic programs
describes a project that uses: lpeq
describes a project that uses: GOLEM
describes a project that uses: DLPEQ
MaRDI profile type: Publication
full work available at URL: s10994-010-5189-4
OpenAlex ID: W1997314029
cites work: Logic programming and knowledge representation
cites work: Saturation, nonmonotonic reasoning and the closed-world assumption
cites work: Equivalence issues in abduction and induction
cites work: Logical settings for concept-learning
cites work: Inductive Logic Programming
cites work: Clausal discovery
cites work: Q4707746
cites work: Logic Programming
cites work: Q4530868
cites work: Q3983043
cites work: Induction as consequence finding
cites work: Logics in Artificial Intelligence
cites work: Q4530875
cites work: Abductive Equivalence in First-order Logic
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Strongly equivalent logic programs
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q3939270
cites work: Q4004339
cites work: Foundations of inductive logic programming
cites work: Q4808808
cites work: Q4796703
cites work: Transformation of logic programs: Foundations and techniques
cites work: Q5677085
cites work: Brave induction: a logical framework for learning from incomplete information
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Strong equivalence made easy: nested expressions and weight constraints
DOI: 10.1007/S10994-010-5189-4
description: scientific article; zbMATH DE number 6031585