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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354057395x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A temporal model theory for default logic

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

10.1007/bfb0028187 ◽

2005 ◽

pp. 91-96 ◽

Cited By ~ 7

Author(s):

Joeri Engelfriet ◽

Jan Treur

Keyword(s):

Model Theory ◽

Default Logic ◽

Temporal Model

A logic for reasoning about safety in decision support systems

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

10.1007/bfb0028185 ◽

2005 ◽

pp. 79-84 ◽

Cited By ~ 2

Author(s):

S. K. Das ◽

J. Fox

Keyword(s):

Decision Support ◽

Decision Support Systems ◽

Support Systems

A proof theory for Constructive Default Logic

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

10.1007/bfb0028220 ◽

2005 ◽

pp. 349-355

Author(s):

Yao-Hua Tan

Keyword(s):

Proof Theory ◽

Default Logic

A resolution method for a non monotonic multimodal logic

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

10.1007/bfb0028208 ◽

2005 ◽

pp. 257-264 ◽

Cited By ~ 1

Author(s):

Christophe Mathieu

Keyword(s):

Resolution Method ◽

Multimodal Logic

A mixed approach of revision in propositional calculus

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

10.1007/bfb0028213 ◽

2005 ◽

pp. 296-303 ◽

Cited By ~ 1

Author(s):

Odile Papini ◽

Antoine Rauzy

Keyword(s):

Propositional Calculus ◽

Mixed Approach

Information sets in decision theory

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

10.1007/bfb0028216 ◽

2005 ◽

pp. 318-325 ◽

Cited By ~ 1

Author(s):

Prakash P. Shenoy

Keyword(s):

Decision Theory ◽

Information Sets

Recovering incidence functions

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

10.1007/bfb0028206 ◽

2005 ◽

pp. 241-248 ◽

Cited By ~ 1

Author(s):

Weiru Liu ◽

Alan Bundy ◽

Dave Robertson

Keyword(s):

Incidence Functions

A lattice-theoretic analysis of ATMS problem solving

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

10.1007/bfb0028211 ◽

2005 ◽

pp. 282-289

Author(s):

Teow-Hin Ngair ◽

Gregory Provan

Keyword(s):

Problem Solving ◽

Theoretic Analysis

IDAGs: A perfect map for any distribution

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

10.1007/bfb0028181 ◽

2005 ◽

pp. 49-56

Author(s):

Remco R. Bouckaert

Keyword(s):

Perfect Map

Learning membership functions

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

10.1007/bfb0028178 ◽

2005 ◽

pp. 25-32 ◽

Cited By ~ 3

Author(s):

Francesco Bergadano ◽

Vincenzo Cutello

Keyword(s):

Membership Functions

Symbolic and Quantitative Approaches to Reasoning and Uncertainty - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A temporal model theory for default logic

A logic for reasoning about safety in decision support systems

A proof theory for Constructive Default Logic

A resolution method for a non monotonic multimodal logic

A mixed approach of revision in propositional calculus

Information sets in decision theory

Recovering incidence functions

A lattice-theoretic analysis of ATMS problem solving

IDAGs: A perfect map for any distribution

Learning membership functions

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