Conferences in DBLP
Peter Gärdenfors The Role of Expectations in Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:1-16 [Conf ] Petr Hájek On Logics of Approximate Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:17-29 [Conf ] Churn-Jung Liau , Bertrand I-Peng Lin Gentzen Sequent Calculus for Possibilistic Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:31-40 [Conf ] Peter A. Flach A Model of Inductive Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:41-56 [Conf ] Flávio S. Corrêa da Silva , David Stuart Robertson , Jane Hesketh Automated Reasoning with Uncertainties. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:57-79 [Conf ] Jonathan Lawry , George M. Wilmers An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:81-89 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Contradiction Removal Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:91-105 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Logic Programming for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:107-121 [Conf ] Yoav Shoham Agent Oriented Programming. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:123-129 [Conf ] Keiichi Nakata An Application of Temporal Logic for Representation and Reasoning about Design. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:131-145 [Conf ] Konstantinos Georgatos Knowledge Theoretic Properties of Topological Spaces. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:147-159 [Conf ] Cecylia Rauszer Rough Logic for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:161-181 [Conf ] Laurence Cholvy A Logical Approach to Multi-Sources Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:183-196 [Conf ] Keith Devlin Situation Theory and Social Structure. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:197-237 [Conf ]