5 found
Order:
  1.  22
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
  2.  14
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.
  3.  75
    Applications of Paraconsistency in Data and Knowledge Bases.John Grant & V. S. Subrahmanian - 2000 - Synthese 125 (1-2):121-132.
    The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed and often inconsistent databases over the last ten years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. In this paper, we provide a brief survey of work in paraconsistent databases and knowledge bases affected by Newton da Costa's important and lasting contributions to the field.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  8
    Computing Definite Logic Programs by Partial Instantiation.Vadim Kagan, Anil Nerode & V. S. Subrahmanian - 1994 - Annals of Pure and Applied Logic 67 (1-3):161-182.
    Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop a theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. Logic Programming and Non-Monotonic Reasoning Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991
     
    Export citation  
     
    Bookmark