conftrace_

model theory

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge representation (2) reconstruction function (1) story coherence (1) computational narratology (1) ontology approximation (1) logical language (1) horn logic (1) tuple-generating dependencies (1) labeled transition system (1) redundant operator (1)

Papers

Endomorphisms of Classical Planning Tasks AAAI 2021 Towards a Model-Theoretic View of Narratives NAACL 2021 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 Ontology Approximation in Horn Description Logics IJCAI 2019 Honest Compressions and Their Application to Compression Schemes COLT 2013