Search the dblp DataBase

Publications of Author

1. Ekaterina Komendantskaya
   A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:165-182 [Conf]
   
2. 
   Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. [Citation Graph (, )][DBLP]
   
   
3. 
   Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. [Citation Graph (, )][DBLP]
   
   
4. 
   Using Structural Recursion for Corecursion. [Citation Graph (, )][DBLP]
   
   
5. 
   Neurons or Symbols - Why does OR Remain Exclusive?. [Citation Graph (, )][DBLP]
   
   
6. 
   Parallel Rewriting in Neural Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   Inductive and Coinductive Components of Corecursive Functions in Coq [Citation Graph (, )][DBLP]
   
   
8. 
   Using Structural Recursion for Corecursion [Citation Graph (, )][DBLP]
   
   
9. 
   Inductive and Coinductive Components of Corecursive Functions in Coq. [Citation Graph (, )][DBLP]
   
   
10. 
    Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. [Citation Graph (, )][DBLP]