028949102
1988-02-25
2023-06-13T06:05:16
12067891
Programmation logique
Programmation en logique
Langages de programmation logique
Answer Set Programming (informatique)
Logique mathématique
Programmation (informatique)
000
621
Computation as logic / René Lalement,... ; translated by John Plaice,... / Paris : Masson , cop. 1993
Negation as failure : a linear axiomatization / Serenella Cerrito / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1988
SACRE : Une approche de résolution en logique fondée sur des techniques de satisfaction de contraintes / Jean-Michel Richer ; sous la direction de Jean-Jacques Chabrier / Grenoble : Atelier national de reproduction des thèses , 1999
Programming with MALI : unification or ordered types = = Programmer avec MALI : l'unification des types ordonnés / Olivier Ridoux / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1989]
Parallel logic programming / Evan Tick / Cambridge, Mass. : MIT Press , cop. 1991
Constraint solving and language processing : First international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers / Henning Christiansen, Peter Rossen Skadhauge, Joergen Villadsen (Eds.) / Berlin : Springer , cop. 2005
ICLP'91 Cours n°5, negation in logic programming : 8ème conférence internationale Programmation en Logique, 25-28 juin 1991, Hôtel Pullman, Paris / J. C. Shepherdson ; INRIA / Le Chesnay : INRIA , [1991]
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 : selected papers / [edited by] Annalisa Bossi / Berlin [etc.] : Springer
Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications / Faustine Maffre ; sous la direction de Andréas Herzig et de Emiliano Lorini / [Lieu de publication inconnu] : [éditeur inconnu] , 2016
De la construction de preuves à la programmation parallèle en logique linéaire [Ressource électronique] / Guy Perrier ; sous la direction de D. Galmiche / [S.l.] : [s.n.] , 1995
Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds / London : Springer-Verlag , cop. 1993
Mathématiques pour l'informatique : avec exercices corrigés / André Arnold,... Irène Guessarian,... / 3e édition / Paris : Masson
ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes / Marian Vittek ; sous la direction de C. Kirchner / , 1994
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo / Villeurbanne : [CCSD] , 2005
Vérification de programmes en code octet et ses applications / par Mariela Pavlova ; sous la direction de Gilles Barthe et de Lilian Burdy / [S.l.] : [s.n.] , 2007
Graph-based proof procedures for Horn Clauses / Stan Raatz / Boston, Basel, Berlin : Birkhauser , cop. 1990
Sur le semi anneau de résolution / Marc Bagnol ; sous la direction de Jean-Yves Girard / [S.l.] : [s.n.] , 2014
Arithmetic and logic in computer systems / Mi Lu / Hoboken, N.J. : Wiley-Interscience , c2004
Contribution à l'étude de la programmation logique par les graphes orientés pondérés / Patrick Lebègue ; sous la direction de Max Dauchet / [S.l.] : [s.n.] , 1988
Problème de satisfaction de contraintes, affectation de professeurs dans les jurys : étude et réalisation d'un prototype / Gérard Carrié / Paris : CNAM , 1999
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming : CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / Boi Faltings ... [et al.] (Eds.) / Berlin : Springer , cop. 2005
Analyse syntaxique et interprétation de clauses de Horn / Irène Foucherot ; sous la direction de François Jacquenet / , 1995
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Algebraic and Logic Programming : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / edited by Michael Hanus, Jan Heering, Karl Meinke. / Berlin [etc.] : Springer
An experiment on the validation of a specification by heterogeneous formal means : the transit node / Gaudel, M-C., Marre, B / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1994
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt (eds.) / Berlin : Springer-Verlag , cop. 1993
Programmation en logique : actes du 7ème séminaire, Trégastel, 25-27 mai 1988 / edité par S. Bourgault et M. Dincbas / Lannion (France) : CNET , cop. 1988
TRANSFORMATIONS DE PROGRAMMES LOGIQUES AVEC CONTRAINTES / NACERA BENSAOU ; SOUS LA DIRECTION DE I. GUESSARIAN / [S.l.] : [s.n.] , 1996
Modélisation bioinformatique des réseaux de régulation génétique et métabolique : application à l'étude du comportement des cellules exposées au déficit en folates et à des contaminants alimentaires en cause dans la génèse du cancer / Etienne Gnimpieba Zohim ; sous la direction d'Abalo Chango et Damien Eveillard / [S.l.] : [s.n.] , 2011
Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / Barry O'Sullivan (ed.) / Berlin : Springer , cop. 2003
The Journal of logic programming / Amsterdam : Elsevier , [199.]-2000
Extensions du "Hoist scheduling problem" cyclique : résolution basée sur un traitement des contraintes disjonctives en programmation en logique avec contraintes / Christophe Varnier ; sous la direction de Pierre Baptiste / [S.l.] : [s.n.] , 1996
Calcul des états atteignables de programmes ESTEREL partitionné selon la syntaxe / par Eric Vecchié ; sous la dir. de Robert de Simone / [S.l.] : [s.n.] , 2004
Un modèle objet logique et relationnel : le langage Othelo / par Mireille Fornarino et Anne-Marie Pinna ; sous la direction de Paul Franchi-Zannettachi / [Lieu de publication inconnu] : [éditeur inconnu] , 1990
The logic programming tutor / Jocelyn Paine / Oxford : Intellect , 1992
Pôle contraintes et programmation logique du GDR programmation : 21 septembre 1994, Lille / G.D.R. programmation du C.N.R.S. / [S.l. : s.n.] , [1994 ?]
Programmation logique : mineure SICStus Prolog user's manual promotion 1991 / François Fages / Palaiseau : École polytechnique , 1994
A beginner's guide to programming logic and design : introductory version / Joyce Farrell / 7th edition / [s.l.] : Course Technology , cop. 2013
Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings / edited by A. Pettorossi. / Berlin [etc.] : Springer
Proof methods of declarative properties of definite programs / Pierre Deransart / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
Le paradigme du choix contraint orienté par objectifs pour l'aide à la conception mécanique / Ying Zhang ; sous la direction de André Clément / [S.l.] : [s.n.] , 1997
Extensions of logic programming : international workshop, Tübingen, FRG, December 8/9, 1989 proceedings / P. Schroeder-Heister (ed.) / Berlin : Springer-Verlag , cop. 1991
Introduction des réseaux à prédicats contraints. Instanciation au domaine temporel et application à la maîtrise des aléas sémantiques ADA / par Jean-Marie Kubek ; sous la direction de G. Motet / [S.l] : [s.n] , [1994]
Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / edited by Henning Christiansen, Peter Rossen Skadhauge, Jø / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Introduction to logic programming / Michael Genesereth, Vinay K. Chaudhri / [Londres] : Morgan & Claypool publishers
Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla. / Berlin, Heidelberg : Springer Berlin Heidelberg
Computer logic : design principles and applications / John Y. Hsu / New York : Springer , cop. 2002
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7–9, 2001 : proceedings / [edited by] Herbert Kuchen, Kazunori Ueda / Berlin [etc.] : Springer
An introduction to default logic / Philippe Besnard / Berlin : Springer-Verlag , cop. 1989
Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications / Faustine Maffre ; sous la direction de Andreas Herzig et de Emiliano Lorini / , 2016
Inductive logic programming : techniques and applications / Nada Lavrač and Sašo Džeroski / New York : E. Horwood , cop. 1994
Programmation en logique avec contraintes : Actes des JFPLC 2003, [12e Journées francophones de programmation en logique et avec contraintes], 17-19 juin 2003, Amiens, France / sous la dir. de Mireille Ducassé ; [org. par LaRIA, l'AFPLC] / Paris : Lavoisier , 2003
Etude et réalisation d'un système de programmation logique par contraintes abstraites multidomaines / Sylvain Laduguie ; directeur de thèse Jean-Jacques Chabrier / [S.l.] : [s.n.] , 1993
Approche logique de l'intelligence artificielle 3, Du traitement de la langue à la logique des systèmes experts / André Thayse, Albert Bruffaerts, Pierre Dupont, Éric Henin... [et al.] / Paris : Bordas , DL 1990
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / James P. Delgrande, Wolfgang Faber (eds.) / Berlin : Springer , cop. 2011
Un problème de système expert temps réel : la gestion de centres informatiques / Claude Leclercq ; sous la direction de Jean-Paul Delahaye / [S.l.] : [s.n.] , cop. 1990
Génération de tests aux limites à partir de spécifications B en programmation logique avec contraintes ensemblistes / Fabien Peureux ; sous la dir. de Bruno Legeard / [S.l.] : [s.n.] , 2002
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 proceedings / Nachum Dershowitz, Andrei Voronkov eds. / Berlin : Springer , cop. 2007
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / edited by Franz Baader, Andrei Voronkov. / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Programmation en logique avec contraintes : actes des JFPLC'00 [28-30 juin 2000, Marseille, France] / coordonnateur, Touraïvane / Paris : Hermès sciences , impr. 2000, cop. 2000
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers / [edited by] Maurice Bruynooghe / Berlin [etc.] : Springer
Une nouvelle approche pour la vérification des masques des circuits intégrés / Jerraya Ahmed Amine ; sous la direction de [François Anceau] / Grenoble : Université Joseph Fourier , 2008
Termination proofs for logic programs / Lutz Plümer / Berlin [etc.] : Springer
Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings / edited by Maurice Bruynooghe, Jaan Penjam / Berlin [etc.] : Springer
Logical frameworks : [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990] / edited by Gérard Huet,... G. Plotkin,... / Cambridge : Cambridge University Press , 1991
Allocations multi-fréquences et programmation par contraintes / par Manuel Eschenbrenner
Prolog / Patrick Bellot,... ; préfaces de P. Deransart, B. Robinet et W. Chan / Paris : Masson , 1994, cop. 1994
Logic Based Program Synthesis and Transformation (vol. # 3573) : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / edited by Sandro Etalle / Berlin, Heidelberg : Springer Berlin Heidelberg
Terminaison de la réécriture sous stratégies / Olivier Fissore ; sous la direction de Hélène Kirchner / Grenoble : Atelier national de reproduction des thèses , 2003
Warren's abstract machine : a tutorial reconstruction / Hassan Ai͏̈t-Kaci / Cambridge, Mass. : MIT Press , cop. 1991
Foundations of equational logic programming / Steffen Hölldobler / Berlin : Springer-Verlag
Termination proofs for logic programs / Lutz Plümer / Berlin : Paris [etc.]
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.) / Berlin : Springer-Verlag , cop. 1991
Implémentation et évaluation d'un système logique parallèle / Jacques Chassin de Kergommeaux ; sous la direction de Jacques Mossière / , 1989
Abstraction temporelle de signal ECG, apprentissage inductif de contraintes temporelles et reconnaissance des arythmies cardiaques / par Feng Wang ; sous la dir. de René Quiniuo et Guy Carrault / [S.l.] : [s.n.] , 2002
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : Revised Selected Papers : proceedings / Michael Hanus (Ed.) / Berlin, Heidelberg : Springer Berlin Heidelberg
Foundations of disjunctive logic programming / Jorge Lobo, Jack Minker, Arcot Rajasekar / Cambridge, Mass. : MIT Press
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers / Michael Hanus (Ed.) / Berlin : Springer , cop. 2009
Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler. / 1st ed. 2006. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006
Exploiting non-canonicity in the sequent calculus / par Vivek Nigam ; sous la direction de Dale Miller / Lille : Atelier national de reproduction des thèses , 2009
From logic to logic programming / Kees Doets / Cambridge (Mass.) : MIT Press , 1994
Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / Michael Hanus, Atsushi Igarashi / Cham : Springer International Publishing
Eco-logic : logic-based approaches to ecological modelling / David Robertson ... [et al.] / Cambridge, Mass. : MIT Press , cop. 1991
A concise introduction to mathematical logic / Wolfgang Rautenberg / 3rd ed. / New York : Springer , cop. 2010
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / [edited by] Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister / Berlin [etc.] : Springer
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. / 1st ed. 2010. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar. / Berlin, Heidelberg : Springer Berlin Heidelberg
Cooperating heterogeneous systems / David G. Schwartz / Boston : Kluwer Academic , cop. 1995
Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings / Sandro Etalle, Mirosław Truszczyński (eds.) / Berlin : Springer , cop. 2006
Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.) / Berlin : Springer
Functional and logic programming : 4th Fuji International Symposium, FLOPS’99, Tsukuba, Japan, November 11-13, 1999 : proceedings / [edited by] Aart Middeldorp, Taisuke Sato / Berlin [etc.] : Springer
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.) / Berlin : Springer , cop. 2005
A tight, practical integration of relations and functions / Harold Boley / Berlin : Springer
Acquisition automatique de lexiques sémantiques pour la recherche d'information / par Vincent Claveau ; sous la dir. de Pascale Sébillot / [S.l.] : [s.n.] , 2003
Foundations of deductive databases and logic programming / ed. by Jack Minker,... / Los Altos (Calif.) : M. Kaufmann , cop. 1988
Inférer et compiler la terminaison des programmes logiques avec contraintes / Sébastien Hoarau / Grenoble : Atelier national de reproduction des thèses , 1999
Unification et disunification : théorie et applications / Hubert Comon ; sous la direction de [J. Calmet / Grenoble : Université Joseph Fourier , 2008
Special issue on 26th international conference on logic programming : [july 16-19, 2010, Edinburgh, UK] / edited by Manuel Hermenegildo and Torsten Schaub / Cambridge : Cambridge university press , 2010
Programmation en logique : actes du séminaire 1987, Trégastel, 19-21 mai 1987 / ed. par S. Bourgault et M. Dincbas / Lannion, France : CNET , cop. 1987
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : Proceedings / Franz Baader, Andrei Voronkov (Eds.) / Berlin : Springer , cop. 2005
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers / Krzysztof R. Apt, François Fages, Francesca Rossi ... [et al.] (eds.) / Berlin : Springer , cop. 2004
Théorie du gourvernement et du liage et programmation logique avec contraintes : une application à l'analyse automatique du français / par Nabil Hathout ; sous la direction de Patrick Saint-Dizier / Grenoble : Atelier national de reproduction des thèses , 1992
Caractérisation complète des extensions : application de la programmation logique avec contraintes au calcul d'extensions d'un fragment de la logique de defauts / Dinh Du Nguyen ; [sous la direction de] Norbert Cot / , 1998
Un système de programmation logique pour la création d'interfaces homme-machine en langue naturelle / François de Bertrand de Beuvron ; sous la direction de Philippe Trigano / , 1992
Contribution à l'étude et au développement d'un système de diagnostic de dysfontionnement d'un procédé de distillation / Andy Noorsaman ; sous la direction de Dominique Depeyre / Grenoble : Atelier national de reproduction des thèses , 1993
Abstraction temporelle de signal ECG, apprentissage inductif de contraintes temporelles et reconnaissance des arythmies cardiaques / par Feng Wang ; sous la direction de René Quiniuo et Guy Carrault / Grenoble : Atelier national de reproduction des thèses , 2002
Contribution à l'étude de la programmation logique par les graphes orientés pondérés / Patrick Lebègue ; sous la direction de Max Dauchet / Grenoble : Atelier national de reproduction des thèses , 1988
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2002
Multilog : utilisation de mondes en programmation logique pour représenter et manipuler des connaissances / Hervé Kauffmann ; sous la direction de Jean-Claude Simon / Grenoble : Atelier national de reproduction des thèses , 1986
Time and logic : a computational approach / ed. by Leonard Bolc, Andrzej Szalas / London : University College London , 1995
Programmation en logique et compilation de protocoles : le simulateur Véda / Jean-Francois Monin ; [sous la dir. de] de Daniel Herman / [S.l.] : [s.n.] , 1989
Formal and exact reduction for differential models of signalling pathways in rule-based languages / Ferdinanda Camporesi ; sous la direction de Jérôme Feret et de Radhia Cousot / , 2017
Une approche de synthèse pour la programmation logique et ses extensions / Fréderic Saubion ; sous la direction de Siva Anantharaman / , 1996
Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.) / Berlin : Springer , cop. 2008
Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / Patricia M. Hill, David S. Warren (eds.) / Berlin : Springer , cop. 2009
Unification-free execution of TYPOL programs by semantic attribute evaluation / Isabelle Attali, Paul Franchi-Zannettacci / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1988
Langages et compilation : 2e année, majeure 2 / Patrick Cousot / Palaiseau : École Polytechnique , D.L. 1998
A concise introduction to mathematical logic / Wolfgang Rautenberg / 2nd ed. / New York, NY : Springer New York
Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) / Berlin : Springer , cop. 2010
AS-IS / Khoury, C., Gaudel, M.C., Dauchy, P / Orsay, France : Université Paris-Sud, Centre d"orsay, Laboratoire de recherche en Informatique , 1997
The Gödel programming language / Patricia Hill, John Lloyd / Cambridge, Mass. : MIT Press , cop. 1994
Web Reasoning and Rule Systems : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. / Berlin, Heidelberg : Springer Berlin Heidelberg
Applications of logic databases / edited by Raghu Ramakrishnan / Boston : Kluwer Academic , c1995
Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus, / Christophe Junke ; sous la direction de Pascale Le Gall / , 2012
Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge, Mass. : MIT Press , cop. 1988
Programmation en logique / Actes du Séminaire 1985 du CNET, Trégastel, 29-31 mai 1985 ; éd. par Serge Bourgault, Mehmet Dincbas / Lannion : CNET , 1985
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.) / Berlin : Springer , cop. 2004
Fusion de bases de croyances et programmation logique avec sémantique des modèles stables / Julien Hué ; sous la direction de Odile Papini ; co-directeur de thèse, Eric Würbel / [S.l.] : [s.n.] , 2009
Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire / Stéphanie Chevalier ; sous la direction de Christine Froidevaux et de Loïc Paulevé / , 2022
Programmation en logique : actes / des 1eres journees francophones sur la ..., JFPL'92, Lille, 25-27 mai 1992 ; ed. par J.P. Delahaye, P. Devienne, P. Mathieu et P. Yim ; sp. par le laboratoire d'informatique fondamentale de Lille ; le PRC Greco programmation du CNRS / Villeneuve d'Ascq : Laboratoire d'informatique fondamentale de Lille , 1992
Private properties and natural relations in inductive logic programming / Torre, F., Rouveirol, C / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1997
Over-Constrained Systems / edited by Michael Jampel, Eugene Freuder, Michael Maher. / Berlin [etc.] : Springer
Computing in Horn clause theories / Peter Padawitz / Berlin : Springer-Verlag , cop. 1988
Transactions and change in logic databases : International Seminar on Logic Database and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag ... [et al.], eds / Berlin : Springer
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Klaus Schneider, Jens Brandt (eds.) / Berlin : Springer , 2007
Conclog: A Methodological Approach to Concurrent Logic Programming / by Jean-Marie Jacquet. / Berlin [etc.] : Springer
Acquisition automatique de lexiques sémantiques pour la recherche d'information / par Vincent Claveau ; sous la direction de Pascale Sébillot / Grenoble : Atelier national de reproduction des thèses , 2003
Inférer et compiler la terminaison des programmes logiques avec contraintes / Sébastien Hoarau ; sous la direction de Henri Ralambondrainy / Saint-Denis (Réunion) : BU Espace Océan Indien, Université de La Réunion , 2012
Extraction de connaissances pour la modélisation tri-dimensionnelle de l'interactome structural / Anisah W. Ghoorah ; sous la direction de Marie-Dominique Devignes et de David Ritchie / , 2012
Vers un formalisme abstrait implémentable pour l'étude savante des textes numérisés / par François Role ; sous la direction de Bernard Lang,... / [S.l.] : [s.n.] , 2001
Multilog : utilisation de mondes en programmation logique pour représenter et manipuler des connaissances / Hervé Kauffmann ; sous la direction de Jean-Claude Simon / , 1986
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic September 17-20, 1997 : proceedings / [edited by] Nada Lavrač, Sašo Džeroski / Berlin [etc.] : Springer
Langage de programmation en logique, de PROLOG à lambda-PROLOG : mise en oeuvre et pratique / Yves Bekkers / [S.l.] : [s.n.] , 1993
Constraint handling rules / Thom Frühwirth,... / Cambridge : Cambridge University Press , cop. 2009
Délinéarisation automatique de flux de télévision / Gaël Manson ; [sous la dir. de] Patrick Gros / [S.l.] : [s.n.] , 2010
Programmation logique : mineure librairie SICSTUS promotion 1992, 2ème année / François Fages / Palaiseau : École polytechnique , 1995
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.) / Berlin : Springer
Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. / Berlin, Heidelberg : Springer Berlin Heidelberg
Declarative programming : proceedings / PHOENIX SEMINAR AND WORKSHOP ON DECLARATIVE PROGRAMMING / London : Springer , cop. 1992
From logic programming to Prolog / Krzysztof R. Apt / London : Prentice Hall , cop. 1997
Mathematics, physics & chemistry with the Wolfram language / S.M. Blinder, University of Michigan, USA & Wolfram Research, USA / Singapore : World Scientific , [2022]
Algebraic and logic programming : proceedings of an international workshop held in Gaussig (DDR), November 14-18, 1988 / ed. by Jan Grabowski, Pierre Lescanne, Wolfgang Wechler / Berlin : Akademie-Verlag , 1988
Approche logique de l'intelligence artificielle 1, de la logique classique à la programmation logique / par André Thayse, Pascal Gribomont,Georges Louis... [et al.] ; avec la collaboration de Philippe Delsarte,... / Paris : Dunod , DL 1988
Recent Advances in Constraints (vol. # 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite / 1st ed. 2006. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / [edited by] Robert Nieuwenhuis, Andrei Voronkov / Berlin [etc.] : Springer
Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.) / Berlin : Springer
Etude d'une méthodologie d'implantation de fonctions logiques adaptées au traitement d'images dans un FPGA / Sandra Bouchard ; sous la direction de Alain Diou / Grenoble : Atelier national de reproduction des thèses , 1999
Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / edited by Stefan Kramer, Bernhard Pfahringer / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 1996 : selected papers / Stephen Muggleton, (ed.) / New York : Springer
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page, ed. / New York : Springer
Proof of Programs with Effect Handlers / Paulo De Vilhena ; sous la direction de François Pottier / , 2022
GeoSpatial Semantics : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings / edited by Christophe Claramunt, Sergei Levashkin, Michela Bertolotto. / Berlin, Heidelberg : Springer Berlin Heidelberg
Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : Proceedings / Patricia M. Hill, David S. Warren (eds.) / 1st ed. 2009. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009
NOUVELLES FONDATIONS POUR LA PROGRAMMATION EN LOGIQUE DISJONCTIVE / IGOR STEPHAN ; SOUS LA DIRECTION DE Y. BEKKERS / , 1995
Gestion de la complexité dans un logiciel destiné à la simulation numérique multiphysique / Huynh Quoc Hung ; sous la direction de Yves Maréchal et Jean-Louis Coulomb / , 2006
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : Proceedings / Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (Eds.) / Berlin, Heidelberg : Springer Berlin Heidelberg
Lectures on the logic of computer programming / Zohar Manna / Philadelphia (Pa.) : Society for industrial and applied mathematics , cop. 1980
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13–20, 1993 : proceedings / [edited by] Andrei Voronkov / Berlin [etc.] : Springer
Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings / Pavel Brazdil, Alípio Jorge, eds / Berlin : Springer
Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. / 1st ed. 2009. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.) / New York : Springer
Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / [edited by] Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski / Berlin [etc.] : Springer
Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.) / Berlin : Springer , cop. 2001
Meta-logics and logic programming / edited by Krzysztof R. Apt and Franco Turini / Cambridge, Mass. : MIT Press , 1995
Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. / 1st ed. 2011. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2011
Sequential logic synthesis / by Pranav Ashar,... Srinivas Devadas,... A. Richard Newton,... / Boston (Mass.) [etc.] : Kluwer Academic Publishers , cop. 1992
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds / Berlin : Springer-Verlag , 1994
Introduction to logic / Michael Genesereth, ... Eric J. Kao, ... / 3e edition / [Londres] : Morgan & Claypool publishers
Types in logic programming / edited by Frank Pfenning / Cambridge, Mass. : MIT Press , cop. 1992
Estudios sobre programación lógica y sus aplicaciones / edición a cargo de Verónica Dahl y Alejandro Sobrino / Santiago de Compostela : Universidade de Santiago de Compostela , 1996
Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) / Berlin : Springer , cop. 1991
Programming language implementation and logic programming : proceedings / 5th International symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 ; Maurice Bruynooghe, Jaan Penjam (eds.) / Berlin : Springer-Verlag , cop. 1993
Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.) / Berlin : Springer-Verlag , cop. 1987
Logic program synthesis and transformation : proceedings / of LOPSTR 91, International workshop on..., University of Manchester, 4-5 July, 1991 ; ed. by T.P. Clement and K.-K. Lau ; sp. by the association for logic programming and ALPUK / London : Springer , cop. 1992
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer. / Berlin, Heidelberg : Springer Berlin Heidelberg
Intentional logics for programming / edited by Luis Fariñas del Cerro and Martti Penttonen / Oxford [England] : Clarendon Press , 1992
Essentials of constraint programming / Thom Frühwirth, Slim Abdennadher / Berlin : Springer , cop. 2003
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : Selected papers / Alberto Pettorossi, ed / Berlin : Springer , cop. 2002
Contribution à la modélisation de l'apprentissage en situation de résolution de problèmes : proposition d'un système cognitif permettant l'apprentissage / Françoise Sandoz ; [sous la direction d'Alain Haurat] / [S.l.] : [s.n.] , 1993
Terminaison de la réécriture sous stratégies / Olivier Fissore ; sous la dir de Hélène Kirchner / , 2003
Bases de données déductives : négation et logique des défauts / Nicole Bidoit ; [sous la direction de] François Bancilhon / [S.l.] : [s.n.] , 1989
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. / 1st ed. 2010. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
Vérification de programmes en code octet et ses applications / par Mariela Pavlova ; sous la direction de Gilles Barthe et de Lilian Burdy / Grenoble : Atelier national de reproduction des thèses , 2007
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / [edited by] Matthias Baaz, Andrei Voronkov / Berlin [etc.] : Springer
A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. / 1st ed. 2010. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
JFPL'95 : IVèmes journées francophones de programmation en logique & Journée d'étude programmation par contraintes et applications industrielles, Dijon, 17/19 mai 1995 / organisées par [le] CRID, centre de recherche en informatique de Dijon ; [le] LAB, laboratoire d'automatique de Besançon, [et l'] AFCET, groupe programmation en logique (ALP France) / Toulouse : Teknea , cop. 1995
EAGLE : Un système pour la découverte interactive de descriptions de concepts basé sur la théorie des ensembles approximatifs / Emmanuelle Martienne ; [sous la dir. de] Mohamed Quafafou / [S.l.] : [s.n.] , 1999
1985 symposium on logic programming : proceedings : July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts / sponsored by IEE computer Society, Technical commitee on computer languages / Silver Spring, MD : IEEE computer society press , 1985
Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 : proceedings / [edited by] Frank Pfenning / Berlin [etc.] : Springer
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers / Maurice Bruynooghe (ed.) / Berlin : Springer , cop. 2004
Logic and discrete mathematics : a computer science perspective / Winfried Karl Grassmann,... Jean-Paul Tremblay,... / Upper Saddle River (N.J.) : Prentice Hall , 1996, cop. 1996
Logic programming in software engineering : cours = = tutorial no 7 : / Y. Deville, L. Sterling, P. Deransart ; INRIA / Le Chesnay : INRIA , [1991]
Handbook of logic in artificial intelligence and logic programming Volume 3, Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay and C. J. Hogger,... and J. A. Robinson,... ; co-ordinator D. Nute,... / Oxford : Clarendon press , 1994
Acquisition automatique de lexiques sémantiques pour la recherche d'information / par Vincent Claveau / Villeurbanne : [CCSD] , 2010
Logic programming : proceedings of the sixth international conference / edited by Giorgio Levi and Maurizio Martelli / Cambridge, Mass. : MIT Press , cop. 1989
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter / Cambridge : Cambridge University Press , 1992
On infinite loops in logic programming / Philippe Besnard / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / edited by Pierre Deransart, Jan Maluszyński. / Berlin [etc.] : Springer
APSYS : analyseur automatique de programmes par synthèse de leurs spécifications / Nadya Tareb ; [sous la direction d'] Yves Kodratoff / [S.l.] : [s.n.] , 1988
Programmation en logique : SPLT'89 : actes du 8ème séminaire, Trégastel, 24-26 mai 1989 / edité par S. Bourgault et M. Dincbas / Lannion (France) : CNET , cop. 1989
A grammatical view of logic programming / Pierre Deransart, Jan Maluszynski / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1988
Structure des objets et raisonnements dans les langages de clauses : Application à l'optimisation sémantique de requêtes = = Reasoning over object structures in clauses : Application to semantic query optimization / par Christophe Rigotti ; sous la direction de Jacques Kouloumdjian / [Lieu de publication inconnu] : [éditeur inconnu] , 1996
Model-Driven Data Warehouse and its Automation Using Machine Learning Techniques [Ressource électronique] / Moez Essaidi ; sous la direction de Aomar Osmani et Céline Rouveirol / Villetaneuse : Université de Paris 13 , 2013
Une approche de synthese pour la programmation logique et ses extensions / Frederic Saubion ; sous la direction de Siva Anantharaman / Grenoble : Atelier national de reproduction des thèses , [1996]
Contribution à la validation des spécifications algébriques et à l’étude des spécifications algébriques avec contraintes = = Contribution to the Validation Of Algebraic Specifications and to the Study of Algebraic Specifications With Constraints : / par Sylvie Calabretto ; sous la direction de Guy Boulaye / [Lieu de publication inconnu] : [éditeur inconnu] , 1993
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm / Cambridge (Mass.) : The MIT Press , 1996
Inductive Logic Programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers / edited by Luc Raedt. / 1st ed. 2010. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
Intelligence artificielle : cours, exercices corrigés et projets / Louis Gacôgne / Paris : Ellipses
Rapport scientifique présenté pour l'obtention d'une habilitation à diriger des recherches / Froidevaux, C / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1993
Program development in computational logic : a decade of research advances in logic-based program development / [edited by] Maurice Bruynooghe, Kung-Kiu Lau / Berlin [etc.] : Springer
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings / Maurizio Gabbrielli, Gopal Gupta (Eds.) / Berlin : Springer , cop. 2005
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 ; proceedings / Philippe Codognet (ed.) / Berlin : Springer , 2001
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers / [edited by] Michael Leuschel / Berlin [etc.] : Springer
Les systèmes cognitifs dans les réseaux autonomes : une méthode d'apprentissage distribué et collaboratif situé dans le plan de connaissance pour l'auto-adaptation / Maïssa Mbaye ; sous la direction de Francine Krief / , 2009
JFPLC'99 : huitièmes journées francophones de programmation logique et programmation par contraintes, 2-4 Juin 1999, Lyon, France / coordonnateur François Fages / Paris : Hermès Science , impr. 1999, cop. 1999
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds / Berlin : Springer-Verlag , cop. 1990
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / [edited by] Vladimir Lifschitz, Ilkka Niemelä / Berlin [etc.] : Springer
Découverte de motifs relationnels en bioinformatique : application à la prédiction de ponts disulfures / Ingrid Jacquemin ; [sous la dir. de] Jacques Nicolas / [S.l.] : [s.n.] , 2005
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszynski, M. Wirsing, (eds.) / Berlin : Springer-Verlag , cop. 1991
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) / par Daniel Diaz ; [sous la direction de] M. P. Deransart,... / Grenoble : Atelier national de reproduction des thèses , 1995
Base de données et programmation logique : mineure promotion 1990 (2eme année) / François Fages / Palaiseau : École polytechnique , 1993
Programmation en logique concurrente : comparaison des techniques / Stephen Taylor ; préface de Pierre Deransart ; traduction française, Clotilde Fermaut... / Paris-la-Défense : AFNOR , impr. 1991, cop. 1991
Programmation en logique avec contraintes : actes / [13e Journées de programmation en logique et programmation par contraintes] JFPLC'2004, 21 au 23 juin 2004, Angers, France ; [organisées par le LERIA, Laboratoire d'études et de recherche en informatique d'Angers, Université d'Angers [et] l'AFLPC, Association française pour la programmation en logique et la programmation par contraintes] ; sous la direction de Fred Mesnard / Paris : Hermès science publ. , DL 2004
Handbook of logic in artificial intelligence and logic programming Volume 4, Epistemic and temporal reasoning / edited by Dov M. Gabbay and C.J. Hogger,... and J.A. Robinson,... ; volume coordinator Antony Galton / Oxford : Clarendon Press , 1995, cop. 1995
Basic concepts of logic programming and Prolog : cours = = tutorial no 1 : / G. Ferrand ; INRIA / Le Chesnay : INRIA , [1991]
Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings / edited by Maurice Bruynooghe, Martin Wirsing. / Berlin [etc.] : Springer
Règles d'évaluation équitables en programmation logique / par Stéphane Janot ; [sous la direction de Jean-Paul Delahaye] / [S.l.] : [s.n.] , 1991
[Revised and extended versions of papers] / from the fourth international conference on algebraic and logic programming held in Madrid on 14-16 september 1994 ; eds. G. Levi, M. Rodriguez-Artalejo / Amsterdam : Elsevier , 1996
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany December 2–6, 1991 : proceedings / [edited by] G. Brewka, K. P. Jantke, P. H. Schmitt / Berlin [etc.] : Springer
Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.) / New York : Springer
Transformations de programmes logiques avec contraintes / Nacera Bensaou / Grenoble : Atelier national de reproduction des thèses , 1996
Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin / Cambridge, Mass. : MIT Press , cop. 1991
Preuves d'équivalence de programmes logiques / Sorin Craciunescu ; sous la direction de François Fages / Palaiseau : École polytechnique , 2004
Flux de l'information en programmation logique / Antoun Yaacoub ; directeurs de thèse, Philippe Balbiani et Ali Awada / Lille : Atelier national de reproduction des thèses , 2012
Handbook of logic in artificial intelligence and logic programming Volume 5, Logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson / Oxford : Clarendon Press , 1998
Réalisation d'un traducteur automatique des règles d'interférence du langage Prolog et de ses extensions, en code de la machine abstraite Tarski/ Patrick Maquin / Patrick MAQUIN / Toulouse : CNAM , 1993
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds / Berlin : Springer
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. / 1st ed. 2007. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2007
Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / edited by Filip Železný, Nada Lavrač. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 / edited by Veronica Dahl and Patrick Saint-Dizier / Amsterdam : North-Holland , 1988
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer / Berlin : Springer-Verlag , cop. 1991
Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Giorgio Levi, Mario Rodríguez-Artalejo. / Berlin [etc.] : Springer
Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20–22, 1995 : proceedings / [edited by] Maurizio Proietti / Berlin [etc.] : Springer
Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / J. W. Lloyd (Ed.) / Berlin : Springer , cop. 1990
Logic programming and automated reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 : proceedings / [edited by] Harald Ganzinger, David McAllester, Andrei Voronkov / Berlin [etc.] : Springer
Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy King. / Berlin, Heidelberg : Springer Berlin Heidelberg
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28–31, 1997 : proceedings / [edited by] Jürgen Dix, Ulrich Furbach, Anil Nerode / Berlin [etc.] : Springer
The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride / Cambridge (Mass.) : The MIT Press
Raisonnement sur les contraintes en programmation en logique / Thomas Graf / [Lieu de publication inconnu] : [éditeur inconnu] , 1989
Logic Programming (vol. # 3668) : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta. / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9–11, 2001 : proceedings / [edited by] Céline Rouveirol, Michéle Sebag / Berlin [etc.] : Springer
Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12–14, 1989 / [edited by] K. Furukawa, H. Tanaka, T. Fujisaki / Berlin [etc.] : Springer
Logic Based Program Synthesis and Transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. / Berlin, Heidelberg : Springer Berlin Heidelberg
Sémantique, implantation et tests de Modulog/ Serge Lovato / Serge LOVATO / Paris : CNAM , 1994
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) / Berlin : Springer-Verlag , cop. 1994
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2003
Décomposition en programmation logique / par Philippe Ezequel ; sous la direction de Joël Quinqueton / , 1990
Logique et théorie des systèmes digitaux / André Thayse / Paris : Hermes science publ. , 2002
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers / Annalisa Bossi (ed.) / Berlin : Springer , 2000
The hidden logic of Sudoku / Denis Berthier / [S.l.] : Lulu.com , cop. 2007
Programmation en logique avec contraintes : actes des JFPLC'2001, 24 avril-27 avril 2001, Cité des sciences et de l'industrie, Paris / coordonnateur, Philippe Codognet / Paris : Hermès sciences , DL 2001
Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : revised selected papers / François Fages, Francesca Rossi, Sylvain Soliman (eds.) / Berlin : Springer , cop. 2008
Extensions grammaticales de la programmation (en) logique : Application à la validation des grammaires affixes / par Sadegh Sai͏̈di ; [sous la direction de Bertrand David] / [S.l.] : [s.n.] , 1992
Flux de l'information en programmation logique [Ressource électronique] / Antoun Yaacoub ; directeurs de thèse, Philippe Balbiani et Ali Awada / Toulouse : Université Paul Sabatier, Toulouse 3 , 2013
Warren's abstract machine : a tutorial reconstruction : cours = = tutorial no 4 : / H. Ai͏̈t-Kaci ; INRIA / Le Chesnay : INRIA , [1991]
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 / edited by Eiiti Wada. / Berlin [etc.] : Springer
Journées de logique et philosophie [Aix-en-Provence, mai 1991] : la logique, science normative ou science appliquée ? / Travaux de l'URA 1084, CNRS, Université de Provence / Aix-en-Provence : Publications de l'Université de Provence , 1996
La résolution hiérarchisée, une solution au problème de la négation en programmation logique / Alonso Marquez ; [sous la direction d] Yves Kodratoff / [S.l.] : [s.n.] , 1988
Langage de biais en apprentissage symbolique / par Frédéric Moal ; sous la direction de Christel Vrain,... / Grenoble : Atelier national de reproduction des thèses , 2000
Apprentissage incrémental des modèles d'action relationnels / Christophe Rodrigues ; sous la direction de Céline Rouveirol et Pierre Gérard / Villetaneuse : Université Paris 13 , 2013
Macro-opérateurs en Programmation Logique Inductive : théorie et algorithmes / Erick Alphonse ; sous la direction de Céline Rouveirol / , 2003
Les hypernets : un outil de modélisation et de spécification / par Arnaud Lefort ; sous la direction de Jean-Claude Gentina et de Pascal Yim / Villeneuve d'Ascq : Université Lille 1 - Sciences et technologies , 2013
Programmation en logique : actes / du Seminaire 1986, Tregastel, 21-23 mai 1986 ; org. par le CNET / Lannion : CNET , 1986
Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.) / New York : Springer
Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.) / Berlin : Springer-Verlag , cop. 1992
The Practice of Prolog / edited by Leon S. Sterling / Cambridge, Mass. : MIT Press , cop. 1990
P-Prolog : a parallel logic programming language / Rong Yang / Singapore : World scientific , 1987
Systèmes d'agents normatifs : concepts et outils logiques / Tiberiu Stratulat ; [sous la direction de] Patrice Enjalbert / Grenoble : Atelier national de reproduction des thèses , 2002
Logic Programming and Nonmotonic Reasoning : 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings / edited by Thomas Eiter, Wolfgang Faber, Miros law Truszczyński. / Berlin [etc.] : Springer
Un modèle objet logique et relationnel : le langage OTHELO / Mireille Fornarino, Anne-Marie Pinna ; sous la direction de Paul Franchi-Zannettachi / Grenoble : Atelier national de reproduction des thèses , 1990
Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes / Lotfi Berkaoui ; sous la direction de Bruno Legeard / [S.l.] : [s.n.] , 1999
Inductive Logic Programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / Luc De Raedt (eds.) / Berlin : Springer , cop. 2010
Logic for applications / Anil Nerode, Richard A. Shore / New York : Springer-Verlag , cop. 1993
Logic programming : operational semantics and proof theory / James H. Andrews / [Paperback re-issue] / Cambridge : Cambridge University Press , 2004
Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17–20, 2001 : proceedings / [edited by] Pavel Brazdil, Alípio Jorge / Berlin [etc.] : Springer
Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli. / Berlin, Heidelberg : Springer Berlin Heidelberg
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires / Theo Grente ; sous la direction de Étienne Grandjean et de Véronique Terrier / , 2020
Journal of logic and computation / Oxford : Oxford University Press , 1990-
Logics for emerging applications of databases ; Texte imprimé / Jan Chomicki, Ron van der Meyden, Gunter Saake (eds.) / Berlin : Springer , c2004
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira / Berlin [etc.] : Springer
La consommation en registres en présence de parallélisme d'instructions / Sid-Ahmed-Ali Touati ; sous la dir. de William Jalby / [S. l.] : [s. n.] , 2002
Programmation logique : mineure promotion 1992, 2ème année / François Fages / Palaiseau : École polytechnique , 1995
Inductive Logic Programming : 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings / Filip Železný, Nada Lavrač (eds.) / Berlin : Springer , cop. 2008
Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday / Marcello Balduccini, Tran Cao Son (eds.) / Berlin : Springer , cop. 2011
Contribution à l'étude et au développement d'un système de diagnostic de dysfontionnement d'un procédé de distillation / Andy Noorsaman ; sous la direction de Dominique Depeyre / [S.l.] : [s.n.] , 1993
Logic programming volume 2, : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge (Mass.) : MIT Press
Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen. / Berlin [etc.] : Springer
Construction de programmes logiques par synthèse de propriétés / Khaled Bsaïes ; sous la direction de Alain Quéré / , 1993
Inférer et compiler la terminaison des programmes logiques avec contraintes / Sébastien Hoarau ; sous la direction de Henri Ralambondrainy / [Lieu de publication inconnu] : [éditeur inconnu] , 1999
Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace / Cambridge : Cambridge University Press , cop. 2007
Constructive matching methodology : an extension and an application to a planning problem / Marta Fran̆ová, Yves Kodratoff, Martine Gross / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , [1993]
Programmation logique inductive floue et possibilité : gagner en expressivité, adaptabilité, ou en efficacité / Mathieu Serrurier ; directeur de thèse Henri Prade / [S.l.] : [s.n.] , 2005
Construction et vérification de spécifications d'interfaces Homme-machine / Franck Chalaux / Nancy : Cnam , 1998
Logic programming conference : proceedings of the first conference held at Luminy, Marseille, France, September, 14-17, 1982 / edited by Michel Van Caneghem ... / Marseille : Faculté des sciences de Luminy , 1982
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / [edited by] David Page / Berlin [etc.] : Springer
Hierarchical resolution : a general solution to the negation problem in logic programming / Alonso Marquez / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1988
The logic programming paradigm : a 25-year perspective / K. R. Apt, Victor W. Marek, Mirek Truszczynski... [et al.], (eds.) / Berlin : Springer , c1999
Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / [edited by] L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister / Berlin [etc.] : Springer
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5–6, 1996 : selected papers / [edited by] Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski / Berlin [etc.] : Springer
Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings / Stefan Kramer, Bernhard Pfahringer (eds.) / Berlin : Springer , cop. 2005
Réductions correctes et optimales dans le lambda-calcul / Jean-Jacques Lévy ; [sous la direction de M. Nivat] / , 1978
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings / Sas̆o Dz̆eroski, Peter Flach (eds.) / Berlin : Springer
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. / Berlin, Heidelberg : Springer Berlin Heidelberg
Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming : CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers / Brahim Hnich ... [et al.](eds.) / Berlin : Springer , cop. 2006
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14–18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 : proceedings / [edited by] A. Voronkov / Berlin [etc.] : Springer
Systèmes d'agents normatifs : concepts et outils logiques / Tiberiu Stratulat ; [sous la direction de] Patrice Enjalbert / [s.l.] : [s.n.] , 2002
Multiparadigm programming in Leda / Timothy Budd / Reading, Mass. : Addison-Wesley , c1995
Foundations of equational logic programming / Steffen Hölldobler / Berlin [etc.] : Springer
Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings / edited by Hélène Kirchner, Wolfgang Wechler. / Berlin [etc.] : Springer
Handbook of logic in computer science Volume 2, deduction methodologies / edited by Dov M. Gabbay and C. J. Hogger,... and J. A. Robinson,... ; volume co-ordinator J. Siekmann,... / Oxford : Clarendon press , 1994
Evolution et apprentissage automatique pour l'annotation fonctionnelle et la classification des homologies lointains en protéines / Juliana Silva Bernardes ; sous la direction de Alessandra Carbone et Gerson Zaverucha / Lille : Atelier national de reproduction des thèses , 2012
Latest advances in inductive logic programming / Stephen H. Muggleton & Hiroaki Watanabe,... / London : Imperial College Press , cop. 2015
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / Andy King (ed.) / Berlin : Springer , cop. 2008
Implémentation et évaluation d'un système logique parallèle / Jacques Chassin de Kergommeaux ; sous la direction de Jacques Mossière / Grenoble : Atelier national de reproduction des thèses , 1989
Les hypernets : un outil de modélisation et de spécification / par Arnaud Lefort ; sous la direction de Jean-Claude Gentina et de Pascal Yim / [S.l.] : [s.n.] , 1998
Algorithmic learning theory : special issue / dedicated to the sixth International workshop ALT'95 held at Fukuoka, october 18-20 1995 ; ed. Thomas Zeugmann / Amsterdam : Elsevier , 1997
Transformation de programmes logiques : application à la personnalisation et à la personnification d'agents. / Georges Dubus ; sous la direction de Yolaine Bourda / , 2014
Logic programming : proceedings / of the 4th UK conference on...., ALPUK 92, London, 30 March-1 April 1992 ; ed. Krysia Broda / London : Springer , cop. 1993
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / [edited by] P. Schroeder-Heister / Berlin [etc.] : Springer
Logical and relational learning / Luc De Raedt / Berlin : Springer , cop. 2008
Calcul des états atteignables de programmes ESTEREL partitionné selon la syntaxe / par Eric Vecchié ; sous la direction de Robert de Simone / Grenoble : Atelier national de reproduction des thèses , 2004
Etude et réalisation d'un système d'aide à la mise au point en programmation logique / Christian Debarbieri ; sous la direction de Bernard Péroche / Saint-Etienne : École Nationale Supérieure des Mines de Saint-Etienne , 2013
Approche logique de lʾintelligence artificielle / par André Thayse ... [et al.] / [Paris] : Dunod
Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19–21, 2002 : selected papers / [edited by] Barry O’Sullivan / Berlin [etc.] : Springer
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / Berlin, Heidelberg : Springer Berlin Heidelberg
Logic, programming and PROLOG / Ulf Nilsson and Jan Maluszynski,... / Chichester : J. Wiley and sons , cop. 1990
SACRE : Une approche de résolution en logique fondée sur des techniques de satisfaction de contraintes / Jean-Michel Richer ; sous la direction de Jean-Jacques Chabrier / , 1999
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.) / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Découverte de motifs relationnels en bioinformatique : application à la prédiction de ponts disulfures / Ingrid Jacquemin / Villeurbanne : [CCSD] , 2007
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions / by Dominique Snyers, André Thayse. / Berlin [etc.] : Springer
Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds) / New York : Springer
Advanced topics in term rewriting : with 43 figures / Enno Ohlebusch / New-York : Springer-Verlag , cop. 2002
The Journal of logic and algebraic programming / editors-in-chief J.A. Bergstra, J.V. Tucker / Amsterdam : North-Holland , 2001-2014
Logic programming and non-monotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings / W.M. Marek, A. Nerode, M. Truszczyński, eds / Berlin : Springer Verlag , 1995
Caractérisation complète des extensions : application de la programmation logique avec contraintes au calcul d'extensions d'un fragment de la logique de defauts / Dinh Du Nguyen ; [sous la direction de] Norbert Cot / Grenoble : Atelier national de reproduction des thèses , 1998
Interactive Relational Database Design : A Logic Programming Implementation / edited by Tapan P. Bagchi, Vinay K. Chaudhri. / Berlin [etc.] : Springer
Résolution dans les systèmes formels abstraits : applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles. = = Resolution in abstract formal systems : applications to logic programming, to rewrite rules and to formal grammars / par Pascal Yim ; sous la direction de Guy Boulaye / Grenoble : Atelier national de reproduction des thèses , 1989
Advances in logic programming theory / edited by Giorgio Levi / Oxford : Clarendon Press , 1994
Logique temporelle : sémantique et validation de programmes parallèles / Éric Audureau..., Patrice Enjalbert..., Luis Fariñas del Cerro,... ; préface de Erwin Engeler / Paris : Masson , DL 1990
Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam. / Berlin [etc.] : Springer
Logique Volume 2, Méthodes formelles pour l'étude des programmes / Paul Gochet, Pascal Gribomont / Paris : Hermès
Inductive logic programming : 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 : proceedings / [edited by] James Cussens, Alan Frisch / Berlin [etc.] : Springer
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi. / Berlin [etc.] : Springer
Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes / par Benoît Parreaux ; sous la direction de Jacques Julliard / Grenoble : Atelier national de reproduction des thèses , 2000
La logique dans la programmation : synthèse logique de programmes et langages de programmation logique / Franz Bertram Fronhöfer ; sous la direction de Philippe Jorrand / Grenoble : Atelier national de reproduction des thèses , 1989
Apprentissage incrémental des modèles d'action relationnels / Christophe Rodrigues ; sous la direction de Céline Rouveirol et Pierre Gérard / Villetaneuse : Université Paris 13 , 2013
From logic to logic programming / Kees Doets / Cambridge (Mass.) : MIT Press , cop. 1994
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds / Berlin : Springer-Verlag , cop. 1994
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed / Berlin : Springer-Verlag , cop. 1992
Une aide interactive a la construction de preuves en logique du premier ordre / Laurent Fallot / Grenoble : Atelier national de reproduction des thèses , 1989
Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / (edited by] Kung-Kiu Lau / Berlin [etc.] : Springer
Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect / David Fauthoux ; sous la direction de Jean-Paul Bahsoun / Grenoble : Atelier national de reproduction des thèses , 2004
Multivalued stable semantics for updating incomplete information databases / Spyratos, N., Stamate, D / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1995
Machines spécialisées et programmation en logique / Gilles Berger-Sabbatel ; sous la direction de [François Anceau] / Grenoble : Atelier national de reproduction des thèses , 1988
Machines spécialisées et programmation en logique / Gilles Berger-Sabbatel ; sous la direction de [François Anceau] / Grenoble : Université Joseph Fourier , 2008
Logic programming and non-monotonic reasoning : proceedings of the First International Workshop / ed. by Anil Nerode, Wiktor Marek, and V. S. Subrahmanian / Cambridge (Mass.) : The MIT Press , cop. 1991, cop. 1991
Advances in inductive logic programming / ed. by L. De Raedt / Amsterdam : IOS Press , 1996
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) / par Daniel Diaz ; [sous la dir. de] M. P. Deransart,... / , 1995
Programmation logique : non-commutativité et polarisation / Remi Baudot ; sous la dir. de Jacqueline Vauzeilles / [S.l.] : [s.n.] , 2000
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.) / Berlin : Springer , cop. 2010
Fusion de bases de croyances et programmation logique avec sémantique des modèles stables / Julien Hué ; sous la direction de Odile Papini ; co-directeur de thèse, Eric Würbel / Lille : Atelier national de reproduction des thèses , 2009
Comprehension du langage naturel et programmation en logique = = Natural language understanding and logic programming : / [S.l.] : INRIA , [1984]
Inductive logic programming : 4th International workshop : Papers and programme
Fondements de la programmation logique / J.-W. Lloyd ; traduit de l'anglais par Violaine Thibau,... / Paris : Eyrolles , 1988, cop. 1988
Programmation en logique avec contraintes : actes des JFPLC'2002 / [11e Journées francophones de programmation logique et programmation par contraintes], 27 mai-30 mai 2002, Université de Nice Sophia-Antipolis, France ; coord. Michel Rueher / Paris : Hermès science , 2002
A 25-year Perspective on Logic Programming : achievements of the italian association for logic programming, GULP = = Agostino Dovier, Enrico Pontelli (eds.) : / Berlin : Springer , cop. 2010
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.) / New York : Springer
Model-Driven Data Warehouse and its Automation Using Machine Learning Techniques / Moez Essaidi ; sous la direction de Aomar Osmani et Céline Rouveirol / [S.l.] : [s.n.] , 2013
Semantics of the concurrent logic programming language PARLOG / Gilles Richard, Antoine Rizk / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1988
Narrowing based procedures for equational disunification / Fernández, M / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.) / Berlin : Springer , cop. 2003
Programming with MALI : the interpretation of Prolog programs / Louis Chevallier, Serge Le Huitouze, Olivier Ridoux / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
Contribution à l'intégration de concepts et de mécanismes de langages avancés pour la programmation logico-fonctionnelle : le langage VEGA / François Jacquenet ; sous la direction de Jean-Jacques Chabrier / , 1988
Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings / Tamás Horváth, Akihiro Yamamoto (eds.) / Berlin : Springer , cop. 2003
Eleventh International conference on inductive logic programming : ILP 2001, sept. 9-11, Strasbourg, France : work in progress track / [ed. by Céline Rouveirol and Michèle Sebag] / Illkirch (67400) : LSIIT , [2001]
Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28–30, 1996 : proceedings / [edited by] John Gallagher / Berlin [etc.] : Springer
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / A. Voronkov, ed / Berlin : Springer-Verlag , cop. 1993
Flux de l'information en programmation logique / Antoun Yaacoub ; directeurs de thèse, Philippe Balbiani et Ali Awada / [S.l.] : [s.n.] , 2012
Update rules in datalog programs / Halfeld Ferrari Alves, M., Laurent, D., Spyratos, N / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1996
Programmation logique : mineure langage SICSTUS promotion 1992, 2ème année / François Fages / Palaiseau : École polytechnique , 1995
Gestion de la complexité dans un logiciel destiné à la simulation numérique multiphysique / Huynh Quoc Hung ; sous la direction de Yves Maréchal et Jean-Louis Coulomb / Grenoble : Atelier national de reproduction des thèses , 2006
ALOG : acteurs et programmation en logique / par Françoise Carré ; sous la dir. de Patrick Sallé / [S.l.] : [s.n.] , 1984
Automated test generation from bounded data types specifications / Arnould, A., Le Gall, P., Marre, B / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1997
Specifications of the HAIKU system / Nedellec, C., Rouveirol, C / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1994
Encoding a dependent-type [lambda]-calculus in a logic programming language / Amy Felty, Dale Miller / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / Rui Camacho, Ross King, Ashwin Srinivasan (eds.) / Berlin : Springer , cop. 2004
Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings / Chitta Baral ... [et al.] (eds.) / Berlin : Springer , cop. 2005
Délinéarisation automatique de flux de télévision / Gaël Manson / Villeurbanne : [CCSD] , 2010
Un démonstrateur pour la logique de défauts propositionnelle de Lukaszewicz basé sur un algorithme de production / Ciorba, V., Froidevaux, C / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1996
Software testing based on formal specifications : a theory and a tool / Bernot, G., Gaudel, M.-C., Marre, B / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1990
Contribution à l'intégration de la programmation logique et de la programmation par objets : étude, conception et implantation / Macaire Ngomo ; sous la direction de Jean-Pierre Pécuchet / , 1996
Formal and practical aspects of test selection based on algebraic specifications / Gilles Bernot, Bruno Marre / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1990
Integrating quantification in inductive processes / Goncalves, M.E., Froidevaux, C / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1996
Une machine abstraite pour la mise en œuvre du parallélisme ou/et en programmation logique / Philippe Robert ; sous la direction de Jean-Claude Syre / [S.l.] : [s.n.] , 1988
Structuration des données dans le cadre d'un système de gestion de bases de connaissances = = Data Structuring in the knowledge Base management Systems : / par Mohand-Said Djennaoui ; sous la direction de Jacques Kouloumdjian / [Lieu de publication inconnu] : [éditeur inconnu] , 1992
Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.) / Berlin : Springer , cop. 2002
Logic programming : proceedings / of the 3rd UK annual conference on..., ALPUK 91, Edinburgh, 10-12 April 1991 ; ed. Geraint A. Wiggins, Chris Mellish, Tim Duncan / London : Springer , cop. 1992
Apprentissage incrémental des modèles d'action relationnels / Christophe Rodrigues ; sous la direction de Céline Rouveirol et Pierre Gérard / Lille : Atelier national de reproduction des thèses , 2013
Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings / edited by Michael Hanus, Mario Rodríguez-Artalejo. / Berlin [etc.] : Springer
Logic programming tools for metabolic fluxes analysis and biological applications / Maxime Mahout ; sous la direction de Sabine Pérès / , 2023
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI = = Implementation of a language based on higher-order logic with MALI : / Pascal Brisset / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1989]
Distributed constraint logic programming / Ho-Fung Leung / Singapore : World Scientific , c1993
An object-oriented model in the concurrent logic programming language PARLOG / Antoine Rizk, Jean-Marc Fellous, Michel Tueni / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
Etude et réalisation d'un système d'aide à la mise au point en programmation logique / Christian Debarbieri ; sous la direction de Bernard Péroche / [Lieu de publication inconnu] : [éditeur inconnu] , 1990
Advances in logic programming and automated reasoning Volume 1, / edited by Ralph W. Wilkerson / Norwood, NJ : Ablex Pub. Corp. , 1992-
La consommation en registres en présence de parallélisme d'instructions / Sid-Ahmed-Ali Touati ; sous la direction de William Jalby / Grenoble : Atelier national de reproduction des thèses , 2002
Cadre multi-niveaux de programmation logique et orientée objet : étude, extensions et réalisation / Abdenbi Drissi Talbi ; sous la direction de Habib Abdulrab / , 1996
Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings / [edited by] Norbert E. Fuchs / Berlin [etc.] : Springer
Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15–20, 1992 : proceedings / [edited by] A. Voronkov / Berlin [etc.] : Springer
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24–27, 1999 : proceedings / [edited by] Sašo Džeroski, Peter Flach / Berlin [etc.] : Springer
Evacuation planning using Answer Set Programming = = Evacuation planning using answer set programming : / par Claudia Zepeda Cortès ; sous la direction de Robert Laurini [et] David Sol Martínez / [S.l.] : [s.n.] , 2005
1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey / sponsored by IEEE Computer Society, Technical Committee on Computer Languages / Silver Spring, MD : IEEE Computer Society Press , c1984
A tight, practical integration of relations and functions / Harold Boley / Berlin [etc.] : Springer
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Roland Wolf / Berlin [etc.] : Springer
A Grammatical view of logic programming / Pierre Deransart and Jan Maluszyúski / Cambridge (Mass.) : The MIT Press , 2003
Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.) / Berlin : Springer-Verlag , cop. 1991
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 ; proceedings / [edited by] Philippe Codognet / Berlin [etc.] : Springer
Initiation à la logique programmée et au microprocesseur / J. Couderc / Paris : Cepadues , DL 1980
Evaluation de spécifications formelles B en programmation logique avec contraintes ensemblistes : application à l'animation et au model-checking / Laurent Py ; sous la dir. de B. Legeard / [S.l.] : [s.n.] , 2000
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds / New York : Springer
Programming language implementation and logic programming : proceedings / 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 ; M. Bruynooghe, M. Wirsing (eds.) / Berlin : Springer-Verlag , cop. 1992
Logic programming : operational semantics and proof theory / James H. Andrews / Cambridge : Cambridge University Press , 1992
Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10–14, 1990 : proceedings / [edited by] J. van Eijck / Berlin [etc.] : Springer
Gentzen : selected papers / presented at, or inspired by the final "Gentzen" conference held in Rome, 3-5 october 1996 ; eds. C. Böhm, I. Guessarian / Amsterdam : Elsevier , 1999
Programming language implementation and logic programming : proceedings / 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994 ; ed. Manuel Hermenegildo, Jaan Penjam / Berlin : Springer , Cop
Evacuation planning using Answer Set Programming = = Evacuation planning using answer set programming : / par Claudia Zepeda Cortès ; sous la direction de Robert Laurini [et] David Sol Martínez / Grenoble : Atelier national de reproduction des thèses , 2005
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / [edited by] Michael Fisher, Richard Owens / Berlin [etc.] : Springer
JFPLC'96 / cinquièmes journées francophones de programmation logique et programmation par contraintes, Clermond-Ferrand, 5-7 juin 1996 ; coordonnateur Jean-Louis Imbert / Paris : Hermès , DL 1996
18th International configuration workshop : proceedings of the 18th International Configuration workshop within CP 2016 conference, September 5-6, 2016, Toulouse, France / edited by Élise Vareilles, Lars Hvam, Cipriano Forza,...[et al.] ; organized by Centre Génie industriel, Mines Albi, France / Albi : École des Mines d'Albi-Carmaux , cop. 2016
Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.) / Berlin : Springer , cop. 2008
Génération automatique de test pour les contrôleurs logiques programmables synchrones / Mouna Tka ; sous la direction de Ioannis Parissis / , 2016
De la construction de preuves à la programmation parallèle en logique linéaire / Guy Perrier ; sous la direction de D. Galmiche / [S.l.] : [s.n.] , cop. 1995
Machines spécialisées et programmation en logique / Gilles Berger-Sabbatel ; sous la direction de [François Anceau] / , 1988
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish / Cambridge (Mass.) : MIT Press , cop. 1997
Exploiting non-canonicity in the sequent calculus / par Vivek Nigam ; sous la direction de Dale Miller / [S.l.] : [s.n.] , 2009
ICLP'91 cours n°2, Logic programming for language processing : 8ème conférence international Programmation en logique, 25-28 juin 1991, Hôtel Pullman, Paris / Patrick Saint-Dizier / Rocquencourt : INRIA , 1991
Implémentation et évaluation d'un système logique parallèle / Jacques Chassin de Kergommeaux ; sous la direction de Jacques Mossière / Grenoble : Université Joseph Fourier , 2007
Handbook of logic in computer science Volume 3, Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay and C. J. Hogger,... and J. A. Robinson,... ; volume co-ordinator D. Nute,... / Oxford : Clarendon press
Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti (ed.) / Berlin : Springer
Principles and practice of constraint programming : the Newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter / Cambridge (Mass.) : MIT Press , cop. 1995
Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen / Berlin : Springer-Verlag , cop. 1982
Méthodologies et techniques de résolution de problèmes avec contraintes. Application en programmation logique avec objets : COOXI / Laurent Cervoni ; sous la direction de Jean-Pierre Pécuchet / , 1994
Logic Programming (vol. # 4079) : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Sandro Etalle, Miroslav Truszczynski. / 1st ed. 2006. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006
L'art de Prolog / Leon Sterling,... Ekud Shapiro,... ; préface de D.H.D. Warren,... ; traduit de l'anglais par Michel Eytan,... / Paris : Masson , 1990
LOGRE: : Un prototype de système de programmation en logique utilisant des techniques de réécriture / Jacques Durand / , 1984
Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs / Berlin : Springer
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki. / Berlin [etc.] : Springer
Handbook of logic in artificial intelligence and logic programming Vol. 1-4, / edited by Dov M. Gabbay, and C. J. Hogger and J. A. Robinson ; volume coordinator, J. Siekmann, D. Nute, Antony Galton / Oxford : Clarendon Press , 1993-1995
Logic Programming and Knowledge Representation : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. / Berlin [etc.] : Springer
Une logique pour la planification en environnement partiellement observable / Thomas Polacsek ; sous la direction d'Andreas Herzig / Grenoble : Atelier national de reproduction des thèses , 2004
Foundations of logic programming / J. W. Lloyd / Berlin : Springer-Verlag , 1984
Algebraic and logic programming : third international conference, Pisa, Italy, September 1992: proceedings / H. Kirchner, G. Levi, eds / Berlin : Springer-Verlag , 1992
Deductive databases and logic programming / Subrata Kumar Das / Workingham, Eng. : Addison-Wesley , cop. 1992
Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : Proceedings / Peter J. Stuckey (ed.) / Berlin : Springer , cop. 2002
Logic and language models for computer science / Henry Hamburger, Dana Richards / Upper Saddle River, N.J. : Prentice Hall , cop. 2002
Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.) / Berlin : Springer-Verlag , cop. 1994
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.) / Berlin : Springer , cop. 2000
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors / Boston : Birkhäuser , 1993
Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming / edited by Joxan Jaffar / Cambridge, Mass. : MIT Press
Foundations of logic programming / J.W. Lloyd / 2nd extended edition / Berlin : Springer , cop. 1987
Evaluation de notations formelles de spécifications par systèmes de contraintes / par Nicolas Vacelet ; sous la direction de Bruno Legeard / Grenoble : Atelier national de reproduction des thèses , 2004
DLP : a language for distributed logic programming : design, semantics, and implementation / Anton Eliëns / Chichester [England] : J. Wiley , cop. 1992
Programming with higher-order logic / Dale Miller,...Gopalan Nadathur,... / Cambridge : Cambridge University Press , 2012
Journal of logic and computation / Oxford : Oxford University Press , 1990-
La programmation avec ScratchJr : [cycles 2 et 3] : développer la pensée logique / Frédéric Crochet,... / Paris : Hatier , DL 2019
Effective logic computation / Klaus Truemper / New York : Wiley , cop. 1998
Une logique pour la planification en environnement partiellement observable / Thomas Polacsek ; sous la dir. d'Andreas Herzig / [S.l.] : [s.n.] , 2004
Development of a probabilistic domain-specific language for brain connectivity including heterogeneous knowledge representation / Gaston Ezequiel Zanitti ; sous la direction de Demian Wassermann / , 2023
Programmation logique : non-commutativité et polarisation / Remi Baudot ; sous la direction de Jacqueline Vauzeilles / Grenoble : Atelier national de reproduction des thèses , 2000
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation / by Anne Mulkers. / Berlin [etc.] : Springer
Logic of computation / edited by Helmut Schwichtenberg / Berlin : Springer , cop. 1997
Interprétation abstraite en programmation logique avec contraintes / par Christophe Lecoutre ; sous la direction de Jean-Paul Delahaye / [S.l.] : [s.n.] , 1994
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.) / Heidelberg : Springer-Verlag , 1994
Applications of declarative programming and knowledge management : 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers / Salvador Abreu, Dietmar Seipel (eds.) / Berlin : Springer , cop. 2011
Evaluation de notations formelles de spécifications par systèmes de contraintes / par Nicolas Vacelet ; sous la direction de Bruno Legeard / [S.l.] : [s.n.] , 2004
Logic programming with Prolog / Max Bramer / Seconde édition / London : Springer , 2013
Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research / edited by David L. Woodruff / Boston, Mass. : Kluwer Academic Publishers , c1998
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) / par Daniel Diaz / Villeurbanne : [CCSD] , 2014
Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007 : revised selected papers / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) / Berlin : Springer , cop. 2009
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.) / Berlin : Springer , cop. 2004
ICLP'91 Cours n°8, Logics for logic programming : 8ème Conférence internationale Programmation en Logique, 25-28 juin 1991, Hôtel Pullman, Paris / D. Miller ; INRIA / Le Chesnay : INRIA , [1991]
Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : Proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.) / Berlin : Springer , cop. 2002
Système déductif dans le contexte de données réparties / par Isabelle Robert de Saint Victor ; sous la direction de Jacques Kouloumdjian / [S.l.] : [s.n.] , 1988
Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / Paolo Frasconi, Francesca A. Lisi (eds.) / Berlin : Springer , cop. 2011
Intelligence through simulated evolution : forty years of evolutionary programming / Lawrence J. Fogel / New York : Wiley , c1999
Inductive Logic Programming : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi. / 1st ed. 2011. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2011
La consommation en registres en présence de parallélisme d'instructions / Sid-Ahmed-Ali Touati / Villeurbanne : [CCSD] , 2004
Unification et disunification : théorie et applications / Hubert Comon ; sous la direction de J. Calmet / Grenoble : Atelier national de reproduction des thèses , 1988
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. / Berlin, Heidelberg : Springer Berlin Heidelberg
Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes / par Benoît Parreaux ; sous la dir. de Jacques Julliard / [S.l.] : [s.n.] , 2000
Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers / Danny De Schreye (ed.) / Berlin : Springer , cop. 2010
Investigating host-microbiota cooperation with gap-filling optimization problems / Clémence Frioux ; sous la direction de Anne Siegel / , 2018
Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers / Berlin : Springer-Verlag , cop. 1993
SET : système expert d'aide au diagnostic thermique : une approche de la représentation des connaissances en conception / Abdelhakim Lassoued ; sous la direction de Christian Giraud / [Lieu de publication inconnu] : [éditeur inconnu] , 1989
Sur le semi anneau de résolution / Marc Bagnol ; sous la direction de Jean-Yves Girard / , 2014
Programmation logique inductive floue et possibilité : gagner en expressivité, adaptabilité, ou en efficacité / Mathieu Serrurier ; sous la direction de Henri Prade / Grenoble : Atelier national de reproduction des thèses , 2005
Essentials of logic programming / Christopher John Hogger / Oxford : Clarendon Press , 1990
Computational logic : logic programming and beyond part I, : essays in honour of Robert A. Kowalski / [edited by] Antonis C. Kakas, Fariba Sadri / Berlin [etc.] : Springer
Logic, programming and Prolog / Ulf Nilsson, Jan Maluszynski / 2nd edition / Chichester (GB) : John Wiley
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, François Fages, Francesca Rossi, Sylvain Soliman. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.) / Berlin : Springer
La résolution hiérarchisée, une solution au problème de la négation en programmation logique / Alonso Marquez ; [sous la direction d] Yves Kodratoff / Grenoble : Atelier national de reproduction des thèses , 1988
Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings / K.U. Schulz (ed.) / Berlin : Springer-Verlag , 1992
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher / Cambridge, Mass. : MIT
The craft of Prolog / Richard A. O'Keefe / Cambridge (Mass.) : the MIT Press
Formalismes logiques, contraintes et applications : travaux présentés / lors de la manifestation scientifique JFPLC-UNIF'97 tenue à Orléans en mai 1997 ; éd. Siva Anantharaman, Frédéric Benhamou / Paris : Hermès , 1999
Evacuation planning using answer set programming [Ressource électronique] = = Plans d'évacuation en utilisant Answer Set Programming : / par Claudia Zepeda Cortès ; sous la direction de Robert Laurini [et] David Sol Martínez / Villeurbanne : Doc'INSA , 2006
Planification d'actions hiérarchique pour la simulation tactique / Alexandre Menif ; sous la direction de Tristan Cazenave et de Éric Jacopin / , 2017
Collaboration de solveurs pour la programmation logique à contraintes / Eric Monfroy ; sous la direction de Michaël Rusinowitch / , 1996
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son. / 1st ed. 2011. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2011
Implementations of logic programming systems / edited by Evan Tick, Giancarlo Succi / Boston : Kluwer Academic Publishers , cop. 1994
Une logique trivaluée appliquée à la programmation logique / Violaine Thibau ; [sous la direction de Jean-Paul Delahaye] / [S.l.] : [s.n.] , 1990
Sémantique de PARLOG, un langage logique parallèle / G. Richard, A. Rizk / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1988
Using algebraic specifications in software testing : a case study on the software of an automatic subway / P. Dauchy, M.C. Gaudel, B. Marre / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
Logic and integer programming / H. Paul Williams / Dordrecht : Springer , cop. 2009
Résolution de contraintes dans des algèbres de termes : rapport d'habilitation / Comon, H / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
Optimisation globale du placement d'applications de traitement du signal sur architectures parallèles en utilisant la programmation logique avec contraintes / Christophe Guettier ; sous la direction de François Irigoin / 1997
On the semantics of disjunctive logic programs / Athanasios Tsouanas ; sous la direction de Olivier Laurent / , 2014
Certification de programmes avec des effets calculatoires / Burak Ekici ; sous la direction de Jean-Guillaume Dumas et de Dominique Duval / , 2015
Microcoding an abstract machine for parallel logic programming / Antoine Rizk, José Garcia / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
Machinations : computational studies of logic, language, and cognition / edited by Richard Spencer-Smith and Steve Torrance / Norwood, N.J. : Ablex Pub. Corp. , c1992
A logic program for transforming sequent proofs to natural deduction proofs = = Un programme logique pour transformer des preuves dans un calcul des séquents en preuves en déduction naturelle : / Amy Felty / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1990]
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26–28, 1995 : proceedings / [edited by] V. W. Marek, A. Nerode, M. Truszczyński / Berlin [etc.] : Springer
Lectures on the logic of computer programming / Zohar Manna / Philadelphia (Pa.) : Society for industrial and applied mathematics , [20..]
Techniques de satisfaction de contraintes pour la modélisation déclarative : application à la génération concurrente de scènes / par Pierre-François Bonnefoi ; sous la direction de Dimitri Pléménos / [S.l.] : [s.n.] , 1999
Handbook of logic in computer science Volume 2, Background, computational structures / edited by S. Abramsky,... Dov M. Gabbay,... and T. S. E. Maibaum,... ; volume co-ordinator Dov M. Gabbay / Oxford : Clarendon press , 1992
Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes / Lotfi Berkaoui ; sous la direction de Bruno Legeard / Grenoble : Atelier national de reproduction des thèses , 1999
Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 : proceedings / [edited by] Peter J. Stuckey / Berlin [etc.] : Springer
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9–10, 1990 : proceedings / [edited by] D. Pearce, H. Wansing / Berlin [etc.] : Springer
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello, eds / Berlin : Springer-Verlag , cop. 1993
Functional programming and the logical variable / Gary Lindstrom / Le Chesnay : INRIA , 1985
Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4–7, 1990 : proceedings / [edited by] J. Dix, K. P. Jantke, P. H. Schmitt / Berlin [etc.] : Springer
Logic programming '85 : proceedings of the 4th [Logic Programming] Conference, Tokyo, Japan, July 1-3, 1985 / ed. by Eiiti Wada / Berlin [etc.] : Springer , cop. 1986
Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye / Cambridge, Mass. : MIT Press , 1999
Optimisation itérative de bibliothèques de calculs par division hiérarchique de codes = = Iterative optimization of performance libraries by hierarchical division of codes : / par Sébastien Donadio ; sous la direction de William Jalby / [S.l.] : [s.n.] , 2007
Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect / David Fauthoux ; sous la dir. de Jean-Paul Bahsoun / [S.l.] : [s.n.] , 2004
AUTOMATES A CONTRAINTES ARITHMETIQUES ET PROCEDURES D'EVALUATION ASCENDANTE DE PROGRAMMES LOGIQUES / Marcos Veloso Peixoto ; sous la direction de L. Fribourg / Grenoble : Atelier national de reproduction des thèses , 1994
Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren / Cambridge (Mass.) : MIT Press
Parallel logic programming / Akikazu Takeuchi / New York : Wiley , cop. 1992
Logic for programming and automated reasoning : 7th international conference, LPAR 2000 ; reunion Island, France, november 6-10, 2000 ; proceedings / Michel Parigot, Andrei Voronkov (Eds.) / New York : Springer
Unification et disunification : théorie et applications / Hubert Comon ; sous la direction de J. Calmet / , 1988
Logic programming : proceedings of the seventh international conference / edited by David H.D. Warren and Peter Szeredi / Cambridge, Mass. : MIT Press , cop. 1990
Etude d'une méthodologie d'implantation de fonctions logiques adaptées au traitement d'images dans un FPGA / Sandra Bouchard ; sous la direction de Alain Diou / , 1999
Handbook of logic in artificial intelligence and logic programming Volume 1, Logical foundations / edited by Dov M. Gabbay and C.J. Hogger,... and J.A. Robinson,... ; volume co-ordinator J. Siekmann,... / Oxford : Clarendon Press
Foundations of inductive logic programming / S. -H. Nienhuys-Cheng, R. de Wolf / Berlin : Springer
Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : Revised Selected Papers / Hendrik Blockeel, Jan Ramon, Jude Shavlik ...[et al.] (Eds.) / Berlin : Springer , cop. 2008
The hidden logic of Sudoku / Denis Berthier / 2nd edition / [S. l.] : Lulu.com , cop. 2007
Logic programming volume 1, : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge (Mass.) : MIT Press
Selected papers from the Seventh International Conference on Logic Programming, 1990 / Guest editors, K. Ueda [et] T. Chikayama / Tôkyô : Ohmsha , 1991
Théorie du gourvernement et du liage et programmation logique avec contraintes : une application à l'analyse automatique du français / par Nabil Hathout ; sous la dir. de Patrick Saint-Dizier / [S.l] : [s.n] , [1992]
Inférence automatique de spécifications logiques à partir de dessins / par Florence Nebon / , 1996
Logic for computer scientists / Uwe Schöning / Boston : Birkhäuser , cop. 1989
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / [edited by] Stephen Muggleton / Berlin [etc.] : Springer
Approche logique de l'intelligence artificielle 1, De la logique classique à la programmation logique / par André Thayse,... Albert Bruffaerts,... Pierre Dupont,... [et al.] ; avec la collab. de Philippe Delsarte / Paris : Dunod , DL 1990
Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / [edited by] Catuscia Palamidessi / Berlin [etc.] : Springer
Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings / [edited by] Tamás Horváth, Akihiro Yamamoto / Berlin [etc.] : Springer
Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä. / 1st ed. 2007. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2007
Programmation logique par contraintes / François Fages,... / Paris : Ellipses , DL 1996
An object-oriented approach to programming logic and design / Joyce Farrell / 4th edition, international edition / [Boston (Mass.)] : Course Technology , cop. 2013 [i.e. 2012]
1987 Symposium on Logic Programming : proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California / sponsored by the Computer Society of the IEEE / Washington, D.C. : Computer Society Press , [1987]
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.) / Berlin : Springer , cop. 1995
Logic program synthesis from incomplete information / Pierre Flener / Boston : Kluwer Academic Publishers , cop. 1995
A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński / Cambridge, Mass. : MIT Press , cop. 1993
Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet / Berlin : Springer-Verlag , cop. 1991
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter (eds.) / Berlin : Springer-Verlag , 1991
Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti / Cambridge, Mass. : MIT Press , cop. 1996
Model-Driven Data Warehouse and its Automation Using Machine Learning Techniques / Moez Essaidi ; sous la direction de Aomar Osmani et Céline Rouveirol / Lille : Atelier national de reproduction des thèses , 2013
Bases de données déductives : présentation de Datalog / Nicole Bidoit,... / Paris : A. Colin , 1991
Logic in computer science : modelling and reasoning about systems / Michael Huth,... Mark Ryan,... / [Second edition] / Cambridge (UK) : Cambridge University Press
Exploiting non-canonicity in the sequent calculus [Ressource électronique] / par Vivek Nigam ; sous la direction de Dale Miller / Paris : ParisTech , 2009
Résolution incrémentale de systèmes généralisés de contraintes linéaires dans Z / Patricia Mainguet ; sous la direction de Jean-Louis Imbert / , 2000
Langages concurrents avec contraintes : communication par messages et distribution / par Jean-Hugues Réty ; [sous la direction de Philippe Codognet] / [Le Chesnay] : [INRIA] , [1997]
Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11–14, 1988 / [edited by] K. Furukawa, H. Tanaka, T. Fujisaki / Berlin [etc.] : Springer
Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 / edited by Eiiti Wada. / Berlin [etc.] : Springer
Systèmes d'agents normatifs : concepts et outils logiques / Tiberiu Stratulat / Villeurbanne : [CCSD] , 2004
Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers / Patricia M. Hill (ed.) / Berlin : Springer , cop. 2006
Logic programming and its applications / edited by Michel van Caneghem and David H.D. Warren / Norwood, New Jersey : Ablex Publishing Corporation
Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey / Cambridge (Mass.) : MIT Press
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.) / Berlin : Springer-Verlay , cop. 1992
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.) / Berlin : Springer-Verlag , cop. 1988
Logic and language models for computer science / Henry Hamburger, Dana Richards / 4th edition. / New Jersey : World Scientific , 2023
Logic programming Vol. 2, Parallelism, Applications, Program analysis, Concurrent languages, Invited talks : 4th International Conference ..., Melbourne, May 25-29, 1987 / International Conference on Logic Programming ; ed. by Jean-Louis Lassez / Cambridge, Ma. : The MIT Press , 1987
Probabilistic inductive logic programming : theory and applications / Luc De Raedt ... [et al.] (Eds.) / Berlin : Springer , cop. 2008
Evolution et apprentissage automatique pour l'annotation fonctionnelle et la classification des homologies lointains en protéines / Juliana Silva Bernardes / Villeurbanne : [CCSD] , 2012
Programmation logique par contraintes / François Fages / Édition 1998 / Palaiseau : École Polytechnique , 1998
Herbrand methods in linear logic / Cerrito, Serenella / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1992
Délinéarisation automatique de flux de télévision / Gaël Manson ; [sous la direction de] Patrick Gros / Lille : Atelier national de reproduction des thèses , 2010
Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / Dietmar Seipel ... [et al.] (eds.) / Berlin : Springer , cop. 2005
Constraints in computational logics : theory and applications : International Summer School, CCL ’99, Gif-sur-Yvette, France, September 5–8, 1999 : revised lectures / [edited by] Hubert Comon, Claude Marché, Ralf Treinen / Berlin [etc.] : Springer
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.) / New York : Springer
Handbook of logic in artificial intelligence and logic programming Volume 2, Deduction methodologies / edited by Dov M. Gabbay and C. J. Hogger,... and J. A. Robinson,... ; volume co-ordinator J. Siekmann,... / Oxford : Clarendon press , 1994
Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes / Bruno de Backer ; sous la direction de G. Ferrand / , 1995
Les automates programmables industriels / Gilles Michel,... Claude Laurgeau,... Bernard Espiau,... / Paris : Dunod , DL 1979
Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming : CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers / Francisco Azevedo, Pedro Barahona, François Fages ... [et al.](eds.) / Berlin : Springer , cop. 2007
Loop checking in logic programming / R.N. Bol / Amsterdam, the Netherlands : CWI , c1995
Calculating is better than scheming : a comparison between strongly typed programming languages and weakly typed programming languages / Isabelle Moulinier / Paris : IIE , 1990
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers / [edited by] Krzysztof R. Apt, François Fages, Francesca Rossi... [et al.] / Berlin [etc.] : Springer
Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany / sponsored by The IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT and EATCS / Washington, D.C. : IEEE Computer Society , cop. 1997
Génération de tests aux limites à partir de spécifications B en programmation logique avec contraintes ensemblistes / Fabien Peureux ; sous la direction de Bruno Legeard / Grenoble : Atelier national de reproduction des thèses , 2002
Intégration des biais de langage à l'algorithme générer-et-tester : contributions à l'apprentissage disjonctif / Fabien Torre ; sous la direction de Yves Kodratoff / [S.l.] : [s.n.] , 2000
Systèmes à base de connaissance pour la simulation en automatique et en robotique : application à un simulateur opératoire / Gérard Fieurgant / [s.l.] : [s.n.] , 1993
Logique et informatique : une introduction / [17e École de printemps d'informatique théorique, Albi, 1989] ; contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand,... [et al.] ; réunies et présentées par Bruno Courcelle ; avant-propos de Maurice Nivat / Rocquencourt : Institut national de recherche en informatique et en automatique , DL 1991
Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 : proceedings / Chitta Baral, Gerhard Brewka, John Schlipf (Eds.) / Berlin : Springer , cop. 2007
A methodological view of logic programming with negation / Pierre Deransart, Gérard Ferrand / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
Optimisation globale du placement d'applications de traitement du signal sur architectures parallèles en utilisant la programmation logique avec contraintes / Christophe Guettier ; sous la direction de François Irigoin / Grenoble : Atelier national de reproduction des thèses , 1997
Logic programming in LISP / J.A. Robinson, E.E. Sibert / Syracuse, N.Y. : School of Computer and Information Science, Syracuse University , [1980]
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg / Berlin : Springer-Verlag , 1993
Logic programming Vol. 1, : 4th International Conference ..., Melbourne, May 25-29, 1987 / International Conference on Logic Programming ; ed. by Jean-Louis Lassez / Cambridge, Ma. : The MIT Press , 1987
Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / Germán Puebla (Ed.) / Berlin : Springer , cop. 2007
Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007 : Revised Selected Papers / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) / 1st ed. 2009. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009
Logic programming : proceedings of the eighth international conference / edited by Koichi Furukawa / Cambridge, Mass. : the MIT Press , cop. 1991
Natural language understanding and logic programming : proceedings of the first International workshop on natural language understanding and logic programming, Rennes, France, 18-20 September, 1984 / edited by Veronica Dahl,... and Patrick Saint-Dizier,... / Amsterdam : North-Holland , 1985
Mémoire sur le projet de planification Pampa / Dominique Greusard / Paris : CNAM , 1993
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 / Yves Deville, ed / London : Springer-Verlag , cop. 1994
Logic of programming and calculi of discrete design : International summer school directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare / edited by Manfred Broy,... / Berlin : Springer-Verlag , cop. 1987
Proposition d'un modèle d'évaluation parallèle de prolog / par Isabelle Delignieres Hannequin ; [sous la direction de Bernard Toursel] / [S.l.] : [s.n.] , 1991
Planification d'actions hiérarchique pour la simulation tactique / Alexandre Menif ; sous la direction de Tristan Cazenave et de Éric Jacopin / , 2017
Inductive Logic Programming : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. / 1st ed. 2007. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2007
Programming language implementation and logic programming : proceedings / International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 ; P. Deransart, J. Małuszyński, (eds.) / Berlin : Springer-Verlag , 1990
Nonmonotonic reasoning : an overview / Gerhard Brewka, Jürgen Dix, and Kurt Konolige / Stanford, Calif. : CSLI Publications , cop. 1997
Introduction des réseaux à prédicats contraints. Instanciation au domaine temporel et application à la maîtrise des aléas sémantiques ADA / par Jean-Marie Kubek ; sous la direction de G. Motet / [S.l] : [s.n] , [1994]
A logical approach to computational corpus linguistics / Torbjörn Lager / Göteborg : Department of linguistics of the univ , 1995
Cadre multi-niveaux de programmation logique et orientée objet : étude, extensions et réalisation / Abdenbi Drissi Talbi ; sous la direction de Habib Abdulrab / Grenoble : Atelier national de reproduction des thèses , 1996
SCORE(FD/I) : un système de programmation par contraintes sur les domaines finis entiers / Isabelle Blot-Thibaut ; sous la direction de Jacqueline Chabrier / , 1998
Programmation en logique / C. J. Hogger, ... ; traduit de l'anglais par René Quiniou ; préface de R. Kowalski / Paris : Masson , 1987
Logical foundations / vol. co-ordinator J. Siekmann / [Reprinted] / Oxford : Clarendon Press , 1996
Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (eds.) / Berlin : Springer , cop. 2007
Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / [edited by] Pascal Van Hentenryck / Berlin [etc.] : Springer
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 : Selected papers / [edited by] Alberto Pettorossi / Berlin [etc.] : Springer
Evolution et apprentissage automatique pour l'annotation fonctionnelle et la classification des homologies lointains en protéines / Juliana Silva Bernardes ; sous la direction de Alessandra Carbone et Gerson Zaverucha / [S.l.] : [s.n.] , 2012
Comparaison entre la transformation et l'extraction de programmes logiques / Par Anne Bouverot / Paris : Université Paris VII , 1992
Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings / edited by Jan Maluszyński, Martin Wirsing. / Berlin [etc.] : Springer
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo ; sous la direction de Roberto Di Cosmo / Grenoble : Atelier national de reproduction des thèses , 2002
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / [edited by] Stan Matwin, Claude Sammut / Berlin [etc.] : Springer
Introduction to logic programming / Christopher John Hogger / London [etc.] : Academic Press , 1984
Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings / Verónica Dahl, Ilkka Niemelä (eds.) / Berlin : Springer , cop. 2007
Computational logic : logic programming and beyond part II, : essays in honour of Robert A. Kowalski / [edited by] Antonis C. Kakas, Fariba Sadri / Berlin [etc.] : Springer
Tapsoft '87 Volume 2, Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP) : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giogio Levi and Ugo Montanari / Berlin : Springer
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, Andre Thayse / Berlin : Springer , cop. 1987
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / [edited by] E. Lamma, P. Mello / Berlin [etc.] : Springer
Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings / edited by Ehud Shapiro. / Berlin [etc.] : Springer
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 ; proceedings / Bart Demoen, Vladimir Lifschitz (eds.) / Berlin : Springer , cop. 2004
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / [edited by] Yukiyoshi Kameyama, Peter J. Stuckey / Berlin [etc.] : Springer
Approche Logique de la Personnalisation dans les Environnements Informatiques pour l'Apprentissage Humain / Fabrice Popineau ; sous la direction de Nicole Bidoit-Tollu / , 2023
Handbook of programming languages Volume IV, Functional and logic programming languages / Peter H. Salus, series editor in chief / Indianapolis, IN : Macmillan Technical Pub. , cop. 1998
Grafolog : un système de programmation logique et objets sans variables par le dessin / Jean-Luc Guérin ; sous la direction de Paul Y. Gloess / [S.l.] : [s.n.] , 1991
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / Stan Matwin, Claude Sammut (eds.) / Berlin : Springer , cop. 2003
Preuves d'équivalence de programmes logiques / Sorin Craciunescu ; sous la direction de François Fages / Grenoble : Atelier national de reproduction des thèses , 2004
Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings / Ersa Erdem, Fangzhen Lin, Torsten Schaub (eds.) / Berlin : Springer , cop. 2009
Systèmes formels : introduction à la logique et à la théorie des langages / Claude Benzaken,... / Paris : Masson , DL 1991
JFPL'97 / sixièmes Journées francophones de programmation logique et programmation par contraintes, 26-28 mai 1997, Orléans, France ; coord. Frédéric Benhamou / Paris : Hermès , 1997
Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 2010 : revised selected papers / María Alpuente (éd.) / Heidelberg : Springer , cop. 2011
ETUDE DES RAPPORTS ENTRE GRAMMAIRES ATTRIBUEES ET PROGRAMMATION LOGIQUE : APPLICATION AU TEST D'OCCURRENCE ET A L'ANALYSE STATIQUE / JEAN-LOUIS BOUQUARD ; SOUS LA DIRECTION DE GERARD FERRAND / [S.l.] : [s.n.] , 1992
Programming logic and design : comprehensive / Joyce Farrell / 5th edition / Boston, Mass. : Thomson Course Technology , cop. 2008
Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. / 1st ed. 2007. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2007
Interactions entre recherche opérationnelle et programmation par contraintes / Christophe Gonzales / Paris : IIE , 1992
Sémantique, implantation et tests de Modulog/ Philippe Ayrault / Philippe AYRAULT / Paris : CNAM , 1994
Programmation logique : mineure promotion 1993, 2ème année / François Fages / Palaiseau : École polytechnique , 1996
Intelligence artificielle et informatique théorique / Jean-Marc Alliot,... Thomas Schiex,... / Toulouse : Cépaduès-éd. , 1994
Gestion de la complexité dans un logiciel destiné à la simulation numérique multiphysique / Huynh Quoc Hung / Villeurbanne : [CCSD] , 2007
JFPLC'98 / septièmes Journées francophones de programmation logique et programmation par contraintes, 27-29 mai 1998, Nantes, France ; [organisées par l'École des mines de Nantes et l'Institut de recherche en informatique et systèmes aléatoires] ; coordonnateur, Olivier Ridoux / Paris : Hermès , 1998
Logic for Programming, Aritficial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / edited by Miki Hermann, Andrei Voronkov. / 1st ed. 2006. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006
Une nouvelle approche pour la vérification des masques des circuits intégrés / Ahmed Amine Jerraya / , 1983
Une Application de la programmation en logique avec contraintes à la recherche opérationnelle / Manh Cuong Nguyen / Paris : IIE , 1991
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrać, Saśo Dźeroski, eds / New York : Springer
Interactive relational database design : a logic programming implementation / Tapan P. Bagchi, Vinay K. Chaudhri / Berlin : Springer-Verlag , cop. 1989
Logic-based 0-1 constraint programming / Peter Barth / Boston : Kluwer Academic Publishers , cop. 1996
A concise introduction to mathematical logic / Wolfgang Rautenberg / 2nd ed. / New York : Springer , cop. 2006
Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer / Amsterdam : Elsevier , 1995
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler (eds.) / Berlin : Springer , cop. 2006
Apprentissage incrémental des modèles d'action relationnels / Christophe Rodrigues ; sous la direction de Céline Rouveirol et Pierre Gérard / [S.l.] : [s.n.] , 2013
Web Reasoning and Rule Systems : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings / edited by Pascal Hitzler, Thomas Lukasiewicz. / Berlin, Heidelberg : Springer Berlin Heidelberg
La logique dans la programmation : synthèse logique de programmes et langages de programmation logique / Franz Bertram Fronhöfer ; sous la direction de Philippe Jorrand / , 1989
Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings / edited by Roy Dyckhoff. / Berlin [etc.] : Springer
Constraint satisfaction in logic programming / Pascal Van Hentenryck / Cambridge, (Mass.) : The MIT Press
Proof and computation / edited by Helmut Schwichtenberg / Berlin : Springer , c1995
Approche logique de l'intelligence artificielle 1, de la logique classique à la programmation logique / Andre Thayse, Albert Bruffaerts, Pierre Dupont, Eric Henin, Yves Kamp / Paris : Dunod , cop. 1990, cop. 1990
Logic programming : proceedings of the twelfth International Conference on Logic Programming / edited by Leon Sterling / Cambridge, Mass. : MIT
Logique, réduction, résolution / René Lalement,... ; préface de Michel Demazure / Paris : Masson , 1990
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / [edited by] Rui Camacho, Ross King, Ashwin Srinivasan / Berlin [etc.] : Springer
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : Revised selected papers / Michael Leuschel (ed.) / Berlin : Springer
Logique Volume 3, Méthodes pour l'intelligence artificielle / Paul Gochet, Pascal Gribomont, André Thayse / Paris : Hermes science publications , DL 2000
Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov, (eds.) / New York : Springer
Algebraic and Logic Programming : International Workshop Gaussig, GDR, November 14-18, 1988 Proceedings / edited by J. Grabowski, P. Lescanne, W. Wechler. / Berlin [etc.] : Springer
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 : selected papers / [edited by] Pierre Flener / Berlin [etc.] : Springer
Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck / Cambridge, Mass : MIT Press
Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds / Berlin : Springer
Logic for programming, artificial intelligence, and reasoning : 13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / Miki Hermann, Andrei Voronkov (Eds.) / Berlin : Springer , cop. 2006
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.) / Berlin : Springer-Verlag , cop. 1992
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer / Cambridge, Mass. : MIT Press
Foundations of logic programming / J. W. Lloyd / 2nd ed. augm. / Berlin [etc.] : Springer , cop. 1987
From standard logic to logic programming : introducing a logic based approach to artificial intelligence / Paul Gochet, Eric Grégoire, Pascal Gribomont... [et al.] ; editor André Thayse / Chichester : J. Wiley , cop. 1988
Vers un environnement d'aide au développement de preuves en sémantique naturelle / par Delphine Terrasse ; sous la dir. de Joe͏̈lle Despeyroux / [Le Chesnay] : [INRIA] , [1996]
Artificial intelligence in simulation / Iván Futó, Tamàs Gergely,... / Loncon [etc.] : Ellis Horwood , 1990, cop. 1990
International conference and exhibition Computational intelligence 88 : Università degli studi di Milano, Italy, September 26-30, 1988 : conference proceedings, participants edition / org. by the ACM Italian chapter and the University of Milano, Dipartimento di Scienze dell'Informazione ; [ed. by] Giorgio Valle / Milano : Vertemati , [1988?]
DLP : a language for Distributed Logic Programming : design, semantics and implementation / door Antonius Petrus Elie͏̈ns / [S.l.] : [s.n.] , 1991
Résolution dans les systèmes formels abstraits : applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles. = = Resolution in abstract formal systems : applications to logic programming, to rewrite rules and to formal grammars / par Pascal Yim ; sous la direction de Guy Boulaye / , 1989
Transformations de programmes logiques et sémantique opérationnelle / par Anne Parrain ; sous la direction de J.-P. Delahaye / [S.l.] : [s.n.] , 1994
Transformation de programmes logiques / Francis Alexandre ; sous la direction de Jean-Pierre Finance / , 1991
Réductions correctes et optimales dans le lambda-calcul / Jean-Jacques Lévy / [Lieu de publication inconnu] : [Éditeur inconnu] , 1978
Langage de biais en apprentissage symbolique / par Frédéric Moal ; sous la dir. de Christel Vrain,... / [S.l.] : [s.n.] , 2000
Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings / edited by K. U. Schulz. / Berlin [etc.] : Springer
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermeneguildo (Eds.) / Berlin : Springer , cop. 2008
Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings / edited by A. Beaumont, G. Gupta. / Berlin [etc.] : Springer
Fusion de bases de croyances et programmation logique avec sémantique des modèles stables [Ressource électronique] / Julien Hué ; sous la direction de Odile Papini ; co-directeur de thèse, Eric Würbel / [S.l.] : [s.n.] , 2009
Integrating phosphoproteomic time series data into prior knowledge networks / Misbah Razzaq ; sous la direction de Jérémie Bourdon et de Carito Guziolowski / , 2018
Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus / Sylvain Prigent ; sous la direction de Anne Siegel et de Thierry Tonon / , 2014
PAL device data book / @Advanced Micro Devices / Sunnyvale, Calif. : Advanced Micro Devices, INC. , c1990
Combiner la programmation en logique et la résolution des contraintes par évaluation partielle : Conslog / Jin-Kao Hao ; sous la direction de Jean-Jacques Chabrier / [S.l.] : [s.n.] , 1991
Deduction with symbolic constaints / Claude Kirchner, Hélène Kirchner, Michae͏̈l Rusinowitch / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1990
Java structuré / Jo Ann Smith ; adaptation, Aicha Mebarek ; révision scientifique, Nadia Belblidia-Guerroumi ; traduction, François Therrien / Mont-Royal (Québec) : Thomson Groupe Modulo , DL 2007, cop. 2007
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : Proceedings / Geoff Sutcliffe, Andrei Voronkov (Eds.) / Berlin : Springer , cop. 2005
An algebraic set-oriented evaluation strategy for datalog / Foustoucos, E., Lellahi, K., Spyratos, N / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1995
La propagation de contraintes booléennes en Prolog / Patrice Gourmel / Paris : IIE , 1992
General Game Playing / Michael Genesereth,Michael Thielscher / [San Rafael, Calif.] : Morgan & Claypool Publishers
Mathematical aspects of logic programming semantics / Pascal Hitzler,..., Anthony Seda,... / Boca Raton, FL : CRC Press , cop. 2011
Biases in interactive theory revision / Nedellec, C., Rouveirol, C / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1992
Field-programmable gate arrays / Stephen D. Brown, Robert J. Francis, Jonathan Rose...et al. / 2nd ed. / Boston : Kluwer Academic Publishers , 1993
Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe. / Berlin [etc.] : Springer
Combiner la programmation en logique et la résolution des contraintes par évaluation partielle : Conslog / Jin-Kao Hao ; sous la direction de Jean-Jacques Chabrier / Grenoble : Atelier national de reproduction des thèses , 1991
Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings / edited by Dino Pedreschi, Carlo Zaniolo. / Berlin [etc.] : Springer
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / Edmund M. Clarke, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2010
Logic and its applications / Edmund Burke and Eric Foxley / London : Prentice Hall
ICLP'91 Cours n°6 , industrial applications of constraints logic programming languages : 8ème conférence internationale Programmation en logique, 25-28 juin 1991, Hôtel Pullman, Paris / Jean-Jacques Chabrier, Bruno Legeard, Claudine Pradelles / Rocquencourt : INRIA , 1991
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. / Berlin, Heidelberg : Springer Berlin Heidelberg
Approche logique de l'intelligence artificielle 4, De l'apprentissage artificiel aux frontières de l'IA / André Thayse, Philippe Delsarte, Jacques Hagelstein... [et al.] / Paris : Dunod , DL 1991
APSYS : analyseur automatique de programmes par synthèse de leurs spécifications / Nadya Tareb ; [sous la direction d'] Yves Kodratoff / Grenoble : Atelier national de reproduction des thèses , 1988
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny Schreye. / Berlin, Heidelberg : Springer Berlin Heidelberg
Etude d'une représentation des objets partagés : définition, implantation, méthodes de preuve / Louis Féraud ; sous la dir. de Claude Bétourné / [S.l.] : [s.n.] , 1991
The clausal theory of types / D. A. Wolfram,... / Cambridge : Cambridge University Press
Equational disunification / Fernández, Maribel / Orsay, France : Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique , 1991
Nonmonotonic reasoning and uncertain reasoning / vol. co-ordinator D. Nute / Oxford : Clarendon Press , 1994
Extensions of inversion of resolution applied to theory completion / Rouveirol, Céline / Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1991
Model-Driven Data Warehouse and its Automation Using Machine Learning Techniques [Ressource électronique] / Moez Essaidi ; sous la direction de Aomar Osmani et Céline Rouveirol / Villetaneuse : Université de Paris 13 , 2013
Advances in knowledge representation, logic programming, and abstract argumentation : essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / Thomas Eiter, Hannes Strass, Mirosław Truszczyński, ... [et al.] / Cham [etc.] : Springer International Publishing Switzerland , cop. 2015
ICLP'91 Cours n°3, logic programming environments : 8ème conférence internationale Programmation en Logique, 25-28 juin 1991, Hôtel Pullman, Paris / Antonio Porto / Rocquencourt : INRIA , 1991
JFPL 93 : IIèmes journées francophones de programmation logique, Nîmes, France, 24-25 mai 1993 ; Avignon, France, 26 mai 1993 / organisées par AFCET, groupe programmation en logique ; EERIE / Marseille : Teknea , 1993
Optimisation itérative de bibliothèques de calculs par division hiérarchique de codes = = Iterative optimization of performance libraries by hierarchical division of codes : / par Sébastien Donadio ; sous la direction de William Jalby / Lille : Atelier national de reproduction des thèses , 2007
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 proceedings / edited by Michael Gelfond, Nicola Leone, Gerald Pfeifer. / Berlin [etc.] : Springer
Contribution à l'étude des sémantiques axiomatiques de Prolog / François Denis ; sous la direction de Jean-Paul Delahaye / [S.l.] : [s.n.] , 1990
Programming Languages Implementation and Logic Programming : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński. / Berlin [etc.] : Springer
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.) / Berlin : Springer
Third International conference on logic programming : Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro / Berlin : Springer-Verlag , cop. 1986
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, eds / Berlin : Springer
Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds / Berlin : Springer-Verlag , 1995
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) / Berlin : Springer
Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings / edited by Laurent Fribourg, Franco Turini. / Berlin [etc.] : Springer
An introduction to logic programming through Prolog / Michael Spivey / London : Prentice Hall , 1996
Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra. / Berlin [etc.] : Springer
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo ; sous la dir. de Roberto Di Cosmo / [S.l.] : [s.n.] , 2002
Réalisation d’un outil graphique associé au compilateur CAPTOOL SOFTWEAVER : une interface graphique pour la conception d’instruments intelligents basée sur une approche méréologique en environnement distribué / Patrick Barlatier / [s.l.] : [s.n.] , 2005
The Haskell road to logic, maths and programming / Kees Doets,... Jan van Eijck,... / London : King's College Publications , cop. 2004
The monitoring power of forcing transformations / Aloïs Brunel ; sous la direction de Stefano Guerrini et de Damiano Mazza / , 2014
Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes / Bruno de Backer ; sous la direction de G. Ferrand / Grenoble : Atelier national de reproduction des thèses , [1995]
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira / New York : Springer
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2008
Machine intelligence 14 : applied machine intelligence / edited by K. Furukawa, D. Michie, and S. Muggleton / Oxford : Clarendon Press , 1996
Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15–17, 2002 : proceedings / [edited by] Zhenjiang Hu, Mario Rodríguez-Artalejo / Berlin [etc.] : Springer
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.) / Berlin : Springer , cop. 2004
Etude et réalisation d'un système d'aide à la mise au point en programmation logique / Christian Debarbieri / Villeurbanne : [CCSD] , 2013
CADE 1996 : sextended versions of papers / published in the proceedings of the conference on automated deduction held in 1996 in New Brunwick [sic] ; ed. John Slaney / San Diego : Academic Press , 2000
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / [edited by] Bart Demoen, Vladimir Lifschitz / Berlin [etc.] : Springer
Représentation de connaissances et gestion de données évolutives dans le contexte de la programmation logique orientée objet = = Knowledge representation and management of dynamic data in an object-oriented logic programming environment : / par A. Selmin Nurcan ; sous la direction de Jacques Kouloumdjian / , 1991
Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019 : proceedings / Emmanuel Filiot, Raphaël Jungers, Igor Potapov / Cham : Springer International Publishing
Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) / par Daniel Diaz / Le Chesnay : INRIA , 1995
Logic and Prolog / Richard Spencer-Smith / New York : Harvester Wheatsheaf , cop. 1991
Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / edited by Salvador Abreu, Dietmar Seipel. / 1st ed. 2011. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2011
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Over-constrained systems : [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France] / Michael Jampel, Eugene C. Freuder, Michael Maher, eds / Berlin : Springer
Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah / @Symposium on Logic Programming / Washington, D.C. : IEEE Computer Society Press , c1986
Programming logic and design : introductory / Joyce Farrell / Boston, MA : Cengage Learning
Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming / edited by Krzysztof Apt / Cambridge, Mass. : MIT Press
Découverte de motifs relationnels en bioinformatique : application à la prédiction de ponts disulfures / Ingrid Jacquemin ; [sous la direction de] Jacques Nicolas / Grenoble : Atelier national de reproduction des thèses , 2005
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019 : proceedings / Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman / 1st ed. 2019. / Cham : Springer International Publishing , 2019
Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008 : proceedings / Maria Garcia de la Banda, Enrico Pontelli (eds.) / Berlin : Springer , cop. 2008
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / [edited by] Michel Parigot, Andrei Voronkov / Berlin [etc.] : Springer
Constraints in computational logics : theory and applications : International Summer School, CCL'99 Gif-sur-Yvette, France September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.) / Berlin : Springer
Exploiting non-canonicity in the sequent calculus / Vivek Nigam / , 2009
Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten / Cambridge, Mass. : MIT Press , cop. 1993
Informatique théorique & méthode de compilation et de construction de programmes : actes préliminaires du 5ème Symposium Franco-Soviétique, 16 au 18 octobre 1991, Grenoble = = Theoretical computer science & methods of compilation and program construction : / [présidents Philippe Jorrand, Maurice Nivat, Igor Pottosin] ; INRIA / Le Chesnay, France : INRIA , [1991?]
Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher, editor / New York : Springer
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov. / Berlin [etc.] : Springer
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm / Cambridge (Mass.) : MIT Press
Automates programmables : programmation, automatisme & logique programmée / par André Simon,... ; préface de G. Gonda et M. Quoirin,... / Liège : L'Élan , DL 1983
AUTOMATES A CONTRAINTES ARITHMETIQUES ET PROCEDURES D'EVALUATION ASCENDANTE DE PROGRAMMES LOGIQUES / MARCOS VELOSO PEIXOTO ; sous la direction de L. FRIBOURG / [Lieu de publication inconnu] : [Éditeur inconnu] , 1994
VHDL for programmable logic / Kevin Skahill,... ; contributors Jay Legenhausen, Ron Wade, Corey Wilner... [et al.] / Reading (Mass.) : Addison-Wesley , cop. 1996
Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings / L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.) / Berlin : Springer-Verlag , cop. 1992
Logic programming / proceedings of the eighth international conference ; edited by Koichi Furukawa / Cambridge, Mass : MIT , cop. 1991
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) / Berlin : Springer-Verlag , cop. 1988
Une aide interactive à la construction de preuves en logique du premier ordre / Laurent Fallot ; sous la direction de Bruno Courcelle / , 1989
Probabilistic Inductive Logic Programming : Theory and Applications / edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton. / 1st ed. 2008. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008
Logic programming / edited by K. L. Clark,... and S.-A. Tärnlund,... / London : Academic Press , 1982
A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml / Glen Mével ; sous la direction de François Pottier / , 2022
On the semantics of disjunctive logic programs / Athanasios Tsouanas le 2014 [ Lyon, École normale supérieure ]
Construction de programmes logiques par synthèse de propriétés / Khaled Bsaïes le 1993 [ Nancy 1 ]
Transformations de programmes logiques avec contraintes / Nacera Bensaou le 1996 [ Paris 6 ]
Transformations de programmes logiques et sémantique opérationnelle / Anne Parrain le 1994 [ Lille 1 ]
La logique dans la programmation : synthèse logique de programmes et langages de programmation logique / Franz Bertram Fronhöfer le 1989 [ Grenoble INPG ]
Une logique trivaluée appliquée à la programmation logique / Violaine Thibau le 1990 [ Lille 1 ]
Résolution incrémentale de systèmes généralisés de contraintes linéaires dans Z / Patricia Mainguet le 2000 [ Clermont-Ferrand 2 ]
Programmation en logique et compilation de protocoles : le simulateur Véda / Jean-François Monin le 1989 [ Rennes 1 ]
Formal and exact reduction for differential models of signalling pathways in rule-based languages / Ferdinanda Camporesi le 2017 [ Paris Sciences et Lettres (ComUE) ]
Programmation logique : non-commutativité et polarisation / Rémi Baudot le 2000 [ Paris 13 ]
Exploiting non-canonicity in the sequent calculus / Vivek Nigam le 2009 [ Palaiseau, Ecole polytechnique ]
Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus, / Christophe Junke le 2012 [ Châtenay-Malabry, Ecole centrale de Paris ]
Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes / Bruno de Backer le 1995 [ Orléans ]
Evacuation planning using Answer Set Programming / Claudia Zepeda Cortès le 2005 [ Lyon, INSA ]
Un modèle objet logique et relationnel : le langage Othelo / Mireille Blay-Fornarino le 1990 [ Nice ]
Bases de données déductives : négation et logique des défauts / Nicole Bidoit-Tollu le 1989 [ Paris 11 ]
La résolution hiérarchisée, une solution au problème de la négation en programmation logique / Alonso Marquez le 1988 [ Paris 11 ]
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo le 2002 [ Paris 7 ]
Combiner la programmation en logique et la résolution des contraintes par évaluation partielle : Conslog / Jin-Kao Hao le 1991 [ Besançon ]
Interprétation abstraite en programmation logique avec contraintes / Christophe Lecoutre le 1994 [ Lille 1 ]
Transformation de programmes logiques / Francis Alexandre le 1991 [ Nancy 1 ]
Apsys : analyseur automatique de programmes par synthèse de leurs spécifications / Nadya Tareb le 1988 [ Paris 11 ]
Transformation de programmes logiques : application à la personnalisation et à la personnification d’agents. / Georges Dubus le 2014 [ Supélec ]
Etude et réalisation d'un système de programmation logique par contraintes abstraites multidomaines / Sylvain Laduguie le 1993 [ Besançon ]
Règles d'évaluation équitables en programmation logique / Stéphane Janot le 1991 [ Lille 1 ]
Evaluation de spécifications formelles B en programmation logique avec contraintes ensemblistes : application à l'animation et au model-checking / Laurent Py le 2000 [ Besançon ]
Proposition d'un modèle d'évaluation parallèle de prolog / Isabelle Delignieres-Hannequin le 1991 [ Lille 1 ]
Evaluation de notations formelles de spécifications par systèmes de contraintes / Nicolas Vacelet le 2004 [ Besançon ]
Unification et disunification : théorie et applications / Hubert Comon-Lundh le 1988 [ Grenoble INPG ]
Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes / Benoît Parreaux le 2000 [ Besançon ]
Une approche de synthèse pour la programmation logique et ses extensions / Frédéric Saubion le 1996 [ Orléans ]
Raisonnement sur les contraintes en programmation en logique / Thomas Graf le 1989 [ Nice ]
Génération de tests aux limites à partir de spécifications B en programmation logique avec contraintes ensemblistes / Fabien Peureux le 2002 [ Besançon ]
Machines spécialisées et programmation en logique / Gilles Berger-Sabbatel le 1988 [ Grenoble INPG ]
Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes / Lotfi Berkaoui le 1999 [ Besançon ]
Les hypernets : un outil de modélisation et de spécification / Arnaud Lefort le 1998 [ Lille 1 ]
Méthodologies et techniques de résolution de problèmes avec contraintes. Application en programmation logique avec objets : cooxi / Laurent Cervoni le 1994 [ Rouen ]
Score(fd/i) : un système de programmation par contraintes sur les domaines finis entiers / Isabelle Blot-Thibaut le 1998 [ Dijon ]
Le paradigme du choix contraint orienté par objectifs pour l'aide à la conception mécanique / Ying Zhang le 1997 [ Châtenay-Malabry, Ecole centrale de Paris ]
Structure des objets et raisonnements dans les langages de clauses : Application à l'optimisation sémantique de requêtes / Christophe Rigotti le 1996 [ Lyon, INSA ]
Vers un formalisme abstrait implémentable pour l'étude savante des textes numérisés / François Role le 2001 [ Orléans ]
Représentation de connaissances et gestion de données évolutives dans le contexte de la programmation logique orientée objet / Selmin Nurcan le 1991 [ Lyon, INSA ]
Flux de l'information en programmation logique / Antoun Yaacoub le 2012 [ Toulouse 3 ]
Optimisation globale du placement d'applications de traitement du signal sur architectures parallèles en utilisant la programmation logique avec contraintes / Christophe Guettier le 1997 [ ENSMP ]
Etude des rapports entre grammaires attribuees et programmation logique : application au test d'occurrence et a l'analyse statique / Jean-Louis Bouquard le 1992 [ Orléans ]
Résolution dans les systèmes formels abstraits : applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles. / Pascal Yim le 1989 [ Lyon, INSA ]
Extensions grammaticales de la programmation (en) logique : Application à la validation des grammaires affixes / Sadegh Saïdi le 1992 [ Ecully, Ecole centrale de Lyon ]
Collaboration de solveurs pour la programmation logique à contraintes / Éric Monfroy le 1996 [ Nancy 1 ]
Contribution à la validation des spécifications algébriques et à l’étude des spécifications algébriques avec contraintes / Sylvie Calabretto le 1993 [ Lyon, INSA ]
Délinéarisation automatique de flux de télévision / Gaël Manson le 2010 [ Rennes 1 ]
Les systèmes cognitifs dans les réseaux autonomes : une méthode d'apprentissage distribué et collaboratif situé dans le plan de connaissance pour l'auto-adaptation / Maïssa Mbaye le 2009 [ Bordeaux 1 ]
Apprentissage incrémental des modèles d'action relationnels / Christophe Rodrigues le 2013 [ Paris 13 ]
Model-Driven Data Warehouse and its Automation Using Machine Learning Techniques / Moez Essaidi le 2013 [ Paris 13 ]
Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques / MARCOS VELOSO PEIXOTO le 1994 [ Paris 7 ]
Vérification de programmes en code octet et ses applications / Mariela Pavlova le 2007 [ Nice ]
Elan : un cadre logique pour le prototypage de langages de programmation avec contraintes / Marian Vittek le 1994 [ Nancy 1 ]
Sur le semi anneau de résolution / Marc Bagnol le 2014 [ Aix-Marseille ]
Etude et réalisation d'un système d'aide à la mise au point en programmation logique / Christian Debarbieri le 1990 [ Saint-Etienne, EMSE ]
Caractérisation complète des extensions : application de la programmation logique avec contraintes au calcul d'extensions d'un fragment de la logique de defauts / Dinh Du Nguyen le 1998 [ Paris 5 ]
Integrating phosphoproteomic time series data into prior knowledge networks / Misbah Razzaq le 2018 [ Ecole centrale de Nantes ]
Intégration des biais de langage à l'algorithme générer-et-tester : contributions à l'apprentissage disjonctif / Fabien Torre le 2000 [ Paris 11 ]
Eagle : Un système pour la découverte interactive de descriptions de concepts basé sur la théorie des ensembles approximatifs / Emmanuelle Martienne le 1999 [ Nantes ]
Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications / Faustine Maffre le 2016 [ Toulouse 3 ]
Macro-opérateurs en Programmation Logique Inductive : théorie et algorithmes / Erick Alphonse le 2003 [ Paris 11 ]
Preuves d'équivalence de programmes logiques / Sorin Craciunescu le 2004 [ Palaiseau, Ecole polytechnique ]
Analyse syntaxique et interprétation de clauses de Horn / Irène Foucherot le 1995 [ Dijon ]
Langage de biais en apprentissage symbolique / Frédéric Moal le 2000 [ Orléans ]
Génération automatique de test pour les contrôleurs logiques programmables synchrones / Mouna Tka le 2016 [ Université Grenoble Alpes (ComUE) ]
Approche Logique de la Personnalisation dans les Environnements Informatiques pour l'Apprentissage Humain / Fabrice Popineau le 2023 [ université Paris-Saclay ]
Inférer et compiler la terminaison des programmes logiques avec contraintes / Sébastien Hoarau le 1999 [ La Réunion ]
Structuration des données dans le cadre d'un système de gestion de bases de connaissances / Mohand-Said Djennaoui le 1992 [ Lyon, INSA ]
Théorie du gourvernement et du liage et programmation logique avec contraintes : une application à l'analyse automatique du français / Nabil Hathout le 1992 [ Toulouse 3 ]
Contribution à la modélisation de l'apprentissage en situation de résolution de problèmes : proposition d'un système cognitif permettant l'apprentissage / Françoise Sandoz le 1993 [ Besançon ]
Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect / David Fauthoux le 2004 [ Toulouse 3 ]
Techniques de satisfaction de contraintes pour la modélisation déclarative : application à la génération concurrente de scènes / Pierre-François Bonnefoi le 1999 [ Limoges ]
Une logique pour la planification en environnement partiellement observable / Thomas Polacsek le 2004 [ Toulouse 3 ]
Implémentation et évaluation d'un système logique parallèle / Jacques Chassin de Kergommeaux le 1989 [ Grenoble 1 ]
Décomposition en programmation logique / Philippe Ezequel le 1990 [ Montpellier 2 ]
Cadre multi-niveaux de programmation logique et orientée objet : étude, extensions et réalisation / Abdenbi Drissi Talbi le 1996 [ Rouen ]
De la construction de preuves à la programmation parallèle en logique linéaire / Guy Perrier le 1995 [ Nancy 1 ]
Fusion de bases de croyances et programmation logique avec sémantique des modèles stables / Julien Hué le 2009 [ Toulon ]
Une aide interactive à la construction de preuves en logique du premier ordre / Laurent Fallot le 1989 [ Bordeaux 1 ]
Contribution à l'étude des sémantiques axiomatiques de Prolog / François Denis le 1990 [ Lille 1 ]
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD) / Daniel Diaz le 1995 [ Orléans ]
Système déductif dans le contexte de données réparties / Isabelle Robert de Saint Victor le 1988 [ Lyon 1 ]
Etude d'une représentation des objets partagés : définition, implantation, méthodes de preuve / Louis Féraud le 1991 [ Toulouse 3 ]
The monitoring power of forcing transformations / Aloïs Brunel le 2014 [ Paris 13 ]
Investigating host-microbiota cooperation with gap-filling optimization problems / Clémence Frioux le 2018 [ Rennes 1 ]
Contribution à l'étude de la programmation logique par les graphes orientés pondérés / Patrick Lebègue le 1988 [ Lille 1 ]
Multilog : utilisation de mondes en programmation logique pour représenter et manipuler des connaissances / Hervé Kauffmann le 1986 [ Paris 6 ]
Contribution à l'intégration de concepts et de mécanismes de langages avancés pour la programmation logico-fonctionnelle : le langage VEGA / François Jacquenet le 1988 [ Besançon ]
Découverte de motifs relationnels en bioinformatique : application à la prédiction de ponts disulfures / Ingrid Jacquemin le 2005 [ Rennes 1 ]
A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml / Glen Mével le 2022 [ Université Paris Cité ]
Programmation logique inductive floue et possibilité : gagner en expressivité, adaptabilité, ou en efficacité / Mathieu Serrurier le 2005 [ Toulouse 3 ]
Terminaison de la réécriture sous stratégies / Olivier Fissore le 2003 [ Nancy 1 ]
Proof of Programs with Effect Handlers / Paulo De Vilhena le 2022 [ Université Paris Cité ]
Gestion de la complexité dans un logiciel destiné à la simulation numérique multiphysique / Quoc Hung Huynh le 2006 [ Grenoble INPG ]
Contribution à l'intégration de la programmation logique et de la programmation par objets : étude, conception et implantation / Macaire Ngomo le 1996 [ Rouen ]
Un problème de système expert temps réel : la gestion de centres informatiques / Claude Leclercq le 1990 [ Lille 1 ]
SACRE : Une approche de résolution en logique fondée sur des techniques de satisfaction de contraintes / Jean-Michel Richer ; sous la direction de Jean-Jacques Chabrier / Jean-Michel Richer le 1999 [ Dijon ]
Calcul des états atteignables de programmes ESTEREL partitionné selon la syntaxe / Eric Vecchié le 2004 [ Nice ]
Systèmes d'agents normatifs : concepts et outils logiques / Tiberiu Stratulat le 2002 [ Caen ]
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires / Theo Grente le 2020 [ Normandie ]
Grafolog : un système de programmation logique et objets sans variables par le dessin / Jean-Luc Guérin le 1991 [ Compiègne ]
Abstraction temporelle de signal ECG, apprentissage inductif de contraintes temporelles et reconnaissance des arythmies cardiaques / Feng Wang le 2002 [ Rennes 1 ]
Extensions du "Hoist scheduling problem" cyclique : résolution basée sur un traitement des contraintes disjonctives en programmation en logique avec contraintes / Christophe Varnier le 1996 [ Besançon ]
Development of a probabilistic domain-specific language for brain connectivity including heterogeneous knowledge representation / Gaston Ezequiel Zanitti le 2023 [ université Paris-Saclay ]
Evolution et apprentissage automatique pour l'annotation fonctionnelle et la classification des homologies lointains en protéines / Juliana Silva Bernardes le 2012 [ Paris 6 ]
Une machine abstraite pour la mise en œuvre du parallélisme ou/et en programmation logique / Philippe Robert le 1988 [ École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) ]
Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus / Sylvain Prigent le 2014 [ Rennes 1 ]
La consommation en registres en présence de parallélisme d'instructions / Sid-Ahmed-Ali Touati le 2002 [ Versailles-St Quentin en Yvelines ]
Extraction de connaissances pour la modélisation tri-dimensionnelle de l'interactome structural / Anisah W. Ghoorah le 2012 [ Université de Lorraine ]
Contribution à l'étude et au développement d'un système de diagnostic de dysfontionnement d'un procédé de distillation / Andy Noorsaman le 1993 [ Châtenay-Malabry, Ecole centrale de Paris ]
Certification de programmes avec des effets calculatoires / Burak Ekici le 2015 [ Université Grenoble Alpes (ComUE) ]
Etude d'une méthodologie d'implantation de fonctions logiques adaptées au traitement d'images dans un FPGA / Sandra Bouchard le 1999 [ Dijon ]
Optimisation itérative de bibliothèques de calculs par division hiérarchique de codes / Sébastien Donadio le 2007 [ Versailles-St Quentin en Yvelines ]
Un système de programmation logique pour la création d'interfaces homme-machine en langue naturelle / François de Bertrand de Beuvron le 1992 [ Compiègne ]
Logic programming tools for metabolic fluxes analysis and biological applications / Maxime Mahout le 2023 [ université Paris-Saclay ]
Set : système expert d'aide au diagnostic thermique : une approche de la représentation des connaissances en conception / Abdelhakim Lassoued le 1989 [ Compiègne ]
Acquisition automatique de lexiques sémantiques pour la recherche d'information / Vincent Claveau le 2003 [ Rennes 1 ]
Planification d'actions hiérarchique pour la simulation tactique / Alexandre Menif le 2017 [ Paris Sciences et Lettres (ComUE) ]
Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire / Stéphanie Chevalier le 2022 [ université Paris-Saclay ]
Modélisation bioinformatique des réseaux de régulation génétique et métabolique : application à l'étude du comportement des cellules exposées au déficit en folates et à des contaminants alimentaires en cause dans la génèse du cancer / Etienne Gnimpieba Zohim le 2011 [ Compiègne ]