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
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan ; Rossi, Francesca | Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? | Konferenzbeitrag Inproceedings | 2013 |