Abstract argumentation theory proposes methods to represent and deal with contentious
information, and to draw conclusions or take decision from it. Such an abstract approach …

This Open Access book explores the dilemma-like stalemate between security and
regulatory compliance in business processes on the one hand and business continuity and …

We show how Support vector machines (SVM) can be applied to the Satisfiability (SAT)
problem and how their prediction results can be naturally applied to both incomplete and …

Constraint Programming (CP) allows solving combinatorial problems across various
domains. Numerous solvers and tools have been developed in this area. However, their …

This research focuses on problem-solving using logical models, aiming to efficiently solve a
variety of well-known puzzles and games that are known for their challenging nature. The …

This research focuses on problem-solving using logical models, aiming to efficiently solve a
variety of well-known puzzles and games that are known for their challenging nature. The …