Login / Signup
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk).
Frank Wolter
Published in:
SOQE@KR (2021)
Keyphrases
</>
invited talk
high level
information retrieval
higher level
knowledge discovery and data mining
database
fixed point
selected papers
carefully reviewed and selected from submissions
decision making
expert systems
low level
recent advances
book presents
interpolation methods