Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319615806, 9783319615813

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_22 ◽

2017 ◽

pp. 236-245 ◽

Cited By ~ 3

Author(s):

Christoph Beierle ◽

Christian Eichhorn ◽

Gabriele Kern-Isberner

Keyword(s):

Normal Forms ◽

Knowledge Bases ◽

Transformation System ◽

Conditional Knowledge

Download Full-text

Axiomatization of an Importance Index for Generalized Additive Independence Models

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_31 ◽

2017 ◽

pp. 340-350 ◽

Cited By ~ 3

Author(s):

Mustapha Ridaoui ◽

Michel Grabisch ◽

Christophe Labreuche

Keyword(s):

Importance Index

Download Full-text

Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_41 ◽

2017 ◽

pp. 459-469

Author(s):

John Grant ◽

Cristian Molinaro ◽

Francesco Parisi

Keyword(s):

Knowledge Bases ◽

Capacity Constraints ◽

Spatio Temporal

Download Full-text

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_44 ◽

2017 ◽

pp. 491-500 ◽

Cited By ~ 2

Author(s):

Nenad Savić ◽

Dragan Doder ◽

Zoran Ognjanović

Keyword(s):

Higher Order ◽

Order Logic ◽

First Order Logic ◽

First Order ◽

Upper And Lower Probabilities

Download Full-text

Reliable Knowledge-Based Adaptive Tests by Credal Networks

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_26 ◽

2017 ◽

pp. 282-291 ◽

Cited By ~ 1

Author(s):

Francesca Mangili ◽

Claudio Bonesana ◽

Alessandro Antonucci

Keyword(s):

Adaptive Tests ◽

Knowledge Based ◽

Reliable Knowledge

Download Full-text

A Semantics for Conditionals with Default Negation

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_24 ◽

2017 ◽

pp. 257-267

Author(s):

Marco Wilhelm ◽

Christian Eichhorn ◽

Richard Niland ◽

Gabriele Kern-Isberner

Download Full-text

Comparison of Inference Relations Defined over Different Sets of Ranking Functions

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_21 ◽

2017 ◽

pp. 225-235 ◽

Cited By ~ 3

Author(s):

Christoph Beierle ◽

Steven Kutsch

Keyword(s):

Ranking Functions

Download Full-text

Measuring Uncertainty in Orthopairs

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_38 ◽

2017 ◽

pp. 423-432

Author(s):

Andrea Campagner ◽

Davide Ciucci

Download Full-text

A Recourse Approach for the Capacitated Vehicle Routing Problem with Evidential Demands

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_18 ◽

2017 ◽

pp. 190-200

Author(s):

Nathalie Helal ◽

Frédéric Pichon ◽

Daniel Porumbel ◽

David Mercier ◽

Éric Lefèvre

Keyword(s):

Vehicle Routing ◽

Vehicle Routing Problem ◽

Routing Problem ◽

Capacitated Vehicle Routing Problem ◽

Recourse Approach ◽

Capacitated Vehicle

Download Full-text

Exploiting Stability for Compact Representation of Independency Models

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-319-61581-3_10 ◽

2017 ◽

pp. 104-114

Author(s):

Linda C. van der Gaag ◽

Stavros Lopatatzidis

Keyword(s):

Compact Representation

Download Full-text

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with UncertaintyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases

Axiomatization of an Importance Index for Generalized Additive Independence Models

Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

Reliable Knowledge-Based Adaptive Tests by Credal Networks

A Semantics for Conditionals with Default Negation

Comparison of Inference Relations Defined over Different Sets of Ranking Functions

Measuring Uncertainty in Orthopairs

A Recourse Approach for the Capacitated Vehicle Routing Problem with Evidential Demands

Exploiting Stability for Compact Representation of Independency Models

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Latest Publications