Large theory reasoning with SUMO at CASC

DOI10.3233/AIC-2010-0466zbMath1344.68229OpenAlexW1751603136MaRDI QIDQ3568226

Steven Trac, Adam Pease, Nick Siegel, Geoff Sutcliffe

Publication date: 17 June 2010

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-2010-0466

zbMATH Keywords

automated reasoningcommonsense reasoninglarge theories

Mathematics Subject Classification ID

Related Items (2)

A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) ⋮ Choosing a logic to represent the semantics of natural language

Uses Software

• VAMPIRE
• TPTP
• Metis_
• Mace4
• E Theorem Prover
• MaLARea

This page was built for publication: Large theory reasoning with SUMO at CASC