Login / Signup
A lightweight approach to nontermination inference using Constrained Horn Clauses.
Bishoksan Kafle
Graeme Gange
Peter Schachte
Harald Søndergaard
Peter J. Stuckey
Published in:
Softw. Syst. Model. (2024)
Keyphrases
</>
lightweight
horn clauses
inference rules
first order logic
logic programs
database queries
inductive logic programming
wireless sensor networks
dos attacks
function symbols
databases
feature selection
bayesian networks
probability distribution
handheld devices
development environments