„Logic Programming“

Suchergebnisse

2.836 Treffer

• Nonfinite axiomatizability of the equational theory of shuffle
  Ésik, Zoltán ; Bertol, Michael
• Service System of Easypaisa and MobiCash: Funds Transfer System via Telecommunication Companies in Context of Service Dominant Logic
  Ghorsi, Huma ; Siddiqui, Arooj ; Basharat, Taimoor ; Anwer, Saroop ; Ahmad, Hammad
• Decidability of model checking for infinite-state concurrent systems
  Esparza, Javier
• Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds
  Cannon, Edward O. ; Amini, Ata ; Bender, Andreas ; Sternberg, Michael J. E. ; Muggleton, Stephen H. ; Glen, Robert C. ; Mitchell, John B. O.
• Relaxed balance for search trees with local rebalancing
  Larsen, Kim S. ; Ottmann, Thomas ; Soisalon-Soininen, Eljas
• Note on “A new equivalent transformation for interval inequality constraints of interval linear programming”
  Li, Dechao ; Shi, Jiaheng ; Huang, Hongying
• Even faster generalized LR parsing
  Aycock, John ; Horspool, Nigel ; Janoušek, Jan ; Melichar, Bořivoj
• Unifying theories of programming and formal engineering methods – advanced lectures
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Datalog in academia and industry – second international workshop ; Datalog 2.0 ; Vienna, Austria, September 11 - 13, 2012 ; proceedings
  Barceló, Pablo ; Pichler, Reinhard 2012 Springer
• The correctness-by-construction approach to programming
  Kourie, Derrick G. ; Watson, Bruce W. 2012 Springer
• LISP, Lore, and Logic – An Algebraic View of LISP Programming, Foundations, and Applications
  Stark, William R. 1990 Springer New York
• Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
  Gallagher, John P. ; Gelfond, Michael 2011 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• A lightweight trust management algorithm based on subjective logic for interconnected cloud computing environments
  Kurdi, Heba ; Alfaries, Auhood ; Al-Anazi, Abeer ; Alkharji, Sara ; Addegaither, Maimona ; Altoaimy, Lina ; Ahmed, Syed Hassan
• Prototyping realistic programming languages based on formal specifications
  Poetzsch-Heffter, Arnd
• A hierarchy of the class of apex NLC graph languages by bounds on the number of nonterminal nodes in productions
  Yamazaki, Koichi
• Comparing extended classifier system and genetic programming for financial forecasting: an empirical study
  Chen, Mu-Yen ; Chen, Kuang-Ku ; Chiang, Heien-Kun ; Huang, Hwa-Shan ; Huang, Mu-Jung
• Adding a path connectedness operator to FO+poly (linear)
  Giannella, Chris ; Van Gucht, Dirk
• Approximation schemes for the Min-Max Starting Time Problem
  Epstein, Leah ; Tassa, Tamir
• Sur une conjecture de S. Greibach
  Berstel, Jean
• Familles de langages translatables et fermées par crochet
  Boasson, L. ; Crestin, J. P. ; Nivat, M.