„Logic Programming“

Suchergebnisse

2.836 Treffer

• Generating a data structure for goal directed forward chaining in logic programming
  Burgard, Wolfram 1989 Dekanat Informatik, Univ.
• Logic programming with type specifications
  Hanus, Michael 1989 Dekanat Informatik, Univ.
• Parametric order sorted types in logic programming
  Hanus, Michael 1991 Abt. Informatik, Univ.
• Multiparadigm constraint programming languages
  Hofstedt, Petra 2011 Springer
• Special Issue on Quantum Physics and Logic
  Hasuo, Ichiro ; Panangaden, Prakash
• Current trends in Web engineering – revised selected papers
  Daniel, Florian ; Facca, Federico Michele 2010 Springer
• Computational logic in multi-agent systems – 10th international workshop ; revised selected and invited papers
  Dix, Jürgen ; Fisher, Michael ; Novák, Peter 2010 Springer
• Genetic programming for QoS-aware web service composition and selection
  Silva, Alexandre Sawczuk da ; Ma, Hui ; Zhang, Mengjie
• Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
  Bresolin, Davide ; Sciavicco, Guido
• Critical factors in the evolution of logic programming and Prolog
  Darby-Dowman, K. ; Little, J.
• Algebraic Methodology and Software Technology – 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  Johnson, Michael ; Pavlović, Dus̆ko 2004 Springer Berlin Heidelberg
• The logic programming language LOP
  Letz, Reinhold 1989 Inst. für Informatik
• Classical negation in logic programming
  Letz, Reinhold 1989 Inst. für Informatik
• Integration of functional and logic programming – 18. - 22.3.1991 (9112)
  Apt, Krzysztof R. 1991 Geschäftsstelle Schloss Dagstuhl
• Logic for programming, artificial intelligence, and reasoning – 17th international conference ; proceedings
  Fermüller, Christian G. 2010 Springer
• ESPRIT project 973 ALPES – a programming environment for logic programming
  Fronhöfer, Bertram ; Furbach, Ulrich 1989 Inst. für Informatik
• Equations, order-sortedness and inheritance in logic programming
  Furbach, Ulrich ; Hölldobler, Steffen 1989 Inst. für Informatik
• Global variables in logic programming
  Letz, Reinhold ; Schumann, Johann 1988 Inst. für Informatik
• Sorts are nothing but functions – an equational approach to sorts for logic programming
  Conrad, Thierry ; Furbach, Ulrich 1988 Inst. für Informatik
• Inducing Domain Theories – Using Inductive Logic Programming to Learn Domain Specific Knowledge in the Form of Rules
  Liakata, Maria 2010 VDM Verlag Dr. Müller