Deontic Logic in Computer Science

por Meyden, Ron van der, Torre, Leendert van der
Publicado 2020

Algebraic and Proof-theoretic Aspects of Non-classical Logics

por Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
Publicado 2020

Conditionals, Information, and Inference

Publicado 2020

Logic, Language, and Computation

Publicado 2020

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Publicado 2020

Case-Based Reasoning Research and Development

por Munoz-Avila, Hector, Ricci, Francesco
Publicado 2020

Chinese Lexical Semantics

por Wu, Yunfang, Hong, Jia-Fei, Su, Qi
Publicado 2020

Reasoning Web. Semantic Interoperability on the Web

por Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
Publicado 2020

Teaching Formal Methods

Publicado 2020

Foundations of Fuzzy Logic and Soft Computing

por Melin, Patricia, Castillo, Oscar, Aguilar, Luis T., Pedrycz, Witold
Publicado 2020

Frontiers of Combining Systems

por Konev, Boris, Wolter, Frank
Publicado 2020

Machine Learning and Data Mining in Pattern Recognition

por Perner, Petra
Publicado 2020

Finite Model Theory and Its Applications

por Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Publicado 2020

Concise Guide to Formal Methods

por O'Regan, Gerard
Publicado 2020

Logic, Language, Information, and Computation

por Moss, Lawrence S., Queiroz, Ruy de, Martinez, Maricarmen
Publicado 2020

Machine Learning and Data Mining in Pattern Recognition

Publicado 2020

Frontiers of Combining Systems

por Gramlich, Bernhard
Publicado 2020

Frontiers of Combining Systems

Publicado 2020

Pillars of Computer Science

por Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
Publicado 2020

Fuzzy Systems and Knowledge Discovery

por Wang, Lipo, Jin, Yaochu
Publicado 2020