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…
Category: Asyncronous News
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…
CFP: Logic-Based Program Synthesis and Transformation – LOPSTR 2016
By Pedro Lopez and Manuel Hermenegildo
IMDEA, Spain
CFP: Workshop on Constraints and Language Processing
By Veronica Dahl,
Simon Fraser University, Canada
Doctoral Scholarship in Multi-agent Systems for On-Line Privacy
PhD position on Multi-agent Systems for On-Line Privacy in London
Masters in Cognitive Systems: Human – Computer Symbiosis
by Tony Kakas,
University of Cyprus
CFP: Workshop on Knowledge-based techniques for problem solving and reasoning
By E. Pontelli
New Mexico State University
USA
RuleML 2016 in Stony Brook
Communicated by Paul Fodor
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