Journals in DBLP

AI Commun.
2010, volume: 23, number: 2-3

1. 
   Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP]
   
   
2. 
   Implementing a fair monodic temporal logic prover. [Citation Graph (, )][DBLP]
   
   
3. 
   Subterm contextual rewriting. [Citation Graph (, )][DBLP]
   
   
4. 
   CTL-RP: A computation tree logic resolution prover. [Citation Graph (, )][DBLP]
   
   
5. 
   Large theory reasoning with SUMO at CASC. [Citation Graph (, )][DBLP]
   
   
6. 
   Practical algorithms for unsatisfiability proof and core generation in SAT solvers. [Citation Graph (, )][DBLP]
   
   
7. 
   Restricting backtracking in connection calculi. [Citation Graph (, )][DBLP]
   
   
8. 
   SOLAR: An automated deduction system for consequence finding. [Citation Graph (, )][DBLP]
   
   
9. 
   Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. [Citation Graph (, )][DBLP]
   
   
10. 
    An application of automated reasoning in natural language question answering. [Citation Graph (, )][DBLP]
    
    
11. 
    Automated theorem proving in quasigroup and loop theory. [Citation Graph (, )][DBLP]
    
    
12. 
    Interactive verification of concurrent systems using symbolic execution. [Citation Graph (, )][DBLP]