Advances in Artificial Intelligence – SBIA 2004

DOI10.1007/b100195zbMath1105.68340OpenAlexW2487701457MaRDI QIDQ5311225

Manuel Enciso, Ángel Mora, Pablo Cordero, G. Aguilera, Inma P. de Guzmán

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100195

zbMATH Keywords

ReasoningKnowledge RepresentationRedundancy RemovalRewriting Logic

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (2)

Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ Derivation digraphs for dependencies in ordinal and similarity-based data

Uses Software

• Maude

This page was built for publication: Advances in Artificial Intelligence – SBIA 2004