The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2002, volume: 72, number: 1

  1. Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:3-5 [Journal]
  2. Antonio Moreno, Ulises Cortés, Ton Sales
    Subjective Situations and Logical Omniscience. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:7-29 [Journal]
  3. Pedro J. Martín, Antonio Gavilanes
    Simultaneous Rigid Sorted Unification for Tableaux. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:31-59 [Journal]
  4. Wiebe van der Hoek, Elias Thijsse
    A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:61-84 [Journal]
  5. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
    Satisfiability Testing for Boolean Formulas Using Delta-trees. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:85-112 [Journal]
  6. Carlos Viegas Damásio, Luís Moniz Pereira
    Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:113-138 [Journal]
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