Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

46

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540630951, 9783540691297

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to change factual beliefs using laws and dependence information

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035631 ◽

1997 ◽

pp. 311-321 ◽

Author(s):

Andreas Herzig

Download Full-text

Reasoning about security: A logic and a decision method for role-based access control

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035639 ◽

1997 ◽

pp. 421-435 ◽

Author(s):

Fabio Massacci

Keyword(s):

Access Control ◽

Role Based Access Control ◽

Decision Method ◽

Download Full-text

Multiple subarguments in logic, argumentation, rhetoric and text generation

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035644 ◽

1997 ◽

pp. 496-510

Author(s):

Chris Reed ◽

Derek Long

Keyword(s):

Text Generation

Download Full-text

Structured belief bases: A practical approach to prioritised base revision

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035628 ◽

1997 ◽

pp. 267-281 ◽

Author(s):

Dov Gabbay ◽

Odinaldo Rodrigues

Keyword(s):

Practical Approach ◽

Belief Bases ◽

Download Full-text

A layered, any time approach to sensor validation

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035633 ◽

1997 ◽

pp. 336-349 ◽

Author(s):

Pablo H. Ibargüengoytia ◽

Sunil Vadera ◽

L. Enrique Sucar

Keyword(s):

Sensor Validation

Download Full-text

Using default logic for lexical knowledge

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035632 ◽

1997 ◽

pp. 322-335 ◽

Author(s):

Anthony Hunter

Keyword(s):

Default Logic ◽

Lexical Knowledge

Download Full-text

Graduality by means of analogical reasoning

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035624 ◽

1997 ◽

pp. 210-222 ◽

Author(s):

J. Delechamp ◽

B. Bouchon-Meunier

Keyword(s):

Analogical Reasoning

Download Full-text

Information fusion in logic: A brief overview

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035614 ◽

1997 ◽

pp. 86-95 ◽

Author(s):

Laurence Cholvy ◽

Anthony Hunter

Keyword(s):

Information Fusion

Download Full-text

A modal logic for reasoning about knowledge and time on binary subset trees

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035630 ◽

1997 ◽

pp. 298-310

Author(s):

Bernhard Heinemann

Keyword(s):

Modal Logic ◽

Reasoning About Knowledge

Download Full-text

Error tolerance method in multiple-valued logic

Qualitative and Quantitative Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0035637 ◽

1997 ◽

pp. 392-405

Author(s):

Soowoo Lee

Keyword(s):

Error Tolerance ◽

Multiple Valued Logic ◽

Tolerance Method

Download Full-text