×

zbMATH — the first resource for mathematics

Found 197 Documents (Results 1–100)

100
MathJax
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 453-461 (2019).
MSC:  68T27
PDF BibTeX Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 210-223 (2019).
MSC:  68N17 68T27
PDF BibTeX Cite
Full Text: DOI
Cowen, Lenore J. (ed.), Research in computational molecular biology. 23rd annual international conference, RECOMB 2019, Washington, DC, USA, May 5–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11467, 19-34 (2019).
MSC:  92C50 68T05
PDF BibTeX Cite
Full Text: DOI
Croitoru, Madalina (ed.) et al., Graph structures for knowledge representation and reasoning. 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10775, 73-83 (2018).
MSC:  68T30 68M12 68R10
PDF BibTeX Cite
Full Text: DOI
Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 3, 5 p. (2018).
MSC:  68P15 68N17 68T30
PDF BibTeX Cite
Full Text: DOI
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 2, 13 p. (2017).
MSC:  68T30 68U05
PDF BibTeX Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10377, 236-249 (2017).
MSC:  68N17 68T27
PDF BibTeX Cite
Full Text: DOI
Methods in Molecular Biology 1525. New York, NY: Humana Press/Springer (ISBN 978-1-4939-6620-2/hbk; 978-1-4939-6622-6/ebook). x, 491 p. (2017).
PDF BibTeX Cite
Full Text: DOI
Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 – November 1, 2015. Sibiu: “Lucian Blaga” University Press. 51-58 (2016).
MSC:  68T30 68T27
PDF BibTeX Cite
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. Stud. Univers. Log., 489-520 (2015).
MSC:  68T30 68T27
PDF BibTeX Cite
Full Text: DOI
Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX Cite
Full Text: DOI
Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX Cite
Full Text: DOI
Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX Cite
Full Text: DOI
Berlin: Springer; Beijing: Higher Education Press (ISBN 978-3-642-25455-0/hbk; 978-3-642-25456-7/ebook). xv, 202 p. (2012).
MSC:  68-02 68T37 68T30
PDF BibTeX Cite
Full Text: DOI
Harkiolakis, Nikos (ed.) et al., Advances in applied mathematics, systems, communications and computers. Selected papers based on the presentations at the conferences on communications & information technology 2008, circuits, systems and signals 2008 and applied mathematics, simulation, modelling 2008, Marathon Beach, Attica, Greece, June 1–3, 2008. [s.l.]: North Atlantic University Union (NAUN) (ISBN 978-960-6766-69-5). 221-226 (2011).
MSC:  68T42 68T15 68T30
PDF BibTeX Cite
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011).
MSC:  03B65 68T30
PDF BibTeX Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 209-219, electronic only (2011).
MSC:  68T30 68N17 68P20
PDF BibTeX Cite
Full Text: DOI Link
Džeroski, Sašo (ed.) et al., Inductive databases and constraint-based data mining. New York, NY: Springer (ISBN 978-1-4419-7737-3/hbk; 978-1-4419-7738-0/ebook). 27-58 (2010).
MSC:  68P15 68T30 68T05
PDF BibTeX Cite
Full Text: DOI
Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 602-611 (2010).
MSC:  94A60 68P99
PDF BibTeX Cite
Full Text: DOI
Filipe, Joaquim (ed.) et al., Agents and artificial intelligence. International conference, ICAART 2009, Porto, Portugal, January 19–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11818-0/pbk; 978-3-642-11819-7/ebook). Communications in Computer and Information Science 67, 191-204 (2010).
MSC:  68T42 68T27
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software