„Logic Programming“

Suchergebnisse

2.836 Treffer

• Multiparty Session Types as Coherence Proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Surface Movement Method for Linear Programming
  Olkhovsky, N. A. ; Sokolinsky, L. B.
• Developing configurations and solutions for logical puzzles with UML and OCL
  Gogolla, Martin ; Sánchez Cuadrado, Jesús
• Introduction to artificial intelligence
  Ertel, Wolfgang ; Black, Nathanael T. 2025 Springer
• Over-approximating Descendants by Synchronized Tree Languages
  Boichut, Yohan ; Chabin, Jacques ; Réty, Pierre 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Answer Set Programming
  Diéguez, Martín 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software Model Checking by Program Specialization
  De Angelis, Emanuele 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Flexible Solver for Finite Arithmetic Circuits
  Filardo, Nathaniel Wesley ; Eisner, Jason 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic Programming in Tabular Allegories
  Gallego Arias, Emilio Jesús ; B. Lipton, James 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Termination of Logic Programs with Function Symbols
  Greco, Sergio ; Spezzano, Francesca ; Trubitsyna, Irina 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic + control: An example
  Drabent, Wlodzimierz 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two-Valued Logic Programs
  Lifschitz, Vladimir 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Inference for the Q language using Constraint Logic Programming
  Zombori, Zsolt ; Csorba, János ; Szeredi, Péter 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling Machine Learning and Data Mining Problems with FO(·)
  Blockeel, Hendrik ; Bogaerts, Bart ; Bruynooghe, Maurice ; De Cat, Broes ; De Pooter, Stef ; Denecker, Marc ; Labarre, Anthony ; Ramon, Jan ; Verwer, Sicco 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue
  Dovier, Agostino ; Santos Costa, Vítor 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pebble Games and Linear Equations
  Grohe, Martin ; Otto, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebraic Derivations in Logic Programming
  Komendantskaya, Ekaterina ; Power, John 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Promoting Modular Nonmonotonic Logic Programs
  Krennwallner, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
  Chisham, Brandon ; Pontelli, Enrico ; Son, Tran Cao ; Wright, Ben 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik