Frontiers of combining systems 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017 : proceedings

Logic and its applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
Veröffentlicht: (2017)

Subjective Logic a formalism for reasoning under uncertainty
von: Jøsang, Audun
Veröffentlicht: (2016)

Cyber physical systems design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings
Veröffentlicht: (2015)

Logics in artificial intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings
Veröffentlicht: (2016)

Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday
Veröffentlicht: (2020)

Frontiers of Combining Systems First International Workshop, Munich, March 1996
von: Baader, Frans
Veröffentlicht: (1996)

Principles and practice of constraint programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings
Veröffentlicht: (2016)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Veröffentlicht: (2015)

Quantitative evaluation of systems 18th international conference, QEST 2021, Paris, France, August 23–27, 2021, proceedings
Veröffentlicht: (2021)

Scalable uncertainty management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings
Veröffentlicht: (2017)

Hybrid metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016: proceedings
Veröffentlicht: (2016)

Functional and logic programming 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, proceedings
Veröffentlicht: (2020)

Many-Valued Logics 1: Theoretical Foundations
von: Bolc, Leonard 1934-2013
Veröffentlicht: (1992)

Artificial general intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017 : proceedings
Veröffentlicht: (2017)

Functional and logic programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings
Veröffentlicht: (2016)

Static analysis 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings
Veröffentlicht: (2016)

Automated Theorem Proving Theory and Practice
von: Newborn, Monty
Veröffentlicht: (2001)

Trustworthy open self-organising systems
Veröffentlicht: (2016)

AI 2017: advances in artificial intelligence 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017 : proceedings
Veröffentlicht: (2017)

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
Veröffentlicht: (2018)

Descriptional complexity of formal systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings
Veröffentlicht: (2017)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Veröffentlicht: (2015)

Monotonicity in logic and language second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings
Veröffentlicht: (2020)

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Veröffentlicht: (2019)

Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
Veröffentlicht: (2021)

Theoretical aspects of computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings
Veröffentlicht: (2017)

Computer performance engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings
Veröffentlicht: (2017)

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence Wien, Austria, 24.–27. September 1991 Proceedings
von: Kaindl, Hermann
Veröffentlicht: (1991)

Usability- and accessibility-focused requirements engineering first International Workshop, UsARE 2012, held in conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014 : revised selected papers
Veröffentlicht: (2016)

Applications of evolutionary computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings : part II
Veröffentlicht: (2017)

Applications of evolutionary computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings : part I
Veröffentlicht: (2017)

Molecular logic and computational synthetic biology first international symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers
Veröffentlicht: (2019)

Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings
Veröffentlicht: (2023)

Information processing and management of uncertainty in knowledge-based systems 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018 : proceedings
Veröffentlicht: (2018)

Information processing and management of uncertainty in knowledge-based systems 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018 : proceedings
Veröffentlicht: (2018)

ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday
Veröffentlicht: (2017)