Logic at Work

Keyphrases

Publications

volume 808, 1994

Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992] Logic at Work 808 (1994)

1992

Jonathan Lawry, George M. Wilmers
An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning. Logic at Work (1992)
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
Logic Programming for Non-Monotonic Reasoning. Logic at Work (1992)
Peter Gärdenfors
The Role of Expectations in Reasoning. Logic at Work (1992)
Laurence Cholvy
A Logical Approach to Multi-Sources Reasoning. Logic at Work (1992)
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
Contradiction Removal Semantics with Explicit Negation. Logic at Work (1992)
Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
Automated Reasoning with Uncertainties. Logic at Work (1992)
Konstantinos Georgatos
Knowledge Theoretic Properties of Topological Spaces. Logic at Work (1992)
Yoav Shoham
Agent Oriented Programming. Logic at Work (1992)
Petr Hájek
On Logics of Approximate Reasoning. Logic at Work (1992)
Peter A. Flach
A Model of Inductive Reasoning. Logic at Work (1992)
Keith Devlin
Situation Theory and Social Structure. Logic at Work (1992)
Churn-Jung Liau, Bertrand I-Peng Lin
Gentzen Sequent Calculus for Possibilistic Reasoning. Logic at Work (1992)
Cecylia Rauszer
Rough Logic for Multi-Agent Systems. Logic at Work (1992)
Keiichi Nakata
An Application of Temporal Logic for Representation and Reasoning about Design. Logic at Work (1992)