conftrace_

automata technique

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

inverse role (1) query conservativity (1) 2exptime complexity (1) horn logic (1) temporal equilibrium logic (1) linear-time temporal logic (1) conservative extension (1) horn description logic (1) temporal operator (1) linear temporal logic (1)

Papers

On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017