Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540580959, 9783540484516

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An axiomatic approach to systems of prior distributions in inexact reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_6 ◽

1994 ◽

pp. 81-89 ◽

Author(s):

Jonathan Lawry ◽

George M. Wilmers

Keyword(s):

Axiomatic Approach ◽

Prior Distributions ◽

Inexact Reasoning

Download Full-text

Automated reasoning with uncertainties

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_5 ◽

1994 ◽

pp. 57-79 ◽

Author(s):

Flávio S. Corrêa da Silva ◽

Dave S. Robertson ◽

Jane Hesketh

Keyword(s):

Automated Reasoning

Download Full-text

A logical approach to multi-sources reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_13 ◽

1994 ◽

pp. 183-196 ◽

Author(s):

Laurence Cholvy

Keyword(s):

Logical Approach

Download Full-text

The role of expectations in reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_1 ◽

1994 ◽

pp. 1-16 ◽

Author(s):

Peter Gärdenfors

Download Full-text

Gentzen sequent calculus for possibilistic reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_3 ◽

1994 ◽

pp. 31-40

Author(s):

Churn Jung Liau ◽

Bertrand I -Peng Lin

Keyword(s):

Sequent Calculus ◽

Gentzen Sequent Calculus

Download Full-text

An application of temporal logic for representation and reasoning about design

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_10 ◽

1994 ◽

pp. 131-145

Author(s):

Keiichi Nakata

Keyword(s):

Download Full-text

Situation theory and social structure

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_14 ◽

1994 ◽

pp. 197-237 ◽

Author(s):

Keith Devlin

Keyword(s):

Social Structure ◽

Situation Theory

Download Full-text

Agent oriented programming: An overview of the framework and summary of recent research

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_9 ◽

1994 ◽

pp. 123-129 ◽

Author(s):

Yoav Shoham

Download Full-text

A model of inductive reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_4 ◽

1994 ◽

pp. 41-56

Author(s):

Peter A. Flach

Keyword(s):

Inductive Reasoning

Download Full-text

On logics of approximate reasoning

Knowledge Representation and Reasoning Under Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-58095-6_2 ◽

1994 ◽

pp. 17-29 ◽

Author(s):

Petr Hájek

Keyword(s):

Approximate Reasoning

Download Full-text