-
Compiler Design – Analysis and Transformation
Seidl, Helmut ; Wilhelm, Reinhard 2012 Springer Berlin Heidelberg
-
Nondeterminism and Language Design in Deep Inference – A Proof Theoretic Approach to Logic Programming
Kahramanoğulları, Ozan 2012 LAP LAMBERT Academic Publishing
-
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
2012 Atlantis Press
-
Logic for programming, artificial intelligence, and reasoning – 18th international conference ; proceedings
Bjørner, Nikolaj ; Voronkov, Andrei 2012 Springer
-
A Simulated Annealing Based Hybrid Optimization Approach for a Fuzzy Modelled Unit Commitment Problem
Albert Victoire, Aruldoss T. ; Jeyakumar, Ebenezer A.
-
Parameterized algorithms for the Steiner arborescence problem on a hypercube
Mahapatra, Sugyani ; Narayanan, Manikandan ; Narayanaswamy, N. S.
-
A complete and terminating execution model for Constraint Handling Rules
Raiser, Frank ; Betz, Hariolf ; Frühwirth, Thom 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
-
A complete and terminating execution model for constraint handling rules
Betz, Hariolf ; Raiser, Frank ; Frühwirth, Thom 2010 Univ., Fak. für Ingenieurwiss. und Informatik
-
Logic Programming – A Classified Bibliography
Balbin, I. ; Lecot, K. 1985 Springer Netherlands
-
Computational logic in multi-agent systems – 12th international workshop ; proceedings
Leite, João ; Torroni, Paolo ; Ågotnes, Thomas ; Boella, Guido ; Torre, Leendert van der 2011 Springer
-
Computational Logic and Set Theory – Applying Formalized Logic to Analysis
2011 Springer London
-
Agents and artificial intelligence – second international conference ; revised selected papers
Filipe, Joaquim ; Fred, Ana ; Sharp, Bernadette 2011 Springer
-
Inductive Temporal Logic Programming – Learning Temporal Logic Programs from Examples
Kolter, Robert 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Inductive temporal logic programming
Kolter, Robert
-
Foundations of software science and computational structures – 8th international conference ; proceedings
Sassone, Vladimiro 2005 Springer
-
Algebraic Methodology and Software Technology – 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
2011 Springer Berlin Heidelberg
-
Algebraic methodology and software technology – 13th international conference ; revised selected papers
Johnson, Michael ; Pavlovic, Dusko 2011 Springer
-
Logic for programming, artificial intelligence, and reasoning – 11th international conference ; proceedings
Baader, Franz 2005 Springer
-
Compiler Design – Virtual Machines
Wilhelm, Reinhard ; Seidl, Helmut 2010 Springer Berlin Heidelberg
-
Unifying theories of programming – third international symposium ; proceedings
Qin, Shengchao 2010 Springer