The ECO family

DOI10.1016/0898-1221(92)90138-8zbMath0800.68873OpenAlexW2020468519MaRDI QIDQ1202626

Nick Cercone, Stephanie Schaeffer, Randy Goebel, John de Haan

Publication date: 19 April 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90138-8

zbMATH Keywords

knowledge representationlanguagenatural languagessemantic networkenglish conversational system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Uses Software

• MACSYMA
• DENDRAL

Cites Work

• The preference semantics family
• GUS, a frame-driven dialog system
• Automated deduction by theory resolution
• Linguistics and natural logic
• General semantics
• Pragmatics and intensional logic
• D-Script: A Computational Theory of Descriptions
• Learning structural shape descriptions from examples
• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
• Transition network grammars for natural language analysis
• 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

This page was built for publication: The ECO family