Static Analysis of Logic Programs via Boolean Networks.

Van-Giang Trinh Belaid Benhamou

Published in: CoRR (2024)

Keyphrases

boolean networks
static analysis
logic programs
logic programming
dynamic analysis
source code
answer sets
stable models
answer set programming
fixpoint
inductive logic programming
normal logic programs
regular expressions
knowledge base
data sets
open source
data warehouse
high level