„Logic Programming“

Suchergebnisse

2.836 Treffer

• Learning Effect Axioms via Probabilistic Logic Programming
  Schwitter, Rolf 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Versioning Checking in a Declarative Package Manager
  Hanus, Michael 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)
  Codish, Michael ; Frank, Michael ; Metodi, Amit ; Muslimany, Morad 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
  Cattafi, Massimiliano ; Herrero, Rosa ; Gavanelli, Marco ; Nonato, Maddalena ; Malucelli, Federico 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Methods for Solving Extremal Problems in Practice
  Frank, Michael 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Functional Perspective on Advanced Logic Programming
  Vandenbroucke, Alexander 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Expressiveness of Spatial Constraint Systems
  Guzmán, Michell ; Valencia, Frank D. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
  Dundua, Besik ; Kutsia, Temur ; Reisenberger-Hagmayer, Klaus 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Or-Parallel Prolog Execution on Clusters of Multicores
  Santos, João ; Rocha, Ricardo 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Predicate Invention in Inductive Logic Programming
  Athakravi, Duangtida ; Broda, Krysia ; Russo, Alessandra 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Predicated WCET Analysis
  Marref, Amine ; Bernat, Guillem 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)
  Cropper, Andrew ; De Raedt, Luc ; Evans, Richard ; Schmid, Ute
• Logic and Learning (Dagstuhl Seminar 19361)
  Benedikt, Michael ; Kersting, Kristian ; Kolaitis, Phokion G. ; Neider, Daniel
• The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
  Hunter, Anthony ; Kern-Isberner, Gabriele ; Meyer, Thomas ; Wassermann, Renata
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Simple Type Theory – A Practical Logic for Expressing and Reasoning About Mathematical Ideas
  Farmer, William M. 2025 Springer Nature Switzerland, Imprint: Birkhäuser
• Raising Young Coders – A Parent’s Guide to Teaching Programming at Home
  Chin, Cassandra 2025 Apress, Imprint: Apress
• Principles of Rule-Based Programming
  Frühwirth, Thom 2025 BoD – Books on Demand
• Combinatorial meshing for mechanical FEM
  Stromberg, Henrik 2023 Papierflieger Verlag GmbH
• A method to solve linear programming problem with interval type-2 fuzzy parameters
  Kundu, Pradip ; Majumder, Saibal ; Kar, Samarjit ; Maiti, Manoranjan