Cover Image

QR Code

Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings /

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018. The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 s...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Ferrarotti, Flavio. (Editor, http://id.loc.gov/vocabulary/relators/edt), Woltran, Stefan. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Information Systems and Applications, incl. Internet/Web, and HCI ; 10833
Subjects:	Mathematical logic. Database management. Artificial intelligence. Application software. Mathematical Logic and Formal Languages. Database Management. Artificial Intelligence. Computer Appl. in Administrative Data Processing.
Online Access:	https://doi.org/10.1007/978-3-319-90050-6

Similar Items

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / edited by Marc Gyssens, Guillermo Simari.
Published: (2016)

Foundations of Information and Knowledge Systems 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / edited by Andreas Herzig, Juha Kontinen.
Published: (2020)

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / edited by Christoph Beierle, Carlo Meghini.
Published: (2014)

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)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.
Published: (2018)

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / edited by Corina Cîrstea.
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 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)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Published: (2016)

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 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz.
Published: (2014)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
Published: (2015)

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)

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.
Published: (2017)

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto.
Published: (2016)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / edited by Nicolas Lachiche, Christel Vrain.
Published: (2018)

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.
Published: (2020)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Published: (2019)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2018)

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)

A New Perspective on Nonmonotonic Logics by Dov M. Gabbay, Karl Schlechta.
by: Gabbay, Dov M., et al.
Published: (2016)

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by Karl Schlechta.
by: Schlechta, Karl., et al.
Published: (2018)

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size / by Karl Schlechta.
by: Schlechta, Karl., et al.
Published: (2018)

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

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / edited by Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla.
Published: (2019)

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
Published: (2019)

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

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani.
Published: (2018)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Jeremy Avigad, Assia Mahboubi.
Published: (2018)

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.
Published: (2017)

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)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach.
Published: (2019)

Logical Foundations of Cyber-Physical Systems by André Platzer.
by: Platzer, André., et al.
Published: (2018)

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.
Published: (2016)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent.
Published: (2014)

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach.
Published: (2014)

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / edited by Kamal Lodaya.
Published: (2013)

Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.
by: Crespi Reghizzi, Stefano., et al.
Published: (2013)