„Logic Programming“

Suchergebnisse

2.836 Treffer

• Heuristic procedures for improving the predictability of a genetic programming financial forecasting algorithm
  Kampouridis, Michael ; Otero, Fernando E. B.
• Unit testing performance with Stochastic Performance Logic
  Bulej, Lubomír ; Bureš, Tomáš ; Horký, Vojtěch ; Kotrč, Jaroslav ; Marek, Lukáš ; Trojánek, Tomáš ; Tůma, Petr
• Descending chains and narrowing on template abstract domains
  Amato, Gianluca ; Di Nardo Di Maio, Simone ; Meo, Maria Chiara ; Scozzari, Francesca
• Reachability analysis of reversal-bounded automata on series–parallel graphs
  Dimitrova, Rayna ; Majumdar, Rupak
• Big data interpolation using functional representation
  Daltrophe, Hadassa ; Dolev, Shlomi ; Lotker, Zvi
• On dual programs in co-logic programming and the Horn $${\mu}$$ μ -calculus
  Seki, Hirohisa
• Dynamic Bayesian networks for formal verification of structured stochastic processes
  Esmaeil Zadeh Soudjani, Sadegh ; Abate, Alessandro ; Majumdar, Rupak
• A neural network to solve quadratic programming problems with fuzzy parameters
  Mansoori, Amin ; Effati, Sohrab ; Eshaghnezhad, Mohammad
• A new bound for the D0L language equivalence problem
  Honkala, Juha
• Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach
  Ali, Shaukat ; Iqbal, Muhammad Zohaib ; Khalid, Maham ; Arcuri, Andrea
• Multiparty session types as coherence proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko
• Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?
  Tylman, Wojciech
• Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
  Carro, Manuel ; King, Andy ; Saeedloei, Neda ; De Vos, Marina 2016 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Formalization of UML state machines using temporal logic
  Rossi, Carlos ; Enciso, Manuel ; de Guzmán, Inmaculada P.
• Online edge coloring of paths and trees with a fixed number of colors
  Favrholdt, Lene M. ; Mikkelsen, Jesper W.
• The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation
  Thimm, Matthias
• Decidability and Complexity of Fuzzy Description Logics
  Baader, Franz ; Borgwardt, Stefan ; Peñaloza, Rafael
• A new approach to optimize a hub covering location problem with a queue estimation component using genetic programming
  Hasanzadeh, Hamid ; Bashiri, Mahdi ; Amiri, Amirhossein
• Sparsification and subexponential approximation
  Bonnet, Édouard ; Paschos, Vangelis Th
• Evolutionary programming with a simulated-conformist mutation strategy
  Huang, Han ; Ye, Shujin ; Fan, Zhun ; Lin, Zhiyong ; Lv, Liang ; Hao, ZhiFeng