Cargando…

Logic, rationality, and interaction: 7th international workshop, LORI 2019, Chongqing, China, October 18-21, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Blackburn, Patrick, Lorini, Emiliano, Guo, Meiyun
Lenguaje:	eng
Publicado:	Springer 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755925

Ejemplares similares

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

Artificial intelligence: 17th Russian conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2019)

Dementia Lab 2019 making design work: 4th conference, d-Lab 2019, Eindhoven, The Netherlands, October 21-22, 2019, proceedings
por: Brankaert, Rens, et al.
Publicado: (2019)

Cryptology and network security: 18th international conference, CANS 2019, Fuzhou, China, October 25-27, 2019, proceedings
por: Mu, Yi, et al.
Publicado: (2019)

Health information science: 8th international conference, HIS 2019, Xi'an, China, October 18-20, 2019, proceedings
por: Wang, Hua, et al.
Publicado: (2019)

Proceedings of the 2019 MPP Workshop
por: Strachinescu, Sabina-Ioana, et al.
Publicado: (2019)

Predictive intelligence in medicine: second international workshop, PRIME 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Rekik, Islem, et al.
Publicado: (2019)

Model-based safety and assessment: 6th international symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, proceedings
por: Papadopoulos, Yiannis, et al.
Publicado: (2019)

Logic, language, information, and computation: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings
por: Iemhoff, Rosalie, et al.
Publicado: (2019)

Hybrid metaheuristics: 11th international workshop, HM 2019, Concepción, Chile, January 16-18, 2019, proceedings
por: Blesa Aguilera, María J, et al.
Publicado: (2018)

Artificial intelligence in radiation therapy: first international workshop, AIRT 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Nguyen, Dan, et al.
Publicado: (2019)

Multimodal brain image analysis and mathematical foundations of computational anatomy: 4th international workshop, MBIA 2019, and 7th international workshop, MFCA 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Zhu, Dajiang, et al.
Publicado: (2019)

Machine learning for medical image reconstruction: second international workshop, MLMIR 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Knoll, Florian, et al.
Publicado: (2019)

Requirements engineering: 25th international working conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, proceedings
por: Knauss, Eric, et al.
Publicado: (2019)

Mathematics and computation in music: 7th international conference, MCM 2019, Madrid, Spain, June 18-21, 2019, proceedings
por: Montiel, Mariana, et al.
Publicado: (2019)

Advances in soft computing: 18th Mexican international conference on artificial intelligence, MICAI 2019, Xalapa, Mexico, October 27 - november 2, 2019, proceedings
por: Martínez-Villaseñor, Lourdes, et al.
Publicado: (2019)

Stabilization, safety, and security of distributed systems: 21st international symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, proceedings
por: Ghaffari, Mohsen, et al.
Publicado: (2019)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Biometric recognition: 14th Chinese conference, CCBR 2019, Zhuzhou, China, October 12-13, 2019, proceedings
por: Sun, Zhenan, et al.
Publicado: (2019)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

Quantum technology and optimization problems: first international workshop, QTOP 2019, Munich, Germany, March 18, 2019, proceedings
por: Feld, Sebastian, et al.
Publicado: (2019)

New trends in model and data engineering: MEDI 2019 international workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, proceedings
por: Attiogbé, Christian, et al.
Publicado: (2019)

On the move to meaningful internet systems: confederated international conferences CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, proceedings
por: Panetto, Hervé, et al.
Publicado: (2019)

Ad hoc networks: 11th EAI international conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18-21, 2019, proceedings
por: Zheng, Jun, et al.
Publicado: (2020)

Computer information systems and industrial management: 18th international conference, CISIM 2019, Belgrade, Serbia, September 19-21, 2019, proceedings
por: Saeed, Khalid, et al.
Publicado: (2019)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

Arabic language processing: 7th international conference, ICALP 2019, Nancy, France, October 16-17, 2019, proceedings
por: Smaïli, Kamel
Publicado: (2019)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Model and data engineering: 9th international conference, MEDI 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Schewe, Klaus-Dieter, et al.
Publicado: (2019)

Service-oriented computing: 17th international conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Yangui, Sami, et al.
Publicado: (2019)

Machine learning and medical engineering for cardiovascular health and intravascular imaging and computer assisted stenting: first international workshop, MLMECH 2019, and 8th joint international workshop, CVII-STENT 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Liao, Hongen, et al.
Publicado: (2019)

Logic and its applications: 8th Indian conference, ICLA 2019, Delhi, India, March 1-5, 2019, proceedings
por: Khan, Aquil, et al.
Publicado: (2019)

Logics in artificial intelligence: 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019, proceedings
por: Calimeri, Francesco, et al.
Publicado: (2019)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Computer algebra in scientific computing: 21st international workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, proceedings
por: England, Matthew, et al.
Publicado: (2019)

Internet and distributed computing systems: 12th international conference, IDCS 2019, Naples, Italy, October 10-12, 2019, proceedings
por: Montella, Raffaele, et al.
Publicado: (2019)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Provable security: 13th international conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, proceedings
por: Steinfeld, Ron, et al.
Publicado: (2019)

Algorithmic game theory: 12th international symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019, proceedings
por: Fotakis, Dimitris, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_u9qndkannqoc8meh0b902mtnu1