|
|
總筆數:94
| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Inductive Logic Programming:15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / |
Stefan Kramer, Bernhard Pfahringer. |
2005 |
查看
|
回報問題連結 |
| Logic for Programming, Artificial Intelligence, and Reasoning ::12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings |
Geoff Sutcliffe, Andrei Voronkov. |
2005 |
查看
|
回報問題連結 |
| Inductive Logic Programming:17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / |
Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli. |
2008 |
查看
|
回報問題連結 |
| Inductive logic programming :31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022 : proceedings / |
Stephen H. Muggleton, Alireza Tamaddoni-Nezhad. |
|
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / |
Fabio Fioravanti, John P. Gallagher. |
2018 |
查看
|
回報問題連結 |
| Declarative programming and knowledge management:Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / |
Dietmar Seipel, Michael Hanus, Salvador Abreu. |
2018 |
查看
|
回報問題連結 |
| Inductive logic programming:24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / |
Jesse Davis, Jan Ramon. |
2015 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / |
Moreno Falaschi. |
2015 |
查看
|
回報問題連結 |
| Logic Programming with Prolog |
Max Bramer. |
2005 |
查看
|
回報問題連結 |
| Inductive logic programming:19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / |
Luc Raedt. |
2010 |
查看
|
回報問題連結 |
| Logic for programming, artificial intelligence, and reasoning:17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / |
Christian G. Fermuller, Andrei Voronkov. |
2010 |
查看
|
回報問題連結 |
| Logic for programming, artificial intelligence, and reasoning:16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / |
Edmund M. Clarke, Andrei Voronkov. |
2010 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation :33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / |
Robert Gluck, Bishoksan Kafle. |
|
查看
|
回報問題連結 |
| Inductive logic programming:27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers / |
Nicolas Lachiche, Christel Vrain. |
2018 |
查看
|
回報問題連結 |
| Inductive logic programming:28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018 : proceedings / |
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese. |
2018 |
查看
|
回報問題連結 |
| Inductive logic programming ::23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers / |
Gerson Zaverucha, Vitor Santos Costa, Aline Paes. |
|
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation ::24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / |
Maurizio Proietti, Hirohisa Seki. |
|
查看
|
回報問題連結 |
| Inductive Logic Programming:18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / |
Filip Zelezny, Nada Lavrac. |
2008 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / |
Andy King. |
2008 |
查看
|
回報問題連結 |
| Logic programming:24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / |
Maria Garcia de la Banda, Enrico Pontelli. |
2008 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers / |
Michael Hanus. |
2009 |
查看
|
回報問題連結 |
| Logic and integer programming |
H. Paul Williams. |
2009 |
查看
|
回報問題連結 |
| Logic for programming, artificial intelligence, and reasoning:15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / |
Iliano Cervesato, Helmut Veith, Andrei Voronkov. |
2008 |
查看
|
回報問題連結 |
| Logic-based program synthesis and transformation:20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / |
Maria Alpuente. |
2011 |
查看
|
回報問題連結 |
| Logic programming and nonmonotonic reasoning:11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / |
James P. Delgrande, Wolfgang Faber. |
2011 |
查看
|
回報問題連結 |
| Logic programming, knowledge representation, and nonmonotonic reasoning:essays dedicated to Michael Gelfond on the occasion of his 65th birthday / |
Marcello Balduccini, Tran Cao Son. |
2011 |
查看
|
回報問題連結 |
| Functional and constraint logic programming:19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / |
Julio Marino. |
2011 |
查看
|
回報問題連結 |
| Inductive logic programming:20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / |
Paolo Frasconi, Francesca A. Lisi. |
2011 |
查看
|
回報問題連結 |
| Inductive logic programming:14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / |
Rui Camacho, Ross King, Ashwin Srinivasan (eds.). |
2004 |
查看
|
回報問題連結 |
| Logic based program synthesis and transformation:13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / |
Maurice Bruynooghe (ed.). |
2004 |
查看
|
回報問題連結 |
| Logic programming:20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / |
Bart Demoen, Vladimir Lifschitz (eds.). |
2004 |
查看
|
回報問題連結 |
|
|
|
