Cargando…

Logical and computational aspects of model-based reasoning

Detalles Bibliográficos
Autores principales:	Magnani, Lorenzo, Nersessian, Nancy, Pizzi, Claudio
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-010-0550-0 http://cds.cern.ch/record/1619800

Ejemplares similares

Model-based reasoning in scientific discovery
por: Magnani, Lorenzo, et al.
Publicado: (1999)

Justification logic: reasoning with reasons
por: Artemov, Sergei, et al.
Publicado: (2019)

Logic as a tool: a guide to formal logical reasoning
por: Goranko, Valentin
Publicado: (2015)

Adaptive logics for defeasible reasoning: applications in argumentation, normative reasoning and default reasoning
por: Straßer, Christian
Publicado: (2014)

Aspects of Mathematical Logic
por: Casari, Ettore
Publicado: (2011)

Reasoning with rough sets: logical approaches to granularity-based framework
por: Akama, Seiki, et al.
Publicado: (2017)

Logical studies of paraconsistent reasoning in science and mathematics
por: Andreas, Holger, et al.
Publicado: (2016)

Fuzzy logic: mathematical tools for approximate reasoning
por: Gerla, Giangiacomo
Publicado: (2001)

Fuzzy sets, logics and reasoning about knowledge
por: Dubois, Didier, et al.
Publicado: (1999)

Logic, language and reasoning: essays in honour of Dov Gabbay
por: Ohlbach, Hans, et al.
Publicado: (1999)

Reasoning in quantum theory: sharp and unsharp quantum logics
por: Chiara, M, et al.
Publicado: (2004)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic and computations
por: Jervell, Herman Ruge
Publicado: (2012)

Analysis and synthesis of logics: how to cut and paste reasoning systems
por: Carnielli, Walter A, et al.
Publicado: (2008)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic, language and computation
por: Akama, Seiki
Publicado: (1997)

Computability, complexity, logic
por: Börger, Egon
Publicado: (1989)

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

Logic for computer scientists
por: Schöning, Uwe
Publicado: (2008)

Quantum computation and logic: how quantum computers have inspired logical investigations
por: Dalla Chiara, Maria Luisa, et al.
Publicado: (2018)

Logical, algebraic, analytic and probabilistic aspects of triangular norms
por: Klement, Erich Peter, et al.
Publicado: (2005)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2004)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2019)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Logics in computer science: a study on extensions of temporal and strategic logics
por: Mogavero, Fabio
Publicado: (2013)

Computational aspects of model choice
por: Antoch, Jaromír
Publicado: (1993)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Introduction to mathematical logic: set theory computable functions model theory
por: Malitz, Jerome
Publicado: (1979)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Computation, logic, philosophy: a collection of essays
por: Wang, Hao
Publicado: (1989)

Model-theoretic logics
por: Barwise, J, et al.
Publicado: (2017)

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

Foundations of logic and mathematics: applications to computer science and cryptography
por: Nievergelt, Yves
Publicado: (2002)

Logic from Computer Science : Proceedings of a Workshop
por: Moschovakis, Yiannis
Publicado: (1992)

Computational Logic and Human Thinking: How to be Artificially Intelligent
por: Kowalski, Robert
Publicado: (2011)

Intellectics and computational logic: papers in honor of wolfgang bibel
por: Hölldobler, Steffen
Publicado: (2000)

Categorical Quantum Models and Logics
por: Heunen, Chris
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_2ag4cf5uop88a3n1gre0i3ntgt