„Logic Programming“

Suchergebnisse

2.836 Treffer

• An Integrated Constraint-Logic and Object-Oriented Programming Language – The Münster Logic-Imperative Language
  Dageförde, Jan Christoph ; Kuchen, Herbert 2020 Universitäts- und Landesbibliothek Münster
• Minimum-cost capacitated fuzzy network, fuzzy linear programming formulation, and perspective data analytics to minimize the operations cost of American airlines
  Khan, Izaz Ullah ; Rafique, Faisal
• AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
  Ničković, Dejan ; Lebeltel, Olivier ; Maler, Oded ; Ferrère, Thomas ; Ulus, Dogan
• Reasoner = Logical Calculus + Rule Engine
  Carral, David ; Dragoste, Irina ; Krötzsch, Markus
• Performance and Security Evaluation of S-Box Using Current-Pass Optimized Symmetric Pass Gate Adiabatic Logic
  Koyasu, Hiroki ; Takahashi, Yasuhiro
• A hybrid fuzzy-stochastic multi-criteria ABC inventory classification using possibilistic chance-constrained programming
  Razavi Hajiagha, Seyed Hossein ; Daneshvar, Maryam ; Antuchevičienė, Jurgita
• Guest editors’ introduction: special issue on Inductive Logic Programming (ILP 2019)
  Kazakov, Dimitar ; Železný, Filip
• Guest editors’ introduction: special issue on Inductive Logic Programming (ILP 2019)
  Kazakov, Dimitar ; Železný, Filip
• Neutrosophic linear programming using possibilistic mean
  Khatter, Kiran
• Grammatically uniform population initialization for grammar-guided genetic programming
  Ramos Criado, Pablo ; Barrios Rolanía, D. ; Manrique, Daniel ; Serrano, Emilio
• Nichtsequentielle und Verteilte Programmierung mit Go – Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
  Maurer, Christian 2019 Springer Fachmedien Wiesbaden
• Nichtsequentielle und verteilte Programmierung mit Go – Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
  Maurer, Christian 2019 Springer Vieweg
• Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
  Mugnier, Marie-Laure
• Robust controller design for systems with probabilistic uncertain parameters using multi-objective genetic programming
  Mallipeddi, Rammohan ; Gholaminezhad, Iman ; Saeedi, Mohammad S. ; Assimi, Hirad ; Jamali, Ali
• Fuzzy-Logic Controlled Genetic Algorithm for the Rail-Freight Crew-Scheduling Problem
  Khmeleva, E. ; Hopgood, A. A. ; Tipi, L. ; Shahidan, M.
• Genetic programming for high-dimensional imbalanced classification with a new fitness function and program reuse mechanism
  Pei, Wenbin ; Xue, Bing ; Shang, Lin ; Zhang, Mengjie
• Quantitative Variants of Language Equations and their Applications to Description Logics – Extending Unification in Description Logics
  Marantidis, Pavlos
• Solving differential equations with artificial bee colony programming
  Boudouaoui, Yassine ; Habbi, Hacene ; Ozturk, Celal ; Karaboga, Dervis
• Bitopological duality for algebras of Fitting’s logic and natural duality extension
  Das, Litan Kumar ; Ray, Kumar Sankar
• Inductive logic programming for relational knowledge discovery
  Lavrač, Nada ; Džeroski, Saŝo ; Numao, Masayuki