„Logic Programming“

Suchergebnisse

2.836 Treffer

• Testing membership for timed automata
  Lassaigne, Richard ; Rougemont, Michel de
• P systems with symport/antiport simulating counter automata
  Frisco, Pierluigi ; Hoogeboom, Hendrik Jan
• Assessing risk assessment – towards alternative risk measures for complex financial systems
  Hoffmann, Christian Hugo 2017 Springer Gabler
• Defeasible reasoning and logic programming
  Colburn, Timothy R.
• A reply to Pazzani's book review of “Inductive Logic Programming: Techniques and Applications”
  Lavrač, Nada ; Džeroski, Sašo
• On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”
  Wallace, Mark ; Schimpf, Joachim ; Shen, Kish ; Harvey, Warwick
• Subdefinite Models and Logic Programming: Implementation of Constraints
  Petrov, E. S. ; Yakhno, T. M.
• Limit laws for terminal nodes in random circuits with restricted fan-out: a family of graphs generalizing binary search trees
  Mahmoud, Hosam ; Tsukiji, Tatsuie
• Three-element codes with one d-primitive word
  Li, Zheng-Zhu ; Tsai, Y. S.
• Trading polarizations for labels in P systems with active membranes
  Alhazov, Artiom ; Pan, Linqiang ; Păun, Gheorghe
• Logic Control and “Reactive” Systems: Algorithmization and Programming
  Shalyto, A. A.
• Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application
  Martin, Fae ; Pinkney, Arthur ; Yu, Xinghuo
• Extracting Context-Sensitive Models in Inductive Logic Programming
  Srinivasan, Ashwin
• Unsupervised Learning of Word Segmentation Rules with Genetic Algorithms and Inductive Logic Programming
  Kazakov, Dimitar ; Manandhar, Suresh
• K-best enumeration - theory and application
  Kurz, Denis ; Mutzel, Petra ; Chimani, Markus 2017 Universitätsbibliothek Dortmund
• Scaling Up Inductive Logic Programming: An Evolutionary Wrapper Approach
  Reiser, Philip G.K ; Riddle, Patricia J.
• Compact Representation of Knowledge Bases in Inductive Logic Programming
  Struyf, Jan ; Ramon, Jan ; Bruynooghe, Maurice ; Verbaeten, Sofie ; Blockeel, Hendrik
• Games In The Semantics Of Programming Languages – An Elementary Introduction
  Jürjens, Jan
• Structure Activity Relationships (SAR) and Pharmacophore Discovery Using Inductive Logic Programming (ILP)
  Sternberg, Michael J. E. ; Muggleton, Stephen H.
• Scheduling Sport Tournaments using Constraint Logic Programming
  Schaerf, Andrea