Cargando…

Subjective logic: a formalism for reasoning under uncertainty

Detalles Bibliográficos
Autor principal:	Jøsang, Audun
Lenguaje:	eng
Publicado:	Springer 2016
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2237975

Ejemplares similares

Reasoning about uncertainty
por: Halpern, Joseph Y
Publicado: (2017)

Logic in computer science: modelling and reasoning about systems
por: Huth, Michael, et al.
Publicado: (2004)

Heuristic reasoning about uncertainty: an artificial intelligence approach
por: Cohen, Paul R
Publicado: (1985)

The logic of adaptive behavior: knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains
por: Van Otterlo, M
Publicado: (2009)

An analytical formalism for the assessment of dose uncertainties due to positioning uncertainties
por: Lechner, Wolfgang, et al.
Publicado: (2020)

From logic to logic programming
por: Doets, Kees
Publicado: (1994)

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

Uncertainty reasoning for the semantic web III: ISWC international workshops, URSW 2011-2013, revised selected papers
por: Bobillo, Fernando, et al.
Publicado: (2014)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, Christopher John, et al.
Publicado: (1993)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1993)

Handbook of logic in artificial intelligence and logic programming
por: Gabbay, D M
Publicado: (1993)

Logic Pro 7 and Logic Express 7
por: Sitter, Martin
Publicado: (2005)

Logic Pro 9 and Logic Express 9
por: Nahmani, David
Publicado: (2010)

Logic Pro 8 and Logic Express 8
por: Nahmani, David
Publicado: (2008)

Logic as grammar
por: Hornstein, Norbert
Publicado: (1984)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Programmable logic controllers
por: Bolton, W
Publicado: (2015)

Logic automata and algorithms
por: Ajzerman, Mark A, et al.
Publicado: (1971)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (2011)

Introduction to logic programming
por: Menu, Jacques
Publicado: (1985)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (1998)

The logic of computer arithmetic
por: Flores, Ivan
Publicado: (1963)

Microprocessors and logic design
por: Krutz, Ronald L
Publicado: (1980)

Workshop on Logics of Programs
por: Clarke, Edmund, et al.
Publicado: (1984)

Logics for artificial intelligence
por: Turner, Raymond
Publicado: (1984)

Computer structure and logic
por: Pearson Education
Publicado: (2011)

Logic Pro X
por: Nahmani, David
Publicado: (2014)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Shape Optimization under Uncertainty from a Stochastic Programming Point of View
por: Held, Harald
Publicado: (2009)

Probability logics: probability-based formalization of uncertain reasoning
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
por: Storer, Thomas, et al.
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_b6vk89o0btnsuifapr143q6q13