Journals in DBLP

J. Log. Comput.
2004, volume: 14, number: 5

1. Heinrich Wansing
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:623- [Journal]
   
2. Norihiro Kamide
   Combining Soft Linear Logic and Spatio-temporal Operators. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:625-650 [Journal]
   
3. Razvan Diaconescu
   Elementary Diagrams in Institutions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:651-674 [Journal]
   
4. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
   Argumentation Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:675-702 [Journal]
   
5. Erik T. Mueller
   Event Calculus Reasoning Through Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:703-730 [Journal]
   
6. Murray Shanahan, Mark Witkowski
   Event Calculus Planning Through Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:731-745 [Journal]
   
7. Paolo Liberatore
   Uncontroversial Default Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:5, pp:747-765 [Journal]