default search action

combined dblp search
author search
venue search
publication search

ask others

Logic at Work 1992: Amsterdam, The Netherlands

> Home > Conferences and Workshops > Logic at Work

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/law/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/1992
Michael Masuch, László Pólos:
Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Lecture Notes in Computer Science 808, Springer 1994, ISBN 3-540-58095-6
- view
  authority control:
- export record
  dblp key:
  - conf/law/Gardenfors92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Gardenfors92
Peter Gärdenfors:
The Role of Expectations in Reasoning. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/law/Hajek92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Hajek92
Petr Hájek:
On Logics of Approximate Reasoning. 17-29
- view
  authority control:
- export record
  dblp key:
  - conf/law/LiauL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/LiauL92
Churn-Jung Liau, Bertrand I-Peng Lin:
Gentzen Sequent Calculus for Possibilistic Reasoning. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/law/Flach92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Flach92
Peter A. Flach:
A Model of Inductive Reasoning. 41-56
- view
  authority control:
- export record
  dblp key:
  - conf/law/SilvaRH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/SilvaRH92
Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh:
Automated Reasoning with Uncertainties. 57-79
- view
  authority control:
- export record
  dblp key:
  - conf/law/LawryW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/LawryW92
Jonathan Lawry, George M. Wilmers:
An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning. 81-89
- view
  authority control:
- export record
  dblp key:
  - conf/law/PereiraAA92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/PereiraAA92
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Contradiction Removal Semantics with Explicit Negation. 91-105
- view
  authority control:
- export record
  dblp key:
  - conf/law/PereiraAA92a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/PereiraAA92a
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Logic Programming for Non-Monotonic Reasoning. 107-121
- view
  authority control:
- export record
  dblp key:
  - conf/law/Shoham92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Shoham92
Yoav Shoham:
Agent Oriented Programming. 123-129
- view
  authority control:
- export record
  dblp key:
  - conf/law/Nakata92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Nakata92
Keiichi Nakata:
An Application of Temporal Logic for Representation and Reasoning about Design. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/law/Georgatos92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Georgatos92
Konstantinos Georgatos:
Knowledge Theoretic Properties of Topological Spaces. 147-159
- view
  authority control:
- export record
  dblp key:
  - conf/law/Rauszer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Rauszer92
Cecylia Rauszer:
Rough Logic for Multi-Agent Systems. 161-181
- view
  authority control:
- export record
  dblp key:
  - conf/law/Cholvy92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Cholvy92
Laurence Cholvy:
A Logical Approach to Multi-Sources Reasoning. 183-196
- view
  authority control:
- export record
  dblp key:
  - conf/law/Devlin92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/law/Devlin92
Keith Devlin:
Situation Theory and Social Structure. 197-237

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.