2020
Proving Semantic Properties as First-Order Satisfiability (Extended Abstract)
IJCAI 2020poster
The semantics of computational systems (e.g., relational and knowledge data bases, query-answering systems, programming languages, etc.) can often be expressed as (the specification of) a logical theory Th. Queries, goals, and claims about the behavior or features of the system can be expressed as f…