Completing sort hierarchies

DOI10.1016/0898-1221(92)90119-3zbMATH Open0794.68138OpenAlexW2074609134MaRDI QIDQ1202662FDOQ1202662

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Automated deduction by theory resolution
• Login: a logic programming language with built-in inheritance
• A more expressive formulation of many sorted logic
• An order-sorted logic for knowledge representation systems
• Problem corner: The Lion and the Unicorn

Cited In (3)

• An order-sorted resolution in theory and practice
• Title not available (Why is that?)
• Exploiting lattices in a theory of space and time

This page was built for publication: Completing sort hierarchies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202662)