Proceedings of the 23rd International Joint Conference on Artificial Intelligence

Book title Buchtitel
Proceedings of the 23rd International Joint Conference on Artificial Intelligence
 
Publisher Herausgeber
AAAI Press
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2013
2Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan ; Rossi, Francesca Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Konferenzbeitrag Inproceedings 2013