Journals in DBLP

J. Applied Logic
2007, volume: 5, number: 3

1. José Júlio Alferes, João Leite
   Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:389-391 [Journal]
   
2. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
   Computing the least common subsumer w.r.t. a background terminology. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:392-420 [Journal]
   
3. Philippe Balbiani, Tinko Tinchev
   Line-based affine reasoning in Euclidean plane. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:421-434 [Journal]
   
4. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
   Termination of logic programs with imperfect information: applications and query procedure. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:435-458 [Journal]
   
5. James P. Delgrande, Torsten Schaub
   A consistency-based framework for merging knowledge bases. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:459-477 [Journal]
   
6. Lee Flax
   An algebraic approach to belief contraction and nonmonotonic entailment. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:478-491 [Journal]
   
7. Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian
   Only knowing with degrees of confidence. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:492-518 [Journal]
   
8. Ernst-Erich Doberkat
   The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:519-544 [Journal]
   
9. Francesco Ricca, Nicola Leone
   Disjunctive logic programming with types and objects: The DLV⁺ system. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:545-573 [Journal]