The SCEAS System
Navigation Menu

Conferences in DBLP

Logic at Work (law)
1992 (conf/law/1992)

  1. Peter Gärdenfors
    The Role of Expectations in Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:1-16 [Conf]
  2. Petr Hájek
    On Logics of Approximate Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:17-29 [Conf]
  3. 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]
  4. Peter A. Flach
    A Model of Inductive Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:41-56 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Yoav Shoham
    Agent Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:123-129 [Conf]
  10. 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]
  11. Konstantinos Georgatos
    Knowledge Theoretic Properties of Topological Spaces. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:147-159 [Conf]
  12. Cecylia Rauszer
    Rough Logic for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:161-181 [Conf]
  13. Laurence Cholvy
    A Logical Approach to Multi-Sources Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:183-196 [Conf]
  14. Keith Devlin
    Situation Theory and Social Structure. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:197-237 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002