C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Program Verification with Constrained Horn Clauses (Invited Paper).
Arie Gurfinkel
Published in:
CAV (1) (2022)
Keyphrases
</>
invited paper
horn clauses
inference rules
first order logic
logic programs
inductive logic programming
database queries
lecture notes
artificial intelligence
knowledge base
real world
information retrieval
artificial neural networks
fuzzy logic