13 found
  1.  7
    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.
  2.  37
    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.
  3.  27
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.
  4.  9
    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 (C):70-96.
  5.  10
    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.
  6.  3
    Heterogeneous active agents, II: Algorithms and complexity.Thomas Eiter & V. S. Subrahmanian - 1999 - Artificial Intelligence 108 (1-2):257-307.
  7.  6
    Heterogeneous active agents, I: Semantics.Thomas Eiter, V. S. Subrahmanian & George Pick - 1999 - Artificial Intelligence 108 (1-2):179-255.
  8.  85
    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   2 citations  
  9.  7
    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  
  10.  6
    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   1 citation  
  11.  30
    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  
  12.  4
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...)
    Direct download  
    Export citation  
  13.  5
    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   1 citation