„Logic Programming“

Suchergebnisse

2.836 Treffer

• On integer linear programs for treewidth based on perfect elimination orderings (extended version)
  Mallach, Sven
• Reasoning over n-indexed sequences in SMT
  Ait-El-Hara, Hichem Rami ; Bobot, François ; Bury, Guillaume
• On the 3-tree core of plane graphs
  Mondal, Debajyoti ; Rahman, Md. Saidur
• Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
  Winter, Sarah ; Zimmermann, Martin
• Gray-box runtime enforcement of hyperproperties
  Hsu, Tzu-Han ; Oliveira da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo
• Preserving hyperproperties of programs using primitives with consensus number 2
  Attiya, Hagit ; Castañeda, Armando ; Enea, Constantin
• Novel tree-search method for synthesizing SMT strategies
  Lu, Zhengyang John ; Day, Joel ; Jha, Piyush ; Sarnighausen-Cahn, Paul ; Siemer, Stefan ; Manea, Florin ; Ganesh, Vijay
• Logics in Artificial Intelligence – 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
  Casini, Giovanni ; Dundua, Besik ; Kutsia, Temur 2026 Springer Nature Switzerland, Imprint: Springer
• Algorithmen für Ingenieure – Technische Realisierung mit Excel und VBA
  Nahrstedt, Harald 2025 Springer Vieweg
• A Web-based Front-end in J2EE Environment for a Programming Logic E-Learning Application
  Tran, Thanh Minh Tu ; Schmidt, Thomas ; Hotop, Hans-Jürgen 2008 Hochschule für Angewandte Wissenschaften Hamburg
• JavaCHR – A Modern CHR-Embedding in Java
  Wibiral, Tim 2022 Universität Ulm
• Correction to: Modeling PU learning using probabilistic logic programming
  Verreet, Victor ; Raedt, Luc De ; Bekker, Jessa
• Correction: Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms
  Chimani, Markus ; Ilsen, Max
• Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence
  Zhong, Shengyang
• Algorithmen für Ingenieure – Technische Realisierung mit Excel und VBA
  Nahrstedt, Harald 2018 Springer Fachmedien Wiesbaden
• Erratum
  Kouvatsos, Demetres D. ; Almond, John
• Erratum
  Kouvatsos, Demetres D. ; Almond, John
• Correction: Parameterized verification of leader/follower systems via first-order temporal logic
  Kourtis, G. ; Dixon, Clare ; Fisher, Michael ; Lisitsa, A.
• Naming and Logic – Programming Essentials with Scheme
  Babenhauserheide, Arne 2025 epubli
• Correction to: Adaptive Fuzzy-Logic Traffic Control Approach Based on Volunteer IoT Agent Mechanism
  Hewei, Guan ; Sadiq, Ali Safaa ; Taheir, Mohammed Adam