Notions of knowledge in combinations of theories sharing constructors
From MaRDI portal
Publication:2405240
DOI10.1007/978-3-319-63046-5_5zbMath1494.68035OpenAlexW2735210188MaRDI QIDQ2405240
Andrew M. Marshall, Serdar Erbatur, Christophe Ringeissen
Publication date: 22 September 2017
Full work available at URL: https://hal.inria.fr/hal-01587181/file/combi-know.pdf
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Grammars and rewriting systems (68Q42) Computer security (68M25)
Related Items (3)
Non-disjoint combined unification and closure by equational paramodulation ⋮ Computing knowledge in equational extensions of subterm convergent theories ⋮ Terminating non-disjoint combined unification
This page was built for publication: Notions of knowledge in combinations of theories sharing constructors
