Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992] - researchr publication

researchr

You are not signed in
Sign in
Sign up

Michael Masuch, László Pólos, editors, Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Volume 808 of Lecture Notes in Computer Science, Springer, 1994.

Conference: law1994

Abstract is missing.

The Role of Expectations in ReasoningPeter Gärdenfors. 1-16

On Logics of Approximate ReasoningPetr Hájek. 17-29

Gentzen Sequent Calculus for Possibilistic ReasoningChurn-Jung Liau, Bertrand I-Peng Lin. 31-40

A Model of Inductive ReasoningPeter A. Flach. 41-56

Automated Reasoning with UncertaintiesFlávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh. 57-79

An Axiomatic Approach to Systems of Prior Distributions in Inexact ReasoningJonathan Lawry, George M. Wilmers. 81-89

Contradiction Removal Semantics with Explicit NegationLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. 91-105

Logic Programming for Non-Monotonic ReasoningLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes. 107-121

Agent Oriented ProgrammingYoav Shoham. 123-129

An Application of Temporal Logic for Representation and Reasoning about DesignKeiichi Nakata. 131-145

Knowledge Theoretic Properties of Topological SpacesKonstantinos Georgatos. 147-159

Rough Logic for Multi-Agent SystemsCecylia Rauszer. 161-181

A Logical Approach to Multi-Sources ReasoningLaurence Cholvy. 183-196

Situation Theory and Social StructureKeith Devlin. 197-237

runs on WebDSL