Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Programmation logique")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 6723

  • Page / 269
Export

Selection :

  • and

Towards the integration of inductive and nonmonotonic logic programmingSAKAMA, Chiaki.Progress in discovery science (final report of the Japanese discovery science project). Lecture notes in computer science. 2002, pp 178-188, issn 0302-9743, isbn 3-540-43338-4Book Chapter

ILP 2005 : inductive logic programming (Bonn, 10-13 August 2005)Kramer, Stefan; Pfahringer, Bernhard.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28177-0, XIII, 425 p, isbn 3-540-28177-0Conference Proceedings

Programmation logique avec contraintes et ordonnancement = Constraint logic programming and schedulingESQUIROL, P; LOPEZ, P.Automatique-productique informatique industrielle. 1995, Vol 29, Num 4-5, pp 379-407, issn 0296-1598Conference Paper

Declarative diagnosis of wrong answers in constraint functional-logic programmingCABALLERO, Rafael; RODRIGUEZ ARTALEJO, Mario; DEL VADO VIRSEDA, Rafael et al.Lecture notes in computer science. 2006, pp 421-422, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Building industrial applications with constraint programmingSIMONIS, Helmut.Lecture notes in computer science. 2001, pp 271-309, issn 0302-9743, isbn 3-540-41950-0Conference Paper

Programmation en logique avec contraintes (Paris, 24-27 avril 2001 )Codognet, Philippe.JFPLC'2001 : journées francophones de programmation en logique et de programmation par contraintes. 2001, isbn 2-7462-0255-7, 303 p., isbn 2-7462-0255-7Conference Proceedings

Playing logic programs with the Alpha-Beta algorithmLODDO, Jean-Vincent; DI COSMO, Roberto.Lecture notes in computer science. 2000, pp 207-224, issn 0302-9743, isbn 3-540-41285-9Conference Paper

Generalized semantics and abstract interpretation for constraint logic programsGIACOBAZZI, R; DEBRAY, S. K; LEVI, G et al.The Journal of logic programming. 1995, Vol 25, Num 3, pp 191-247, issn 0743-1066Article

Implementing CLP(IB) using the connection theorem proving method and a clause management systemSIDEBOTTOM, G.Journal of symbolic computation. 1993, Vol 15, Num 1, pp 27-48, issn 0747-7171Article

Transformation rules for locally stratified constraint logic programsFIORAVANTI, Fabio; PETTOROSSI, Alberto; PROIETTI, Maurizio et al.Program development in computational logic : a decade of research advances in logic-based program development. Lecture notes in computer science. 2004, pp 291-339, issn 0302-9743, isbn 3-540-22152-2, 49 p.Book Chapter

CCL'99 : constraints in computational logics, theory and applications (Gif sur Yvette, 5-8 September 1999, revised lectures)Comon, Hubert; Marché, Claude; Treinen, Ralf et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41950-0, XII, 309 p, isbn 3-540-41950-0Conference Proceedings

Inductive logic programming : Yet another application of logicYAMAMOTO, Akihiro.Lecture notes in computer science. 2006, pp 102-116, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 15 p.Conference Paper

Strategy learning for reasoning agentsSKUBCH, Hendrik; THIELSCHER, Michael.Lecture notes in computer science. 2005, pp 733-740, issn 0302-9743, isbn 3-540-29243-8, 1Vol, 8 p.Conference Paper

Proof length as an uncertainty factor in ILPRICHARD, Gilles; KETTAF, Fatima Zohra.Lecture notes in computer science. 2002, pp 128-140, issn 0302-9743, isbn 3-540-43481-XConference Paper

Automated strategies for specializing constraint logic programsFIORAVANTI, Fabio; PETTOROSSI, Alberto; PROIETTI, Maurizio et al.Lecture notes in computer science. 2001, Vol 2042, pp 125-146, issn 0302-9743, isbn 3-540-42127-0Conference Paper

INFERER ET COMPILER LA TERMINAISON DES PROGRAMMES LOGIQUES AVEC CONTRAINTE = To infer and to compile the termination of constrained logical programsHoarau, Sébastien; Ralambondrainy, Henri.1999, 128 p.Thesis

Contraintes ensemblistes et résolution multi-solveurs en programmation logique avec contraintes = Set constraint and multi-solver resolution in constraint logic programmingAmbert, Fabrice; Legeard, Bruno.1997, 148 p.Thesis

Proving properties of constraint logic programs by eliminating existential variablesPETTOROSSI, Alberto; PROIETTI, Maurizio; SENNI, Valerio et al.Lecture notes in computer science. 2006, pp 179-195, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 17 p.Conference Paper

Learning teleoreactive logic programs from problem solvingCHOI, Dongkyu; LANGLEY, Pat.Lecture notes in computer science. 2005, pp 51-68, issn 0302-9743, isbn 3-540-28177-0, 18 p.Conference Paper

Inducing musical rules with ILPRAMIREZ, Rafael.Lecture notes in computer science. 2003, pp 502-504, issn 0302-9743, isbn 3-540-20642-6, 3 p.Conference Paper

Census data repair: A challenging application of disjunctive logic programmingFRANCONI, Enrico; PALMA, Antonio Laureti; LEONE, Nicola et al.Lecture notes in computer science. 2001, pp 561-578, issn 0302-9743, isbn 3-540-42957-3Conference Paper

Projecting CLP(R) constraintsJAFFAR, J; MAHER, M. J; STUCKEY, P. J et al.New generation computing. 1993, Vol 11, Num 3-4, pp 449-469, issn 0288-3635Conference Paper

Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29208-X, 1Vol, XIV, 454 p, isbn 3-540-29208-XConference Proceedings

Induction of the indirect effects of actions by monotonic methodsOTERO, Ramon P.Lecture notes in computer science. 2005, pp 279-294, issn 0302-9743, isbn 3-540-28177-0, 16 p.Conference Paper

Circumscription policies for inductionINOUE, Katsumi; SAITO, Haruka.Lecture notes in computer science. 2004, pp 164-179, issn 0302-9743, isbn 3-540-22941-8, 16 p.Conference Paper

  • Page / 269