Type theoretic semantics for SemNet

DOI10.1007/3-540-61313-7_102zbMath1419.68149OpenAlexW1604059784MaRDI QIDQ4632324

No author found.

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_102

zbMATH Keywords

formal semanticstype theoryproof assistantsemantic networkreasoning mechanism

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• Coq
• Nuprl
• ALF
• LEGO

Cites Work

• Combinatory logic. With two sections by William Craig.
• The calculus of constructions
• The KL-ONE family
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item