|
|
總筆數:94
| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Inductive logic programming:25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / |
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto. |
2016 |
查看
|
回報問題連結 |
| Rule technologies:research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings / |
Jose Julio Alferes ... [et al.]. |
2016 |
查看
|
回報問題連結 |
| Logic programming and nonmonotonic reasoning:13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / |
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. |
2015 |
查看
|
回報問題連結 |
| Modeling with rules using semantic knowledge engineering |
Grzegorz J. Nalepa. |
2018 |
查看
|
回報問題連結 |
| Rule technologies ::foundations, tools, and applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015 : proceedings / |
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman. |
|
查看
|
回報問題連結 |
| Logic programming and nonmonotonic reasoning :15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings / |
Marcello Balduccini, Yuliya Lierler, Stefan Woltran. |
|
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation :29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / |
Maurizio Gabbrielli. |
|
查看
|
回報問題連結 |
| Inductive logic programming :32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings / |
Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese. |
|
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation :26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / |
Manuel V Hermenegildo, Pedro Lopez-Garcia. |
|
查看
|
回報問題連結 |
| Inductive logic programming :26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers / |
James Cussens, Alessandra Russo. |
|
查看
|
回報問題連結 |
| Rules and reasoning :International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings / |
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman. |
|
查看
|
回報問題連結 |
| Logic programming and nonmonotonic reasoning :14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings / |
Marcello Balduccini, Tomi Janhunen. |
|
查看
|
回報問題連結 |
| Recent Advances in Constraints:joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / |
Boi Faltings ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Logic for Programming, Artificial Intelligence, and Reasoning:11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / |
Franz Baader, Andrei Voronkov. |
2005 |
查看
|
回報問題連結 |
| Declarative Agent Languages and Technologies II:Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / |
Joao Leite ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Inductive Logic Programming:15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / |
Stefan Kramer, Bernhard Pfahringer. |
2005 |
查看
|
回報問題連結 |
|
|
|
