Completing sort hierarchies

DOI10.1016/0898-1221(92)90119-3zbMath0794.68138OpenAlexW2074609134MaRDI QIDQ1202662

Anthony G. Cohn

Publication date: 14 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90119-3

zbMATH Keywords

resolution theorem provingmany sorted logicsort hierarchy

Mathematics Subject Classification ID

Searching and sorting (68P10) Logic in artificial intelligence (68T27)

Related Items (2)

An order-sorted resolution in theory and practice ⋮ Exploiting lattices in a theory of space and time

Cites Work

• A mechanical solution of Schubert's steamroller by many-sorted resolution
• A more expressive formulation of many sorted logic
• An order-sorted logic for knowledge representation systems
• Automated deduction by theory resolution
• Problem corner: The Lion and the Unicorn
• Login: a logic programming language with built-in inheritance
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completing sort hierarchies