A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
From MaRDI portal
Publication:2493276
DOI10.1007/BF03037292zbMATH Open1103.68118MaRDI QIDQ2493276FDOQ2493276
Authors: Ken Kaneiwa 
Publication date: 12 June 2006
Published in: New Generation Computing (Search for Journal in Brave)
Recommendations
Cites Work
- Order-sorted logic programming with predicate hierarchy
- A Machine-Oriented Logic Based on the Resolution Principle
- Attributive concept descriptions with complements
- Title not available (Why is that?)
- A resolution principle for a logic with restricted quantifiers
- An epistemic operator for description logics
- An overview of tableau algorithms for description logics
- Combining Horn rules and description logics in CARIN
- Title not available (Why is that?)
- Modal resolution in clausal form
- An order-sorted logic for knowledge representation systems
- Title not available (Why is that?)
- Resolution in modal, description and hybrid logic
- Labelled resolution for classical and non-classical logics
- A resolution principle for constrained logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the relation between situation calculus and event calculus
Cited In (3)
Uses Software
This page was built for publication: A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2493276)
