„(Keywords)Logic programming“

Suchergebnisse

1.000+ Treffer

• 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
• 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
• 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
• Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Hofmann, Martin 2011 Springer Berlin Heidelberg
• Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
  Larrosa, Javier ; O'Sullivan, Barry 2011 Springer Berlin Heidelberg
• Agents and Artificial Intelligence – Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Control, Computation and Information Systems – First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
  Balasubramaniam, Ponnuswamy 2011 Springer Berlin Heidelberg
• DNA Computing and Molecular Programming – 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers
  Sakakibara, Yasubumi ; Mi, Yongli 2011 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Sassone, Vladimiro 2005 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg