„Logic Programming“

Suchergebnisse

1.000+ Treffer

• Logics and Type Systems in Theory and Practice – Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
  Capretta, Venanzio ; Krebbers, Robbert ; Wiedijk, Freek 2024 Springer Nature Switzerland, Imprint: Springer
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• Data reduction for directed feedback vertex set on graphs without long induced cycles – Three rules to rule them all
  Dirks, Jona ; Gerhard, Enna ; Grobler, Mario ; Mouawad, Amer E. ; Siebertz, Sebastian
• Home energy system: optimal design via risk-averse stochastic programming
  Beraldi, Patrizia ; Violi, Antonio ; Laganá, Demetrio ; Carrozzino, Gianluca
• Elements for Weighted Answer-Set Programming
  Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; Abreu, Salvador 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Simple Complete Search for Logic Programming
  Hemann, Jason ; Friedman, Daniel P. ; Byrd, William E. ; Might, Matthew 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The temporal logic of branching time
  Ben-Arî, Môtî ; Pnueli, Amir ; Manna, Zohar
• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• Null values in nested relational databases
  Roth, Mark A. ; Korth, Henry F. ; Silberschatz, Abraham
• On the Use of Types in Logic Programming
  Meyer, Gregor 2017 FernUniversität in Hagen
• Optimization of electricity consumption in office buildings based on adaptive dynamic programming
  Shi, Guang ; Wei, Qinglai ; Liu, Derong
• Emergency vehicle route oriented signal coordinated control model with two-level programming
  Yao, Jiao ; Zhang, Kaimin ; Yang, Yuanyuan ; Wang, Jin
• Implementation issues in Inductive Logic Programming
  Kolter, Robert 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
  Bohy, Aaron ; Bruyère, Véronique ; Raskin, Jean-François ; Bertrand, Nathalie
• Distance-based nonlinear programming models to identify and adjust inconsistencies for linguistic preference relations
  Xu, Yejun ; Wei, Cuiping ; Sun, Hao
• Logic formulas in models
  Gray, Jeff ; Rumpe, Bernhard
• Neuromorphic Computing: Designed Memristor Circuit for Self‐Limited Analog Switching and its Application to a Memristive Neural Network (Adv. Electron. Mater. 6/2019)
  Song, Hanchan ; Kim, Young Seok ; Park, Juseong ; Kim, Kyung Min
• A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models
  Bernardes, Juliana S. ; Carbone, Alessandra ; Zaverucha, Gerson
• Binary search trees of almost optimal height
  Andersson, Arne ; Icking, Christian ; Klein, Rolf ; Ottmann, Thomas