Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Book title Buchtitel
Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
 
ISBN
9783319487571
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer Cham
 
DOI
10.1007/978-3-319-48758-8
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
10021
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rebola-Pardo Adrian - 2016 - DRAT proofs for XOR reasoning.pdf.jpgPhilipp, Tobias ; Rebola-Pardo, Adrian DRAT proofs for XOR reasoningInproceedings Konferenzbeitrag 2016
2Eiter Thomas - 2016 - Exploiting Contextual Knowledge for Hybrid Classification...pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Exploiting Contextual Knowledge for Hybrid Classification of Visual ObjectsInproceedings Konferenzbeitrag 2016
3Saribatur Zeynep Goezen - 2016 - Reactive Policies with Planning for Action...pdf.jpgSaribatur Yaman, Zeynep Gözen ; Eiter, Thomas Reactive Policies with Planning for Action LanguagesInproceedings Konferenzbeitrag 2016