13 found
Order:
  1.  23
    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. Temporal Agent Programs.Jürgen Dix, Sarit Kraus & V. S. Subrahmanian - 2001 - Artificial Intelligence 127 (1):87-135.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Heterogeneous Active Agents, II: Algorithms and Complexity.Thomas Eiter & V. S. Subrahmanian - 1999 - Artificial Intelligence 108 (1-2):257-307.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Heterogeneous Active Agents, III: Polynomially Implementable Agents.Thomas Eiter, V. S. Subrahmanian & T. J. Rogers - 2000 - Artificial Intelligence 117 (1):107-167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Heterogeneous Active Agents, I: Semantics.Thomas Eiter, V. S. Subrahmanian & George Pick - 1999 - Artificial Intelligence 108 (1-2):179-255.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  1
    Complexity, Decidability and Undecidability Results for Domain-Independent Planning.Kutluhan Erol, Dana S. Nau & V. S. Subrahmanian - 1995 - Artificial Intelligence 76 (1-2):75-88.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    An AGM-Style Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.John Grant, Francesco Parisi, Austin Parker & V. S. Subrahmanian - 2010 - Artificial Intelligence 174 (1):72-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  76
    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  
  10.  9
    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  
  11. Diffusion Centrality: A Paradigm to Maximize Spread in Social Networks.Chanhyun Kang, Sarit Kraus, Cristian Molinaro, Francesca Spezzano & V. S. Subrahmanian - 2016 - Artificial Intelligence 239:70-96.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. 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  
  13. Computing the Fault Tolerance of Multi-Agent Deployment.Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V. S. Subrahmanian & David Peleg - 2009 - Artificial Intelligence 173 (3-4):437-465.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark