Login / Signup
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