An order-sorted resolution in theory and practice

DOI10.1016/S0304-3975(97)00051-0zbMath0901.68041OpenAlexW1989874500MaRDI QIDQ1390960

Trudy Weibel

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00051-0

zbMATH Keywords

sort systems

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items (2)

Resolution for label-based formulas in hierarchical representation ⋮ Order-sorted logic programming with predicate hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• An order-sorted logic for knowledge representation systems
• Completing sort hierarchies
• Computational aspects of an order-sorted logic with term declarations
• A Machine-Oriented Logic Based on the Resolution Principle
• Logic of many-sorted theories

This page was built for publication: An order-sorted resolution in theory and practice