Search Results for Logic. - Narrowed by: Artificial intelligence.

Dynamic Epistemic Logic

2024-07-20T08:46:30Z

Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources
Availability Online Library~1

Stochastic Coalgebraic Logic

2024-07-20T08:46:30Z

Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Electronic Resources
Availability Online Library~1

Fuzzy Equational Logic

2024-07-20T08:46:30Z

Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105121
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2024-07-20T08:46:30Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2024-07-20T08:46:30Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Fuzzy Logic using MATLAB

2024-07-20T08:46:30Z

Author Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35781-0
Format: Electronic Resources
Availability Online Library~1

Rigid Flexibility The Logic of Intelligence

2024-07-20T08:46:30Z

Author Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Financial Analysis

2024-07-20T08:46:30Z

Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32368-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic, Identification and Predictive Control

2024-07-20T08:46:30Z

Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138626
Format: Electronic Resources
Availability Online Library~1

Design of logic-based intelligent systems

2024-07-20T08:46:30Z

Author Truemper, K., 1942- John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html
Format: Electronic Resources
Availability Online Library~1

Linguistic Fuzzy Logic Methods in Social Sciences

2024-07-20T08:46:30Z

Author Arfi, Badredine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13343-5
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2024-07-20T08:46:30Z

Author Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88077-6
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic: Theory and Applications

2024-07-20T08:46:30Z

Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76284-3
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2024-07-20T08:46:30Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Advanced Fuzzy Logic Technologies in Industrial Applications

2024-07-20T08:46:30Z

Author Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-469-4
Format: Electronic Resources
Availability Online Library~1

Integration of Fuzzy Logic and Chaos Theory

2024-07-20T08:46:30Z

Author Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32502-6
Format: Electronic Resources
Availability Online Library~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-07-20T08:46:30Z

Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-07-20T08:46:30Z

Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-07-20T08:46:30Z

Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20528-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-07-20T08:46:30Z

Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19432-1
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-07-20T08:46:30Z

Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources
Availability Online Library~1

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources
Availability Online Library~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-07-20T08:46:30Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-07-20T08:46:30Z

Author Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25785-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-07-20T08:46:30Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Intelligent System Design Theory and Applications

2024-07-20T08:46:30Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67137-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications

2024-07-20T08:46:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71008-2
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1

2024-07-20T08:46:30Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66830-7
Format: Electronic Resources
Availability Online Library~1

New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic

2024-07-20T08:46:30Z

Author Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73773-7
Format: Electronic Resources
Availability Online Library~1

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

2024-07-20T08:46:30Z

Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2

2024-07-20T08:46:30Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66824-6
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3

2024-07-20T08:46:30Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66827-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-07-20T08:46:30Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-07-20T08:46:30Z

Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-07-20T08:46:30Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-07-20T08:46:30Z

Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources
Availability Online Library~1

Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic

2024-07-20T08:46:30Z

Author Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70851-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-07-20T08:46:30Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources
Availability Online Library~1

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

2024-07-20T08:46:30Z

Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution

2024-07-20T08:46:30Z

Author John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72892-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-07-20T08:46:30Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources
Availability Online Library~1

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

2024-07-20T08:46:30Z

Author Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2024-07-20T08:46:30Z

Author Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2024-07-20T08:46:30Z

Author Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-07-20T08:46:30Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2024-07-20T08:46:30Z

Author Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-07-20T08:46:30Z

Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources
Availability Online Library~1

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

2024-07-20T08:46:30Z

Author Janjua, Naeem Khalid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03949-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2024-07-20T08:46:30Z

Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-07-20T08:46:30Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

2024-07-20T08:46:30Z

Author Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13281-5
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

2024-07-20T08:46:30Z

Author Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2024-07-20T08:46:30Z

Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2024-07-20T08:46:30Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2024-07-20T08:46:30Z

Author Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334552.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-07-20T08:46:30Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-07-20T08:46:30Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-07-20T08:46:30Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2024-07-20T08:46:30Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources
Availability Online Library~1

Puzzles in Logic, Languages and Computation The Green Book

2024-07-20T08:46:30Z

Author Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333840.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34372-8
Format: Electronic Resources
Availability Online Library~1

Puzzles in Logic, Languages and Computation The Red Book

2024-07-20T08:46:30Z

Author Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333842.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34378-0
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2024-07-20T08:46:30Z

Author Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334337.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2024-07-20T08:46:30Z

Author Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334875.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2024-07-20T08:46:30Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic in Intelligent Control Applications

2024-07-20T08:46:30Z

Author Castillo, Oscar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24663-0
Format: Electronic Resources
Availability Online Library~1

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

2024-07-20T08:46:30Z

Author Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29414-3
Format: Electronic Resources
Availability Online Library~1

New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

2024-07-20T08:46:30Z

Author Lassiter, Daniel. editor. Slavkovik, Marija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31467-4
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

2024-07-20T08:46:30Z

Author Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31482-7
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2024-07-20T08:46:30Z

Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Electronic Resources
Availability Online Library~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2024-07-20T08:46:30Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2024-07-20T08:46:30Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2024-07-20T08:46:30Z

Author Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32211-2
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2024-07-20T08:46:30Z

Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2024-07-20T08:46:30Z

Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29822-6
Format: Electronic Resources
Availability Online Library~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2024-07-20T08:46:30Z

Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30743-0
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2024-07-20T08:46:30Z

Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31951-8
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

2024-07-20T08:46:30Z

Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32897-8
Format: Electronic Resources
Availability Online Library~1

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

2024-07-20T08:46:30Z

Author Balasubramaniam, P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19263-0
Format: Electronic Resources
Availability Online Library~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2024-07-20T08:46:30Z

Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources
Availability Online Library~1

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2024-07-20T08:46:30Z

Author Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21490-5
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

2024-07-20T08:46:30Z

Author Kuchen, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22531-4
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings

2024-07-20T08:46:30Z

Author Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23713-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2024-07-20T08:46:30Z

Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19486-3
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

2024-07-20T08:46:30Z

Author Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20551-4
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2024-07-20T08:46:30Z

Author Mariño, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20775-4
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

2024-07-20T08:46:30Z

Author Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22303-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

2024-07-20T08:46:30Z

Author Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22359-4
Format: Electronic Resources
Availability Online Library~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2024-07-20T08:46:30Z

Author Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Electronic Resources
Availability Online Library~1

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp

2024-07-20T08:46:30Z

Author Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22830-8
Format: Electronic Resources
Availability Online Library~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2024-07-20T08:46:30Z

Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

2024-07-20T08:46:30Z

Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18026-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2024-07-20T08:46:30Z

Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20832-4
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-07-20T08:46:30Z

Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2024-07-20T08:46:30Z

Author Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21295-6
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2024-07-20T08:46:30Z

Author Schreye, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12592-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2024-07-20T08:46:30Z

Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14287-1
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2024-07-20T08:46:30Z

Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14183-6
Format: Electronic Resources
Availability Online Library~1

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

2024-07-20T08:46:30Z

Author Icard, Thomas. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14729-6
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2024-07-20T08:46:30Z

Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-07-20T08:46:30Z

Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2024-07-20T08:46:30Z

Author Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11999-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2024-07-20T08:46:30Z

Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Electronic Resources
Availability Online Library~1

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2024-07-20T08:46:30Z

Author Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14309-0
Format: Electronic Resources
Availability Online Library~1

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2024-07-20T08:46:30Z

Author Cao, Tru Hoang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14087-7
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-07-20T08:46:30Z

Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15205-4
Format: Electronic Resources
Availability Online Library~1

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2024-07-20T08:46:30Z

Author Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15223-8
Format: Electronic Resources
Availability Online Library~1

Quantitative Logic and Soft Computing 2010 Volume 2

2024-07-20T08:46:30Z

Author Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15660-1
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-07-20T08:46:30Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic-Based Algorithms for Video De-Interlacing

2024-07-20T08:46:30Z

Author Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10695-8
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16867-3
Format: Electronic Resources
Availability Online Library~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2024-07-20T08:46:30Z

Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Electronic Resources
Availability Online Library~1

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2024-07-20T08:46:30Z

Author Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Electronic Resources
Availability Online Library~1

A Missing Link in Cybernetics Logic and Continuity

2024-07-20T08:46:30Z

Author Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Electronic Resources
Availability Online Library~1

Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications

2024-07-20T08:46:30Z

Author Seising, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93802-6
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2024-07-20T08:46:30Z

Author Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00515-2
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

2024-07-20T08:46:30Z

Author Bosch, Peter. editor. Gabelaia, David. editor. Lang, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00665-4
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2024-07-20T08:46:30Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00675-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2024-07-20T08:46:30Z

Author Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-07-20T08:46:30Z

Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources
Availability Online Library~1

Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications

2024-07-20T08:46:30Z

Author Celikyilmaz, Asli. author. Türksen, I. Burhan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89924-2
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2024-07-20T08:46:30Z

Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

2024-07-20T08:46:30Z

Author Gesù, Vito. editor. Pal, Sankar Kumar. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02282-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2024-07-20T08:46:30Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources
Availability Online Library~1

Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference

2024-07-20T08:46:30Z

Author Goertzel, Ben. author. Iklé, Matthew. author. Goertzel, Izabela Freire. author. Heljakka, Ari. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76872-4
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Action: Applications in Epidemiology and Beyond

2024-07-20T08:46:30Z

Author Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69094-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-07-20T08:46:30Z

Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-07-20T08:46:30Z

Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-07-20T08:46:30Z

Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-07-20T08:46:30Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Sadri, Fariba. editor. Satoh, Ken. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-07-20T08:46:30Z

Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-07-20T08:46:30Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-07-20T08:46:30Z

Author King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-07-20T08:46:30Z

Author Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-07-20T08:46:30Z

Author Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources
Availability Online Library~1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-07-20T08:46:30Z

Author Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic A Spectrum of Theoretical & Practical Issues

2024-07-20T08:46:30Z

Author Wang, Paul P. editor. Ruan, Da. editor. Kerre, Etienne E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71258-9
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-07-20T08:46:30Z

Author Puebla, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources
Availability Online Library~1

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-07-20T08:46:30Z

Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-07-20T08:46:30Z

Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

2024-07-20T08:46:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Ross, Oscar Montiel. editor. Sepúlveda Cruz, Roberto. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72434-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2024-07-20T08:46:30Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources
Availability Online Library~1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-07-20T08:46:30Z

Author Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-07-20T08:46:30Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-07-20T08:46:30Z

Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources
Availability Online Library~1

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

2024-07-20T08:46:30Z

Author Masulli, Francesco. editor. Mitra, Sushmita. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-07-20T08:46:30Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2024-07-20T08:46:30Z

Author Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-07-20T08:46:30Z

Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916277
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

2024-07-20T08:46:30Z

Author Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/10983652
Format: Electronic Resources
Availability Online Library~1

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2024-07-20T08:46:30Z

Author Hill, Patricia M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11680093
Format: Electronic Resources
Availability Online Library~1

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

2024-07-20T08:46:30Z

Author Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32870-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754602
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-07-20T08:46:30Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

2024-07-20T08:46:30Z

Author Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11676935
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2024-07-20T08:46:30Z

Author Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11737414
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2024-07-20T08:46:30Z

Author Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33459-0
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750734
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2024-07-20T08:46:30Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-07-20T08:46:30Z

Author Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799573
Format: Electronic Resources
Availability Online Library~1

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

2024-07-20T08:46:30Z

Author Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138799
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104175
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-07-20T08:46:30Z

Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591191
Format: Electronic Resources
Availability Online Library~1

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2024-07-20T08:46:30Z

Author Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137785
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2024-07-20T08:46:30Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135595
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-07-20T08:46:30Z

Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106931
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-07-20T08:46:30Z

Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546207
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-07-20T08:46:30Z

Author Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536314
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2024-07-20T08:46:30Z

Author Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533092
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-07-20T08:46:30Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538363
Format: Electronic Resources
Availability Online Library~1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2024-07-20T08:46:30Z

Author Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562931
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2024-07-20T08:46:30Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Proof Theory for Fuzzy Logics

2024-07-20T08:46:30Z

Author Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Electronic Resources
Availability Online Library~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-07-20T08:46:30Z

Author Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3069-X
Format: Electronic Resources
Availability Online Library~1

Approaches to Legal Rationality

2024-07-20T08:46:30Z

Author Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9588-6
Format: Electronic Resources
Availability Online Library~1

Debate Dynamics: How Controversy Improves Our Beliefs

2024-07-20T08:46:30Z

Author Betz, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335787.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4599-5
Format: Electronic Resources
Availability Online Library~1

Degrees of Belief

2024-07-20T08:46:30Z

Author Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: Electronic Resources
Availability Online Library~1

CAMEL intelligent networks for the GSM, GPSR and UMTS network

2024-07-20T08:46:30Z

Author Noldus, Rogier. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470028483 http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471
Format: Electronic Resources
Availability Online Library~1

The Dynamics of Thought

2024-07-20T08:46:30Z

Author Gärdenfors, Peter. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3399-0
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-07-20T08:46:30Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-07-20T08:46:30Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources
Availability Online Library~1

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2024-07-20T08:46:30Z

Author Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35166-3
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-07-20T08:46:30Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-07-20T08:46:30Z

Author Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14160-8
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-07-20T08:46:30Z

Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29026-9
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-07-20T08:46:30Z

Author Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-07-20T08:46:30Z

Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming

2024-07-20T08:46:30Z

Author Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24658-7
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-07-20T08:46:30Z

Author Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

2024-07-20T08:46:30Z

Author Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23679-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12738-1
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

2024-07-20T08:46:30Z

Author Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26773-5
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2024-07-20T08:46:30Z

Author van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-07-20T08:46:30Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-07-20T08:46:30Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2024-07-20T08:46:30Z

Author Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26807-7
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-07-20T08:46:30Z

Author Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21733-4
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-07-20T08:46:30Z

Author Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-07-20T08:46:30Z

Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

2024-07-20T08:46:30Z

Author Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33749-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-07-20T08:46:30Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources
Availability Online Library~1

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

2024-07-20T08:46:30Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30179-8
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2024-07-20T08:46:30Z

Author Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-07-20T08:46:30Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources
Availability Online Library~1

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

2024-07-20T08:46:30Z

Author Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33850-3
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-07-20T08:46:30Z

Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2024-07-20T08:46:30Z

Author Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28423-7
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-07-20T08:46:30Z

Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05348-2
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2024-07-20T08:46:30Z

Author Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29765-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-07-20T08:46:30Z

Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-07-20T08:46:30Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3146-6
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-07-20T08:46:30Z

Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

2024-07-20T08:46:30Z

Author Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35514-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-07-20T08:46:30Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

2024-07-20T08:46:30Z

Author Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14815-7
Format: Electronic Resources
Availability Online Library~1

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30284-9
Format: Electronic Resources
Availability Online Library~1

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

2024-07-20T08:46:30Z

Author Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59648-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-07-20T08:46:30Z

Author Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

2024-07-20T08:46:30Z

Author Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27520-4
Format: Electronic Resources
Availability Online Library~1

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2024-07-20T08:46:30Z

Author Ekštein, Kamil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27947-9
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings

2024-07-20T08:46:30Z

Author Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12939-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-07-20T08:46:30Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

2024-07-20T08:46:30Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28957-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-07-20T08:46:30Z

Author Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources
Availability Online Library~1

Joint Training for Neural Machine Translation

2024-07-20T08:46:30Z

Author Cheng, Yong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9748-7
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

2024-07-20T08:46:30Z

Author McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19311-9
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

2024-07-20T08:46:30Z

Author Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22815-6
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

2024-07-20T08:46:30Z

Author Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23247-4
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-07-20T08:46:30Z

Author Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31423-1
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2024-07-20T08:46:30Z

Author Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16692-2
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-07-20T08:46:30Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

2024-07-20T08:46:30Z

Author Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29726-8
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-07-20T08:46:30Z

Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources
Availability Online Library~1

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2024-07-20T08:46:30Z

Author Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-07-20T08:46:30Z

Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19823-7
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

2024-07-20T08:46:30Z

Author Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32236-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2024-07-20T08:46:30Z

Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30763-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-07-20T08:46:30Z

Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources
Availability Online Library~1

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2024-07-20T08:46:30Z

Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-07-20T08:46:30Z

Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-07-20T08:46:30Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-07-20T08:46:30Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-07-20T08:46:30Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-07-20T08:46:30Z

Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-07-20T08:46:30Z

Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-07-20T08:46:30Z

Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-07-20T08:46:30Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-07-20T08:46:30Z

Author Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2024-07-20T08:46:30Z

Author Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00129-2
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-07-20T08:46:30Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-07-20T08:46:30Z

Author Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-07-20T08:46:30Z

Author Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-07-20T08:46:30Z

Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-07-20T08:46:30Z

Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-07-20T08:46:30Z

Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-07-20T08:46:30Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2024-07-20T08:46:30Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-07-20T08:46:30Z

Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources
Availability Online Library~1

Belief Change Introduction and Overview

2024-07-20T08:46:30Z

Author Fermé, Eduardo. author. Hansson, Sven Ove. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60535-7
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-07-20T08:46:30Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources
Availability Online Library~1

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

2024-07-20T08:46:30Z

Author Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75049-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources
Availability Online Library~1

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

2024-07-20T08:46:30Z

Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-07-20T08:46:30Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02465-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-07-20T08:46:30Z

Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-07-20T08:46:30Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-07-20T08:46:30Z

Author Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2024-07-20T08:46:30Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-07-20T08:46:30Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources
Availability Online Library~1

Logics for Computer Science Classical and Non-Classical

2024-07-20T08:46:30Z

Author Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-07-20T08:46:30Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-07-20T08:46:30Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-07-20T08:46:30Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2024-07-20T08:46:30Z

Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-07-20T08:46:30Z

Author Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-07-20T08:46:30Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-07-20T08:46:30Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources
Availability Online Library~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-07-20T08:46:30Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-07-20T08:46:30Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

2024-07-20T08:46:30Z

Author Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92435-9
Format: Electronic Resources
Availability Online Library~1