„Logic Programming“

Suchergebnisse

2.836 Treffer

• Proceedings / 12th Mexican International Conference on Artificial Intelligence
  2013 Springer
• Computational logic: logic programming and beyond
  2002 Springer
• Computational logic: logic programming and beyond
  2002 Springer
• Inductive logic programming – 12th international conference ; revised papers
  Matwin, Stan 2003 Springer
• The Deductive Spreadsheet
  Cervesato, Iliano 2013 Springer Berlin Heidelberg
• Logic for programming, artificial intelligence, and reasoning – 9th international conference ; proceedings
  Baaz, Matthias 2002 Springer
• Functional and logic programming – 6th international symposium ; proceedings
  Hu, Zhenjiang 2002 Springer
• Logic programming – 18th international conference ; proceedings
  Stuckey, Peter J. 2002 Springer
• Probabilistic logic programming under maximum entropy
  Lukasiewicz, Thomas ; Kern-Isberner, Gabriele 1999 IFIG
• Probabilistic and truth-functional many-valued logic programming
  Lukasiewicz, Thomas 1998 IFIG
• Induction Motor Speed Control Technique Using Intelligent Methods – Intelligent control methods such as FLC,ANN,ANFIS and Optimization control Techniques such as GA,SQP,PSO
  Saif Ghith, Ehab ; Mohamed Eissa, Moustafa ; S. Virk, Gurvinder 2013 LAP LAMBERT Academic Publishing
• Progress in artificial intelligence – knowledge extraction, multi-agent systems, logic programming, and constraint solving ; proceedings
  Brazdil, Pavel B. 2001 Springer
• Logic for programming, artificial intelligence, and reasoning – 8th international conference ; proceedings
  Nieuwenhuis, Robert 2001 Springer
• Logic programming – 17th international conference ; proceedings
  Codognet, Philippe 2001 Springer
• Models of Computation
  Bruni, Roberto ; Montanari, Ugo 2017 Springer International Publishing
• Logic programming and nonmonotonic reasoning – 6th international conference ; proceedings
  Eiter, Thomas 2001 Springer
• Counterexample generation for higher-order logic using functional and logic programming
  Bulwahn, Lukas
• Inductive logic programming – 11th international conference ; proceedings
  Rouveirol, Celine 2001 Springer
• Formal aspects of computing – essays dedicated to Derrick Kourie on the occasion of his 65th birthday
  Gruner, Stefan ; Kourie, Derrick ; Watson, Bruce 2013 Shaker
• On transactions in logic programming languages
  Böttcher, Stefan 1991 Universitätsbibliothek