By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
Bound Founded Answer Set Programming
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
CFP: AI*IA 2015
AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence, Ferrara September 23-25, 2015 http://aixia2015.unife.it AI*IA 2015 is the fourteenth International Conference on Advances in Artificial Intelligence held bi-annually by the Italian Association for Artificial Intelligence (AI*IA). Topics…
CFP: Ontologies and Logic Programming for Query Answering
By Torsten Schaub
University of Potsdam
Germany
CFP: Hybrid Reasoning Workshop
By Torsten Schaub,
University of Potsdam
Germany