kw.\*:("Programación lógica")
Results 1 to 25 of 4181
Selection :
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
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
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
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
A-system: Declarative programming with abductionVAN NUFFELEN, Bert; KAKAS, Antonis.Lecture notes in computer science. 2001, pp 393-396, issn 0302-9743, isbn 3-540-42593-4Conference Paper
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
Deducing logic programsWONG, Ka-Shu.Lecture notes in computer science. 2006, pp 471-472, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper
CSL 2005 : computer science logic (Oxford, 22-25 August 2005)Ong, Luke.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28231-9, XI, 565 p, isbn 3-540-28231-9Conference Proceedings
Logic programming (Saint Malo, 6-10 September 2004)Demoen, Bart; Lifschitz, Vladimir.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22671-0, XII, 480 p, isbn 3-540-22671-0Conference Proceedings
The period constraintBELDICEANU, Nicolas; PODER, Emmanuel.Lecture notes in computer science. 2004, pp 329-342, issn 0302-9743, isbn 3-540-22671-0, 14 p.Conference Paper
Handling incomplete and complete tables in tabled logic programsROCHA, Ricardo.Lecture notes in computer science. 2006, pp 427-428, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper
Logic based program synthesis and transformation (15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005)Hill, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32654-5, 1Vol, X-178 p, isbn 3-540-32654-5Conference Proceedings
On the BEAM implementationLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 131-135, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper
Logical and meta-logical frameworksPFENNING, F.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66540-4, p. 206Conference Paper
Self-adjusting computationHARPER, Robert.Symposium on Logic in Computer Science. 2004, pp 254-255, isbn 0-7695-2192-4, 1Vol, 2 p.Conference Paper
Computer science logic (Vienna, 25-30 August 2003)Baaz, Matthias; Makowsky, Johann A.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40801-0, XII, 590 p, isbn 3-540-40801-0Conference Proceedings
Logic programming (22nd international conference, ICLP 2006)Etalle, Sandro; Truszczyński, Mirosław.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-36635-0, 1Vol, XIV-474 p, isbn 3-540-36635-0Conference Proceedings
Logic programming (Paphos, 26 November - 1 December 2001)Codognet, Philippe.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42935-2, XI, 364 p, isbn 3-540-42935-2Conference Proceedings
A categorical semantics of quantum protocolsABRAMSKY, Samson; COECKE, Bob.Symposium on Logic in Computer Science. 2004, pp 415-425, isbn 0-7695-2192-4, 1Vol, 11 p.Conference Paper
Programme logique avec contraintes (CLP). Etude et application au puzzle : Send plus more equal to money = Contraint logical programingLEMLOUMA, Tayeb; BOUDINA, Abdelmadjid.RIST. 2000, Vol 10, Num 1-2, pp 4-5, issn 1111-0015, 9, 63-85 [25 p.]Article
An external module for implementing linear tabling in prologSILVA, Claudio; ROCHA, Ricardo; LOPES, Ricardo et al.Lecture notes in computer science. 2006, pp 429-430, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper
Towards an implicit characterization of NCkBONFANTE, G; KAHLE, R; MARION, J.-Y et al.Lecture notes in computer science. 2006, pp 212-224, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 13 p.Conference Paper
ILP 2002 : inductive logic programming (Sydney, 9-11 July 2002, revised papers)Matwin, Stan; Sammut, Claude.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-00567-6, X, 349 p, isbn 3-540-00567-6Conference Proceedings