default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic at Work 1992: Amsterdam, The Netherlands
- 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 - Peter Gärdenfors:
The Role of Expectations in Reasoning. 1-16 - Petr Hájek:
On Logics of Approximate Reasoning. 17-29 - Churn-Jung Liau, Bertrand I-Peng Lin:
Gentzen Sequent Calculus for Possibilistic Reasoning. 31-40 - Peter A. Flach:
A Model of Inductive Reasoning. 41-56 - Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh:
Automated Reasoning with Uncertainties. 57-79 - Jonathan Lawry, George M. Wilmers:
An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning. 81-89 - Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Contradiction Removal Semantics with Explicit Negation. 91-105 - Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Logic Programming for Non-Monotonic Reasoning. 107-121 - Yoav Shoham:
Agent Oriented Programming. 123-129 - Keiichi Nakata:
An Application of Temporal Logic for Representation and Reasoning about Design. 131-145 - Konstantinos Georgatos
:
Knowledge Theoretic Properties of Topological Spaces. 147-159 - Cecylia Rauszer:
Rough Logic for Multi-Agent Systems. 161-181 - Laurence Cholvy:
A Logical Approach to Multi-Sources Reasoning. 183-196 - 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.
last updated on 2024-09-26 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
