STL: Surprisingly Tricky Logic (for System Validation).

Ho Chit Siu Kevin Leahy Makai Mann

Published in: IROS (2023)

Keyphrases

classical logic
logic programming
data sets
automated reasoning
information retrieval
multi valued
modal logic
sound and complete axiomatization
model validation
formal theory
computational properties
theorem proving
database
database systems
case study
knowledge base
real world
real time