Cover Image

QR Code

Description Logics in Multimedia Reasoning

This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologie...

Full description

Main Author:	Sikos, Leslie F. (Author, http://id.loc.gov/vocabulary/relators/aut)
Corporate Author:	SpringerLink (Online service)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Subjects:	Artificial intelligence. Mathematical logic. Optical data processing. Computer science—Mathematics. Computer mathematics. Artificial Intelligence. Mathematical Logic and Formal Languages. Image Processing and Computer Vision. Discrete Mathematics in Computer Science. Mathematical Applications in Computer Science.
Online Access:	https://doi.org/10.1007/978-3-319-54066-5

Similar Items

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Machine Learning A Practical Approach on the Statistical Learning Theory / by RODRIGO F MELLO, Moacir Antonelli Ponti.
by: F MELLO, RODRIGO., et al.
Published: (2018)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.
Published: (2015)

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings / edited by Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter.
Published: (2014)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz.
Published: (2013)

Formal Grammar 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof.
Published: (2013)

Descriptional Complexity of Formal Systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
Published: (2020)

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / by Gerard O'Regan.
by: O'Regan, Gerard., et al.
Published: (2017)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
Published: (2019)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
Published: (2014)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.
Published: (2015)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.
Published: (2016)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.
Published: (2013)

Matrix and Tensor Factorization Techniques for Recommender Systems by Panagiotis Symeonidis, Andreas Zioupos.
by: Symeonidis, Panagiotis., et al.
Published: (2016)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
Published: (2016)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
Published: (2015)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
Published: (2015)

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3 2015 / edited by Muthukrishnan Senthilkumar, Vijayalakshmi Ramasamy, Shina Sheen, C. Veeramani, Anthony Bonato, Lynn Batten.
Published: (2016)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / edited by Balder D. ten Cate, Henk W. Zeevat.
Published: (2007)

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
Published: (2018)

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach.
Published: (2021)

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan.
by: O’Regan, Gerard., et al.
Published: (2020)

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.
Published: (2014)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
Published: (2007)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo.
Published: (2016)

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings / edited by Alexander Gelbukh, Àngel Fernando Kuri Morales.
Published: (2007)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.
Published: (2016)

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry / by Thomas Macaulay Ferguson.
by: Ferguson, Thomas Macaulay., et al.
Published: (2017)

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré.
Published: (2016)

Case-Based Reasoning Research and Development 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / edited by Ian Watson, Rosina Weber.
Published: (2020)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka.
Published: (2015)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Published: (2017)

Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets / edited by Plamen Angelov, Sotir Sotirov.
Published: (2016)

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / edited by Serenella Cerrito, Andrei Popescu.
Published: (2019)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

Maple in Mathematics Education and Research 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers / edited by Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas.
Published: (2021)

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings / edited by Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea.
Published: (2014)