„Logic Programming“

Suchergebnisse

2.836 Treffer

• Choquet Capacities and Fuzzy Integrals
  Beliakov, Gleb ; James, Simon ; Wu, Jian-Zhang 2026 Springer Nature Switzerland, Imprint: Springer
• Ethische KI in der Praxis. Die 7 Säulen und 33 Sprichwörter für KI-Werte-Leitlinien in Unternehmen
  Giannakoudi, Martha 2025 Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg
• Naming and Logic: Programming Essentials with Wisp – From your first define to deploying your application
  Babenhauserheide, Arne 2025 epubli
• Preface
  Geske, Ulrich ; Wolf, Armin 2010 Universität Potsdam
• Hardware/Software Co-Verification Using the SystemVerilog DPI
  Freitas, Arthur ; Hardt, Wolfram 2007 Universitätsbibliothek Chemnitz
• Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems
  Zinn, Claus 2015 Bibliothek der Universität Konstanz
• Reasoning About Time in DatalogMTL: Course Notes (Invited Paper)
  Wałęga, Przemysław Andrzej 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modern Datalog: Concepts, Methods, Applications (Invited Paper)
  Krötzsch, Markus 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Kiel Declarative Programming Days 2013 – 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and 27th Workshop on Logic Programming (WLP 2013) ; papers presented at the Kiel Declarative Programming Days held during September 11-13, 2013 in Kiel, Germany
  2013 Universitätsbibliothek Kiel
• Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats
  Vill, Stefan 2025 Universität Ulm
• From Logic Programming to Human Reasoning: How to be Artificially Human
  Dietz Saldanha, Emmanuelle-Anna
• From Logic Programming to Human Reasoning: – How to be Artificially Human
  Dietz Saldanha, Emmanuelle-Anna ; Hölldobler, Steffen ; Kakas, Antonis ; Pereira, Luís Moniz 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Integration of Prolog and Java with the Connector Architecture CAPJa
  Ostermayer, Ludwig ; Seipel, Dietmar ; Nalepa, Grzegorz Jacek 2017 Universität Würzburg
• A Comprehensive Knowledge Base for Context-Aware Tactical Driver Assistance Systems
  Fuchs, Simone 2009 Shaker
• Rigorous State-Based Methods – 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
  Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael ; Riccobene, Elvinia ; Scandurra, Patrizia 2024 Springer Nature Switzerland, Imprint: Springer
• Verification of business rules programs – = Verifikation von Geschäftsregel-Programmen
  Berstel-Da Silva, Bruno ; Podelski, Andreas 2012 Universität
• Spanning cactus and spanning cactus extension of outerplanar graphs
  Debnath, Chinmay ; Datta, Alak Kumar
• Programming higher-order receptor clustering driven by DNA logic circuits for precise and efficient cell behavior modulation
  Wu, Yuchen ; Qi, Lanlin ; Zhang, Bin ; He, Hui ; Chen, Mingjian ; Liu, Lamei ; Zhou, Yan ; He, Lin ; Zhang, Min ; Wang, Kemin ; Wang, Hong-Hui ; He, Xiaoxiao
• Shortest characteristic factors of a deterministic finite automaton and computing its positive position run by pattern set matching
  Janoušek, Jan ; Plachý, Štěpán
• Parameterized lower bounds for the weighted vertex cover problem in trees
  Wojciechowski, P. ; Subramani, K.