Toward effective knowledge acquisition with first-order logic induction.
From MaRDI portal
Publication:1850683
DOI10.1007/BF02948825zbMATH Open1057.68098OpenAlexW2042729981MaRDI QIDQ1850683FDOQ1850683
Authors: Xiaolong Zhang, Masayuki Numao
Publication date: 2002
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02948825
Recommendations
- A decidable first-order logic for knowledge representation
- A decidable first-order logic for knowledge representation
- scientific article; zbMATH DE number 569773
- Towards Abductive Reasoning in First-order Logic
- scientific article; zbMATH DE number 4058914
- A PDL-Like Logic of Knowledge Acquisition
- scientific article; zbMATH DE number 1841825
- A First-order Logic for Reasoning about Knowledge and Probability
Cites Work
Cited In (5)
Uses Software
This page was built for publication: Toward effective knowledge acquisition with first-order logic induction.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850683)