Multi-layer logic - a predicate logic including data structure as knowledge representation language

DOI10.1007/BF03037079zbMath0635.68110MaRDI QIDQ1097720

H. Yamauchi, Setsuo Ohsuga

Publication date: 1985

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

knowledge representationinference ruleproblem solvingknowledge processing systemmulti-layer logictheorem-proving method

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05)

Related Items (1)

A hybrid approach to rule discovery in databases

Uses Software

• Smalltalk

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multi-layer logic - a predicate logic including data structure as knowledge representation language