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