A SAT-based Approach for Argumentation Dynamics.

Jean-Marie Lagniez Emmanuel Lonca Jean-Guy Mailly

Published in: AAMAS (2024)

Keyphrases

sat solvers
dynamical systems
satisfiability problem
search algorithm
search strategies
dynamic model
evidential reasoning
constraint satisfaction
argumentation systems
sat solving
boolean satisfiability
agent communication
highly nonlinear
propositional satisfiability
legal reasoning
logic programming
lower bound