„constraint logic programming“

Suchergebnisse

1.000+ Treffer

• 19th Workshop on (Constraint) Logic Programming W(C)LP 2005
  Wolf, Armin ; Frühwirth, Thom ; Meister, Marc 2005 Universität Ulm. Fakultät für Informatik
• Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
  Comon, Hubert ; Ganzinger, Harald ; Kirchner, Claude ; Kirchner, Hélène ; Lassez, Jean-Louis ; Smolka, Gert 1992 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Logic Programming and Integer Programming approaches and their collaboration in solving an assignment scheduling problem
  Darby-Dowman, Ken ; Little, James ; Mitra, Gautam ; Zaffalon, Marco
• Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
  Seipel, Dietmar ; Förster, Benjamin ; Liebl, Magnus ; Waleska, Marcel ; Abreu, Salvador 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling mixed integer optimisation problems in constraint logic programming
  Barth, Peter ; Bockmayr, Alexander 1995 MPI Informatik, Bibliothek & Dokumentation
• Symbolische Simulation hybrider Systeme in constraint logic programming
  Riedewald, Günter 1995 Univ., Presse- und Informationsstelle, Wiss.-Publ.
• Symbolische Simulation hybrider Systeme in constraint logic programming
  Riedewald, Günter 1995 Univ., Presse- und Informationsstelle, Wiss.-Publ.
• A feature-based constraint system for logic programming with entailment
  Aït-Kaci, Hassan ; Podelski, Andreas ; Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A unified analytical foundation for constraint handling rules
  Betz, Hariolf 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Using weighted constraints to build a tutoring system for logic programming
  Le, Nguyen-Thinh ; Menzel, Wolfgang 2011 Staats- und Universitätsbibliothek Hamburg
• Recent advances in constraints – revised selected papers
  Oddi, Angelo 2009 Springer
• A Logic Programming Approach to Repairing SHACL Constraint Violations
  Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas
• Recent Advances in Constraints – Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
  O'Sullivan, Barry 2003 Springer Nature Switzerland
• Functional and Constraint Logic Programming – 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  Escobar, Santiago 2010 Springer International Publishing
• Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009
  Geske, Ulrich ; Wolf, Armin 2010 Universität Potsdam
• Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
  Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
• Applications of Declarative Programming and Knowledge Management – 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
  Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer Berlin Heidelberg