„Logic Programming“

Suchergebnisse

2.836 Treffer

• Discovering dynamics: From inductive logic programming to machine discovery
  Dzeroski, Saso ; Todorovski, Ljupco
• Editorial 2023: changes and invariants
  Fernau, Henning
• The second step in characterizing a three-word code
  Cao, Chunhua ; Xu, Jiao ; Liao, Lei ; Yang, Di ; Jia, Guichuan ; Du, Qian
• Enumeration of All Possibly Optimal Vertices with Possible Optimality Degrees in Linear Programming Problems with a Possibilistic Objective Function
  Inuiguchi, Masahiro
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
  Baral, Chitta R. ; Subrahmanian, V. S.
• Tableaux for logic programming
  Fitting, Melvin
• Transactions on Petri Nets and Other Models of Concurrency XVII
  Koutny, Maciej ; Bergenthum, Robin ; Ciardo, Gianfranco 2024 Springer Nature Switzerland
• A decision procedure for string constraints with string/integer conversion and flat regular constraints
  Wu, Hao ; Chen, Yu-Fang ; Wu, Zhilin ; Xia, Bican ; Zhan, Naijun
• Optimizing bi-objective solid transportation problem using hierarchical order goal programming technique: a case study problem
  Prathyusha, G. ; Udaya Kumara, K. N. ; Vatsala, G. A.
• Families of automata characterizing context-sensitive languages
  Morvan, Christophe ; Rispal, Chloé
• Autoepistemic logic programming
  Bonatti, Piero A.
• Implementing tactics and tacticals in a higher-order logic programming language
  Felty, Amy
• Autoepistemic circumscription and logic programming
  Yuan, Li Yan ; You, Jia-Huai
• Fixed point theorems in logic programming
  Khamsi, Mohamed A. ; Misane, Driss
• Logic programming and software maintenance
  Cooke, Daniel ; Luqi
• Fast allocation and deallocation with an improved buddy system
  Brodal, Gerth Stølting ; Demaine, Erik D. ; Munro, J. Ian
• On functional logic programming and its application to testing
  Fischer, Sebastian
• A novel robust probabilistic chance constrained programming and strategic analysis for Agri-food closed-loop supply chain under pandemic crisis
  Rahbari, Misagh ; Arshadi Khamseh, Alireza ; Mohammadi, Mohammad
• Logic programming as quantum measurement
  Zapatrin, Roman R.
• Two notions of correctness and their relation to testing
  Budd, Timothy A. ; Angluin, Dana