Syntax versus semantics in knowledge bases II

DOI10.1090/conm/726/14607OpenAlexW2924209567MaRDI QIDQ5239105

E. V. Aladova, Tatjana Plotkin

Publication date: 22 October 2019

Published in: Groups, Algebras and Identities (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/conm/726/14607

Mathematics Subject Classification ID

Knowledge representation (68T30) Applications of universal algebra in computer science (08A70)

Related Items (2)

Logically automorphically equivalent knowledge bases models ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Multi-sorted logic, models, and logical geometry.
• Isotyped algebras
• Multi-sorted logic and logical geometry: some problems.
• Algebraic geometry in first-order logic
• Model theory
• Automorphisms of the category of free Lie algebras
• Geometrical aspect of databases and knowledge bases.
• Isotypeness of models and knowledge bases equivalence
• An algebraic approach to knowledge base models informational equivalence
• Syntax versus semantics in knowledge bases – I
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntax versus semantics in knowledge bases II