„logic programming“

Suchergebnisse

2.836 Treffer

• Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
  Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
• Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
  Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer Berlin Heidelberg
• Functional and Logic Programming – 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  Schrijvers, Tom ; Thiemann, Peter 2012 Springer Berlin Heidelberg
• Logic of Programming and Calculi of Discrete Design – International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  Broy, Manfred 1987 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Argumentation in Multi-Agent Systems – 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers
  McBurney, Peter ; Rahwan, Iyad ; Parsons, Simon 2011 Springer Berlin Heidelberg
• Datalog Reloaded – First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  Moor, Oege ˜deœ ; Gottlob, Georg ; Furche, Tim ; Sellers, Andrew 2011 Springer Berlin Heidelberg
• Programming Languages and Systems – 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  Seidl, Helmut 2011 Springer Berlin Heidelberg
• Database Theory and Application, Bio-Science and Bio-Technology – International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Cuzzocrea, Alfredo ; Arslan, Tughrul ; Zhang, Yanchun ; Ma, Jianhua ; Chung, Kyo-il ; Mariyam, Siti ; Song, Xiaofeng 2011 Springer Berlin Heidelberg
• Automated Deduction in Geometry – 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer Berlin Heidelberg
• Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
• Computational Logic in Multi-Agent Systems – 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Principles and Practice of Constraint Programming – CP 2011 – 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  Lee, Jimmy 2011 Springer Berlin Heidelberg
• Logic programming – 21st international conference ; proceedings
  Gabbrielli, Maurizio 2005 Springer
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg
• Inductive Logic Programming – 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
  Frasconi, Paolo ; Lisi, Francesca A. 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Logic Programming and Nonmonotonic Reasoning – 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
  Delgrande, James P. ; Faber, Wolfgang 2011 Springer Berlin Heidelberg
• Model Checking and Artificial Intelligence – 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer Berlin Heidelberg
• Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg