Exploring ILASP Through Logic Puzzles Modelling.

Talissa Dreossi

Published in: CILC (2023)

Keyphrases

constraint satisfaction
logic programming
classical logic
information systems
defeasible logic
causal reasoning
predicate logic
data sets
case study
bayesian networks
modal logic
epistemic logic
proof theory