„constraint logic programming“

Suchergebnisse

217 Treffer

• Constraint logic programming with a relational machine
  Gallego Arias, Emilio Jesús ; Lipton, James ; Mariño, Julio
• Recent advances in constraints – revised selected papers
  Larrosa, Javier ; O'Sullivan, Barry 2011 Springer
• Applications of Declarative Programming and Knowledge Management – 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
  Seipel, Dietmar 2005 Springer Berlin Heidelberg
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Multiparadigm constraint programming languages
  Hofstedt, Petra 2011 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
• 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
• Constraint Logic Programming approach to protein structure prediction
  Dal Palù, Alessandro ; Dovier, Agostino ; Fogolari, Federico
• Temporal logic programming and its relation to constraint logic programming
  Brzoska, Christoph 1990 Univ., Fak. für Informatik
• Using constraint logic programming for modeling and verifying hierarchical hybrid automata
  Mohammed, Ammar ; Stolzenburg, Frieder 2009 Inst. für Informatik
• Recent advances in constraints – revised selected papers
  Oddi, Angelo 2009 Springer
• Recent advances in constraints – revised selcted papers
  Fages, François 2008 Springer
• Recent advances in constraints – revised selected and invited papers
  Hnich, Brahim 2006 Springer
• PREDICTION OF BUILDING FLOORPLANS USING LOGICAL AND STOCHASTIC REASONING BASED ON SPARSE OBSERVATIONS
  Loch-Dehbi, S. ; Dehbi, Y. ; Gröger, G. ; Plümer, L.
• Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach
  Ali, Shaukat ; Iqbal, Muhammad Zohaib ; Khalid, Maham ; Arcuri, Andrea
• Multi-agent systems: modeling and verification using hybrid automata
  Mohammed, Ammar ; Furbach, Ulrich
• Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata
  Mohammed, Ammar ; Stolzenburg, Frieder