„Logic Programming“

Suchergebnisse

2.836 Treffer

• 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
• Logic for Programming, Artificial Intelligence, and Reasoning – 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
  Baader, Franz 2005 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  Bjørner, Nikolaj ; Voronkov, Andrei 2010 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
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Computational Logic in Multi-Agent Systems – 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
  Leite, João ; Torroni, Paolo ; Ågotnes, Thomas ; Boella, Guido ; Torre, Leon van der 2010 Springer Berlin Heidelberg
• Current Trends in Web Engineering – 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
  Daniel, Florian ; Facca, Federico Michele 2010 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Inductive Logic Programming – 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings
  Camacho, Rui 2004 Springer Berlin Heidelberg
• Logic Programming – 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
  Demoen, Bart 2004 Springer Berlin Heidelberg
• Agents and Artificial Intelligence – International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers
  Filipe, Joaquim ; Fred, Ana ; Sharp, Bernadette 2010 Springer Berlin Heidelberg
• Computational Logic in Multi-Agent Systems – 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
  Dix, Jürgen ; Fisher, Michael ; Novák, Peter 2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  Rocha, Ricardo ; Launchbury, John 2005 Springer Berlin Heidelberg
• Inductive Logic Programming – 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
  De Raedt, Luc 2010 Springer Berlin Heidelberg