„Logic Programming“

Suchergebnisse

2.836 Treffer

• DNA computing, sticker systems, and universality
  Kari, Lila ; Păun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Yu, Sheng
• Dynamic controllability via Timed Game Automata
  Cimatti, Alessandro ; Hunsberger, Luke ; Micheli, Andrea ; Posenato, Roberto ; Roveri, Marco
• Modeling decisions for artificial intelligence – 9th international conference ; proceedings
  Torra, Vicenç ; Narukawa, Yasuo ; Lopez, Beatriz ; Villaret, Mateu 2012 Springer
• A dynamic programming approach to multi-objective logic synthesis of quantum circuits
  Rajaei, Arezoo ; Houshmand, Mahboobeh ; Hosseini, Seyyed Abed
• On first-order runtime enforcement of branching-time properties
  Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian ; Anna Ingólfsdóttir
• Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web
  Bry, François ; Patranjan, Paula-Lavinia ; Schaffert, Sebastian 2004 Ludwig-Maximilians-Universität München
• Compositional entailment checking for a fragment of separation logic
  Enea, Constantin ; Lengál, Ondřej ; Sighireanu, Mihaela ; Vojnar, Tomáš
• Verification of heap manipulating programs with ordered data by extended forest automata
  Abdulla, Parosh Aziz ; Holík, Lukáš ; Jonsson, Bengt ; Lengál, Ondřej ; Trinh, Cong Quy ; Vojnar, Tomáš
• Programming Rational Agents in a Modal Action Logic
  Baldoni, Matteo ; Martelli, Alberto ; Patti, Viviana ; Giordano, Laura
• Fuzzy Galactic Swarm Optimization with Dynamic Adjustment of Parameters Based on Fuzzy Logic
  Bernal, Emer ; Castillo, Oscar ; Soria, José ; Valdez, Fevrier
• Logic programming reveals alteration of key transcription factors in multiple myeloma
  Miannay, Bertrand ; Minvielle, Stéphane ; Roux, Olivier ; Drouin, Pierre ; Avet-Loiseau, Hervé ; Guérin-Charbonnel, Catherine ; Gouraud, Wilfried ; Attal, Michel ; Facon, Thierry ; Munshi, Nikhil C. ; Moreau, Philippe ; Campion, Loïc ; Magrangeas, Florence ; Guziolowski, Carito
• Preface to Klaus-Jörn Lange Festschrift
  Fernau, Henning ; Holzer, Markus ; Wolf, Petra
• Equilibria for games with combined qualitative and quantitative objectives
  Gutierrez, Julian ; Murano, Aniello ; Perelli, Giuseppe ; Rubin, Sasha ; Steeples, Thomas ; Wooldridge, Michael J.
• A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
  Aceto, Luca ; Della Monica, Dario ; Goranko, Valentin ; Anna Ingólfsdóttir ; Montanari, Angelo ; Sciavicco, Guido
• Chance-constrained programming with fuzzy stochastic coefficients
  Aiche, Farid ; Abbas, Moncef ; Dubois, Didier
• Possibilistic Nested Logic Programs
  Nieves, Juan Carlos ; Lindgren, Helena 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A single-variable method for solving min–max programming problem with addition-min fuzzy relational inequalities
  Chiu, Ya-Ling ; Guu, Sy-Ming ; Yu, Jiajun ; Wu, Yan-Kuen
• Improving LSH via tensorized random projection
  Verma, Bhisham Dev ; Pratap, Rameshwar
• Tight bounds for the sensitivity of CDAWGs with left-end edits
  Fujimaru, Hiroto ; Nakashima, Yuto ; Inenaga, Shunsuke
• Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms
  Chimani, Markus ; Ilsen, Max