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

How to talk to your computer so that it will listenDAHL, Veronica.Lecture notes in computer science. 2002, pp 3-8, issn 0302-9743, isbn 3-540-43092-XConference Paper

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

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

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

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

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

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

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

Introduction to subject area chartsDAMM, Werner; WESTPHAL, Bernd.Integration of software specification techniques for applications in engineering (Priority program SoftSpez of the German Research Foundation (DFG) : final report ). Lecture notes in computer science. 2004, pp 322-324, issn 0302-9743, isbn 3-540-23135-8, 3 p.Book Chapter

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

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

Exploiting efficient control and data structures in logic programsRONG YANG; GREGORY, Steve.Lecture notes in computer science. 2002, pp 318-331, issn 0302-9743, isbn 3-540-43092-XConference Paper

A general approach for building constraint languagesHOFSTEDT, Petra.Lecture notes in computer science. 2002, pp 431-442, issn 0302-9743, isbn 3-540-00197-2, 12 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

The DLV^κ planning system: Progress reportEITER, Thomas; FABER, Wolfgang; LEONE, Nicola et al.Lecture notes in computer science. 2002, pp 541-544, issn 0302-9743, isbn 3-540-44190-5, 4 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

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

I Do Declare: Consensus in a Logic LanguageALVARO, Peter; CONDIE, Tyson; CONWAY, Neil et al.Operating systems review. 2009, Vol 43, Num 4, pp 25-30, issn 0163-5980, 6 p.Conference Paper

On the Declarativity of Declarative NetworkingYUN MAO.Operating systems review. 2009, Vol 43, Num 4, pp 19-24, issn 0163-5980, 6 p.Conference Paper

The range constraint : Algorithms and implementationBESSIERE, Christian; HEBRARD, Emmanuel; HNICH, Brahim et al.Lecture notes in computer science. 2006, pp 59-73, issn 0302-9743, isbn 3-540-34306-7, 1Vol, 15 p.Conference Paper