PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Declarative programming for knowledge management (16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69233-9, 1Vol, X-228 p, isbn 3-540-69233-9Conference Proceedings

The Importance of Being DeclarativeSPINELLIS, Diomidis.IEEE software. 2013, Vol 30, Num 1, pp 90-91, issn 0740-7459, 2 p.Article

PADL 2004 : practical aspects of declarative languages (Dallas TX, 18-19 June 2004)Jayaraman, Bharat.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22253-7, VIII, 254 p, isbn 3-540-22253-7Conference Proceedings

Lmntal as a unifying declarative language : Live demonstrationUEDA, Kazunori; KATO, Norio; HARA, Koji et al.Lecture notes in computer science. 2006, pp 457-458, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

DALT 2003 : declarative agent languages and technologies (Melbourne, 15 July 2003, revised selected and invited papers)Leite, Joao; Omicini, Andrea; Sterling, Leon et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22124-7, XII, 279 p, isbn 3-540-22124-7Conference Proceedings

Union and intersection of filtering functions for information filteringSAWAI, Rie; TSUKAMOTO, Masahiko; TERADA, Tsutomu et al.Lecture notes in computer science. 2004, pp 738-749, issn 0302-9743, isbn 3-540-21047-4, 12 p.Conference Paper

Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

Declarative agent languages and technologies III (Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33106-9, 1Vol, XII-244 p, isbn 3-540-33106-9Conference Proceedings

Quickcheck testing for fun and profitHUGHES, John.Lecture notes in computer science. 2007, pp 1-32, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 32 p.Conference Paper

On improving the efficiency and robustness of table storage mechanisms for tabled evaluationROCHA, Ricardo.Lecture notes in computer science. 2007, pp 155-169, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

Pruning in the extended Andorra modelLOPES, Ricardo; COSTA, Vitor Santos; SILVA, Fernando et al.Lecture notes in computer science. 2004, pp 120-134, issn 0302-9743, isbn 3-540-22253-7, 15 p.Conference Paper

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

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Coo-BDI: Extending the BDI model with cooperativityANCONA, Davide; MASCARDI, Viviana.Lecture notes in computer science. 2004, pp 109-134, issn 0302-9743, isbn 3-540-22124-7, 26 p.Conference Paper

Warp: A Haskell Web ServerSNOYMAN, Michael.IEEE internet computing. 2011, Vol 15, Num 3, pp 81-85, issn 1089-7801, 5 p.Article

TURTLE++ -A CIP-library for C++HOFSTEDT, Petra; KRZIKALLA, Olaf.Lecture notes in computer science. 2006, pp 12-24, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 13 p.Conference Paper

Applications of declarative programming and knowledge managemente (Potsdam, 4-6 March 2004, revised selected papers)Seipel, Dietmar; Hanus, Michael; Geske, Ulrich et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25560-5, X, 308 p, isbn 3-540-25560-5Conference Proceedings

Logic-based electronic institutionsVASCONCELOS, Wamberto W.Lecture notes in computer science. 2004, pp 221-242, issn 0302-9743, isbn 3-540-22124-7, 22 p.Conference Paper

Customising processors: Design-time and run-time opportunitiesLUK, Wayne.Lecture notes in computer science. 2004, pp 49-58, issn 0302-9743, isbn 3-540-22377-0, 10 p.Conference Paper

USA-smart: Improving the quality of plans in answer set planningBALDUCCINI, Marcello.Lecture notes in computer science. 2004, pp 135-147, issn 0302-9743, isbn 3-540-22253-7, 13 p.Conference Paper

Enhancing commitment machinesWINIKOFF, Michael; WEI LIU; HARLAND, James et al.Lecture notes in computer science. 2005, pp 198-220, issn 0302-9743, isbn 3-540-26172-9, 23 p.Conference Paper

Not-first and not-last detection for cumulative scheduling in O(n³ log n)SCHUTT, Andreas; WOLF, Armin; SCHRADER, Gunnar et al.Lecture notes in computer science. 2006, pp 66-80, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 15 p.Conference Paper

Transforming models with ATLJOUAULT, Frédéric; KURTEV, Ivan.Lecture notes in computer science. 2006, pp 128-138, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 11 p.Conference Paper