Category: Asyncronous News

ICCMA’17 Call for Solvers

┬áSecond International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…

SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON COMPUTATIONAL LOGIC FOR VERIFICATION

The last decade has witnessed a growing interest in the use of computational logic methods for program validation and verification. For instance, verification problems for imperative and object oriented languages can be expressed using Constraint Logic Programming (CLP) and related…

CP 2016 in Toulouse

The International Conference on Principles and Practice of Constraint Programming will take place in Toulouse, France, from September 5th – 9th 2016. This is the 22nd edition of the annual conference on all aspects of computing with constraints, including: theory,…

CFP: Special Issue of TPLP

SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON
NEW TRENDS OF CONSTRAINT LOGIC PROGRAMMING, guest editor Agostino Dovier