×

Found 8 Documents (Results 1–8)

Answer set programming with external source access. (English) Zbl 1491.68191

Ianni, Giovambattista (ed.) et al., Reasoning web. Semantic interoperability on the web. 13th international summer school 2017, London, UK, July 7–11, 2017. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 10370, 204-275 (2017).
MSC:  68T20 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Exploiting unfounded sets for HEX-program evaluation. (English) Zbl 1361.68030

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 160-175 (2012).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Soot particle deposition within porous structures using a method of moments-lattice Boltzmann approach. (English) Zbl 1329.82118

Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 564-571 (2004).
MSC:  82C80 76M28 76T99 76S05
PDFBibTeX XMLCite
Full Text: DOI

Virtual fires — experiences with developing a LBGK based real time tunnel fire simulator for virtual environments. (English) Zbl 1033.68694

Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part I. Berlin: Springer (ISBN 3-540-40194-6/pbk). Lect. Notes Comput. Sci. 2657, 1062-1071 (2003).
MSC:  68U20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software