„Logic Programming“

Suchergebnisse

2.836 Treffer

• Applications of a categorical framework for conceptual data modeling
  ter Hofstede, A.H.M ; Lippe, E. ; van der Weide, T.P
• The use of deleted tuples in database querying and updating
  Laurent, D. ; Phan Luong, V. ; Spyratos, N.
• M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
  Best, Eike ; Frączak, Wojciech ; Hopkins, Richard P. ; Klaudel, Hanna ; Pelz, Elisabeth
• Quantitative structure-activity relationships by neural networks and inductive logic programming. II. The inhibition of dihydrofolate reductase by triazines
  Hirst, Jonathan D. ; King, Ross D. ; Sternberg, Michael J. E.
• Reasoning about probabilistic sequential programs in a probabilistic logic
  Ying, M.
• A model and a fast algorithm for multiple errors spelling correction
  Du, M. W. ; Chang, S. C.
• Some properties of the disjunctive languages contained in Q
  Li, Zheng-Zhu ; Tsai, Y. S.
• Least common container of tree pattern queries and its applications
  Wang, Junhu ; Yu, Jeffrey Xu ; Pang, Chaoyi ; Liu, Chengfei
• Nested antichains for WS1S
  Fiedor, Tomáš ; Holík, Lukáš ; Lengál, Ondřej ; Vojnar, Tomáš
• Quantitative structure-activity relationships by neural networks and inductive logic programming. I. The inhibition of dihydrofolate reductase by pyrimidines
  Hirst, Jonathan D. ; King, Ross D. ; Sternberg, Michael J. E.
• CAFOR: congestion avoidance using fuzzy logic to find an optimal routing path in 6LoWPAN networks
  Shreyas, J. ; Singh, Hemant ; Tiwari, Soumya ; Srinidhi, N. N. ; Dilip Kumar, S. M.
• Short proofs for tricky formulas
  Krishnamurthy, Balakrishnan
• Speeding up circularity tests for attribute grammars
  Deransart, Pierre ; Jourdan, Martin ; Lorho, Bernard
• A workload model representative of static and dynamic characteristics
  Calzarossa, M. ; Italiani, M. ; Serazzi, G.
• Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems
  Ehrenfeucht, A. ; Rozenberg, G.
• Proof rules for the programming language Euclid
  London, R. L. ; Guttag, J. V. ; Horning, J. J. ; Lampson, B. W. ; Mitchell, J. G. ; Popek, G. J.
• Optimization in temporal qualitative constraint networks
  Condotta, Jean-François ; Kaci, Souhila ; Salhi, Yakoub
• Performance heuristics for GR(1) synthesis and related algorithms
  Firman, Elizabeth ; Maoz, Shahar ; Ringert, Jan Oliver
• Test items for and misconceptions of competences in the domain of logic programming
  Linck, Barbara 2013 Universität Potsdam
• Algebraic and logic programming – ... international conference ... ; proceedings
  Springer