scientific article; zbMATH DE number 1497752

zbMath0958.68171MaRDI QIDQ4499163

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reasoning systems

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Uses Software

• ACL2
• Theorema
• OMRS
• Nuprl
• LCF
• Analytica

Cites Work

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A Skeptic's approach to combining HOL and Maple
• Edinburgh LCF. A mechanized logic of computation
• The foundation of a generic theorem prover
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: