Journals in DBLP

Ann. Math. Artif. Intell.
2008, volume: 53, number: 1-4

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   My work with Victor Marek: a mathematician looks at answer set programming. [Citation Graph (, )][DBLP]
   
   
3. 
   My six encounters with Victor Marek - a personal account. [Citation Graph (, )][DBLP]
   
   
4. 
   Default logic generalized and simplified. [Citation Graph (, )][DBLP]
   
   
5. 
   Reasoning about temporal properties of rational play. [Citation Graph (, )][DBLP]
   
   
6. 
   Exploiting conjunctive queries in description logic programs. [Citation Graph (, )][DBLP]
   
   
7. 
   Justification logics, logics of knowledge, and conservativity. [Citation Graph (, )][DBLP]
   
   
8. 
   On the relation among answer set solvers. [Citation Graph (, )][DBLP]
   
   
9. 
   A non-preferential semantics of non-monotonic modal logic. [Citation Graph (, )][DBLP]
   
   
10. 
    From Hilbert's program to a logic tool box. [Citation Graph (, )][DBLP]
    
    
11. 
    Integrating answer set programming and constraint logic programming. [Citation Graph (, )][DBLP]
    
    
12. 
    Consistency properties and set based logic programming. [Citation Graph (, )][DBLP]
    
    
13. 
    Stable models and difference logic. [Citation Graph (, )][DBLP]
    
    
14. 
    Hyperequivalence of logic programs with respect to supported models. [Citation Graph (, )][DBLP]