Hybrid reasoning using universal attachment

DOI10.1016/0004-3702(94)90056-6zbMath0814.68118OpenAlexW1977575686MaRDI QIDQ1329365

Karen L. Myers

Publication date: 4 July 1994

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90056-6

zbMATH Keywords

hybrid systemsdata structureshybrid reasoningreasoning techniques

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Vivid: a framework for heterogeneous problem solving

Uses Software

• Hyperproof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematical extensibility for theorem verifiers and proof-checkers
• Prolegomena to a theory of mechanized formal reasoning
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Automated deduction by theory resolution
• Login: a logic programming language with built-in inheritance
• Equality and Domain Closure in First-Order Databases
• Algorithm = logic + control