| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. V. S. Subrahmanian Octavian Udrea , Diego Reforgiato Recupero , V. S. Subrahmanian: Annotated RDF. ESWC 2006 : 487-501 Octavian Udrea , Yu Deng , Edna Ruckhaus , V. S. Subrahmanian: A Graph Theoretical Foundation for Integrating RDF Ontologies. AAAI 2005 : 1442-1450 Bogdan Stroe , V. S. Subrahmanian, Sudeshna Dasgupta : Optimal status sets of heterogeneous agent programs. AAMAS 2005 : 709-715 Edward Hung , Yu Deng , V. S. Subrahmanian: RDF Aggregate Queries and Views. ICDE 2005 : 717-728 Austin Parker , Dana S. Nau , V. S. Subrahmanian: Game-Tree Search with Combinatorially Large Belief States. IJCAI 2005 : 254-259 Fusun Yaman , Dana S. Nau , V. S. Subrahmanian: Going Far, Logically. IJCAI 2005 : 615-620 Fusun Yaman , Dana S. Nau , V. S. Subrahmanian: A Motion Closed World Asumption. IJCAI 2005 : 621-626 Jürgen Dix , Wolfgang Faber , V. S. Subrahmanian: The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005 : 637-650 Octavian Udrea , Yu Deng , Edward Hung , V. S. Subrahmanian: Probabilistic Ontologies and Relational Databases. OTM Conferences (1) 2005 : 1-17 Robert Ross , V. S. Subrahmanian, John Grant : Aggregate operators in probabilistic databases. J. ACM 52 (1): 54-101 (2005) Marat Fayzullin , V. S. Subrahmanian, Antonio Picariello , Maria Luisa Sapino : The CPR Model for Summarizing Video. Multimedia Tools Appl. 26 (2): 153-173 (2005) V. S. Subrahmanian, Sarit Kraus , Yingqian Zhang : Distributed Algorithms for Dynamic Survivability of Multiagent Systems. CLIMA IV 2004 : 1-15 Tsz-Chiu Au , Dana S. Nau , V. S. Subrahmanian: Utilizing Volatile External Information During Planning. ECAI 2004 : 647-651 Fusun Yaman , Sibel Adali , Dana S. Nau , Maria Luisa Sapino , V. S. Subrahmanian: Plan Databases: Model and Algebra. FoIKS 2004 : 302-320 Fusun Yaman , Dana S. Nau , V. S. Subrahmanian: A Logic of Motion. KR 2004 : 85-94 Marat Fayzullin , V. S. Subrahmanian, Massimiliano Albanese , Antonio Picariello : The priority curve algorithm for video summarization. MMDB 2004 : 28-35 Edward Hung , Yu Deng , V. S. Subrahmanian: TOSS: An Extension of TAX with Ontologies and Similarity Queries. SIGMOD Conference 2004 : 719-730 Fatma Ozcan , V. S. Subrahmanian, Jürgen Dix : Improving Performance of Heterogeneous Agents. Ann. Math. Artif. Intell. 41 (2-4): 339-395 (2004) Nicola Leone , Francesco Scarcello , V. S. Subrahmanian: Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. IEEE Trans. Knowl. Data Eng. 16 (4): 487-503 (2004) V. S. Subrahmanian: Introduction. Multimedia Tools Appl. 24 (3): 195-195 (2004) Marat Fayzullin , V. S. Subrahmanian: An Algebra for PowerPoint Sources. Multimedia Tools Appl. 24 (3): 273-301 (2004) V. S. Subrahmanian: MIS 2003, 9th International Workshop on Multimedia Information Systems, May 26-28, 2003, Ischia, Italy, Proceedings Multimedia Information Systems 2003 Bogdan Stroe , V. S. Subrahmanian: First order heterogeneous agent computations. AAMAS 2003 : 217-224 Edward Hung , Lise Getoor , V. S. Subrahmanian: PXML: A Probabilistic Semistructured Data Model and Algebra. ICDE 2003 : 467- Edward Hung , Lise Getoor , V. S. Subrahmanian: Probabilistic Interval XML. ICDT 2003 : 361-377 Sarit Kraus , V. S. Subrahmanian, N. Cihan Tas : Probabilistically Survivable MASs. IJCAI 2003 : 789-795 Piero A. Bonatti , Yu Deng , V. S. Subrahmanian: An Ontology-Extended Relational Algebra. IRI 2003 : 192-199 Marat Fayzullin , V. S. Subrahmanian, Antonio Picariello , Maria Luisa Sapino : The CPR model for summarizing video. MMDB 2003 : 2-9 Piero A. Bonatti , Sarit Kraus , V. S. Subrahmanian: Secure Agents. Ann. Math. Artif. Intell. 37 (1-2): 169-235 (2003) Veronica Biazzo , Rosalba Giugno , Thomas Lukasiewicz , V. S. Subrahmanian: Temporal Probabilistic Object Bases. IEEE Trans. Knowl. Data Eng. 15 (4): 921-939 (2003) Antonio Brogi , V. S. Subrahmanian, Carlo Zaniolo : A Deductive Database Approach to A.I. Planning. J. Intell. Inf. Syst. 20 (3): 215-253 (2003) Jürgen Dix , Sarit Kraus , V. S. Subrahmanian: Agents dealing with time and uncertainty. AAMAS 2002 : 912-919 Thomas Eiter , Viviana Mascardi , V. S. Subrahmanian: Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond 2002 : 586-625 Robert Ross , V. S. Subrahmanian, John Grant : Probabilistic Aggregates. ISMIS 2002 : 553-564 Marat Fayzullin , V. S. Subrahmanian: An Algebra for PowerPoint Sources. Multimedia Information Systems 2002 : 155-164 Eenjun Hwang , B. Prabhakaran , V. S. Subrahmanian: Presentation Planning for Distributed VoD Systems. IEEE Trans. Knowl. Data Eng. 14 (5): 1059-1077 (2002) V. S. Subrahmanian: Probabilistic Databases and Logic Programming. ICLP 2001 : 10 Fatma Ozcan , V. S. Subrahmanian: Partitioning Activities for Agents. IJCAI 2001 : 1218-1228 Fatma Ozcan , V. S. Subrahmanian, Leana Golubchik : Optimal Agent Selection. KI/ÖGAI 2001 : 2-17 Alex Dekhtyar , Robert Ross , V. S. Subrahmanian: Probabilistic temporal databases, I: algebra. ACM Trans. Database Syst. 26 (1): 41-95 (2001) Sushil Jajodia , Pierangela Samarati , Maria Luisa Sapino , V. S. Subrahmanian: Flexible support for multiple access control policies. ACM Trans. Database Syst. 26 (2): 214-260 (2001) Thomas Eiter , James J. Lu , Thomas Lukasiewicz , V. S. Subrahmanian: Probabilistic object bases. ACM Trans. Database Syst. 26 (3): 264-312 (2001) Jürgen Dix , Sarit Kraus , V. S. Subrahmanian: Temporal agent programs. Artif. Intell. 127 (1): 87-135 (2001) V. S. Subrahmanian, Piero A. Bonatti , Jürgen Dix , Thomas Eiter , Sarit Kraus , Fatma Ozcan , Robert Ross : Heterogenous Active Agents MIT Press 2000 Jürgen Dix , Mirco Nanni , V. S. Subrahmanian: Probabilistic agent programs. ACM Trans. Comput. Log. 1 (2): 208-246 (2000) Marat Fayzullin , Mirco Nanni , Dino Pedreschi , V. S. Subrahmanian: Foundations of distributed interaction systems. Ann. Math. Artif. Intell. 28 (1-4): 127-168 (2000) Thomas Eiter , V. S. Subrahmanian, Timothy J. Rogers : Heterogeneous active agents, III: Polynomially implementable agents. Artif. Intell. 117 (1): 107-167 (2000) Fatma Ozcan , V. S. Subrahmanian, Jürgen Dix : Improving Performance of heavily loaded agents CoRR cs.MA/0012004 : (2000) Leana Golubchik , V. S. Subrahmanian, Sherry Marcus , Joachim Biskup : Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers. IEEE Trans. Knowl. Data Eng. 12 (1): 60-77 (2000) Timothy J. Rogers , Robert Ross , V. S. Subrahmanian: IMPACT: A System for Building Agent Applications. J. Intell. Inf. Syst. 14 (2-3): 95-113 (2000) Raghu Ramakrishnan , V. S. Subrahmanian: Guest Editor's Introduction: Logic-based Heterogeneous Information Systems. J. Log. Program. 43 (1): 1-2 (2000) Alex Dekhtyar , V. S. Subrahmanian: Hybrid Probabilistic Programs. J. Log. Program. 43 (3): 187-250 (2000) Jürgen Dix , V. S. Subrahmanian, George Pick : Meta-agent programs. J. Log. Program. 46 (1-2): 1-60 (2000) Sibel Adali , Maria Luisa Sapino , V. S. Subrahmanian: An algebra for creating and querying multimedia presentations. Multimedia Syst. 8 (3): 212-230 (2000) K. Selçuk Candan , Eric Lemar , V. S. Subrahmanian: View Management in Multimedia Databases. VLDB J. 9 (2): 131-153 (2000) Alex Dekhtyar , Michael I. Dekhtyar , V. S. Subrahmanian: Temporal Probabilistic Logic Programs. ICLP 1999 : 109-123 V. S. Subrahmanian: Heterogenous Agent systems (Extended Abstract). ISMIS 1999 : 46-55 Sibel Adali , Maria Luisa Sapino , Massimo Schenone , V. S. Subrahmanian: Finite Graph Algebras for Querying Interactive Multimedia Presentation Databases. Multimedia Information Systems 1999 : 20-27 Sibel Adali , Maria Luisa Sapino , V. S. Subrahmanian: A Multimedia Presentation Algebra. SIGMOD Conference 1999 : 121-132 Michael I. Dekhtyar , Alex Dekhtyar , V. S. Subrahmanian: Hybrid Probabilistic Programs: Algorithms and Complexity. UAI 1999 : 160-169 Thomas Eiter , V. S. Subrahmanian, George Pick : Heterogeneous Active Agents, I: Semantics. Artif. Intell. 108 (1-2): 179-255 (1999) Thomas Eiter , V. S. Subrahmanian: Heterogeneous Active Agents, II: Algorithms and Complexity. Artif. Intell. 108 (1-2): 257-307 (1999) Jürgen Dix , Mirco Nanni , V. S. Subrahmanian: Probabilistic Agent Programs CoRR cs.AI/9910016 : (1999) V. S. Subrahmanian: Nonmonotonic Logic Programming. IEEE Trans. Knowl. Data Eng. 11 (1): 143-152 (1999) V. S. Subrahmanian: Principles of Multimedia Database Systems Morgan Kaufmann 1998 Piero A. Bonatti , Sarit Kraus , José Salinas , V. S. Subrahmanian: Data-Security in Heterogeneous Agent Systems. CIA 1998 : 290-305 V. S. Subrahmanian: Multimedia Query and Presentation Algebras (Abstract). DEXA Workshop 1998 : 79-81 Thomas Eiter , V. S. Subrahmanian: Deontic Action Programs. FMLDO 1998 : 37-54 Eenjun Hwang , V. S. Subrahmanian, B. Prabhakaran : Distributed Video Presentations. ICDE 1998 : 268-275 Khaled A. Arisha , Sarit Kraus , Fatma Ozcan , Robert Ross , V. S. Subrahmanian: IMPACT: The Interactive Maryland Platform for Agents Collaborating Together. ICMAS 1998 : 385-386 K. Selçuk Candan , Eric Lemar , V. S. Subrahmanian: Management and Rendering of Multimedia Views. Multimedia Information Systems 1998 : 45-56 Sibel Adali , Piero A. Bonatti , Maria Luisa Sapino , V. S. Subrahmanian: A Multi-Similarity Algebra. SIGMOD Conference 1998 : 402-413 Thomas Eiter , James J. Lu , V. S. Subrahmanian: A First-Order Representation of Stable Models. AI Commun. 11 (1): 53-73 (1998) K. Selçuk Candan , P. Venkat Rangan , V. S. Subrahmanian: Collaborative Multimedia Systems: Synthesis of Media Objects. IEEE Trans. Knowl. Data Eng. 10 (3): 433-457 (1998) K. Selçuk Candan , B. Prabhakaran , V. S. Subrahmanian: Retrieval Schedules Based on Resource Availability and Flexible Presentation Specifications. Multimedia Syst. 6 (4): 232-250 (1998) K. Selçuk Candan , Eenjun Hwang , V. S. Subrahmanian: An Event-Based Model for Continous Media Data on Heterogeneous Disk Servers. Multimedia Syst. 6 (4): 251-270 (1998) Eenjun Hwang , Kemal Kilic , V. S. Subrahmanian: Handling Updates and Crashes in VoD Systems. Multimedia Tools Appl. 7 (1/2): 103-132 (1998) Carlo Zaniolo , Stefano Ceri , Christos Faloutsos , Richard T. Snodgrass , V. S. Subrahmanian, Roberto Zicari : Advanced Database Systems. Morgan Kaufmann 1997 Alex Dekhtyar , V. S. Subrahmanian: Hybrid Probabilistic Programs. ICLP 1997 : 391-405 Sushil Jajodia , Pierangela Samarati , V. S. Subrahmanian: A Logical Language for Expressing Authorizations. IEEE Symposium on Security and Privacy 1997 : 31-42 Thomas Eiter , James J. Lu , V. S. Subrahmanian: Computing Non-Ground Representations of Stable Models. LPNMR 1997 : 198-217 Sushil Jajodia , Pierangela Samarati , V. S. Subrahmanian, Elisa Bertino : A Unified Framework for Enforcing Multiple Access Control Policies. SIGMOD Conference 1997 : 474-485 Laks V. S. Lakshmanan , Nicola Leone , Robert Ross , V. S. Subrahmanian: ProbView: A Flexible Probabilistic Database System. ACM Trans. Database Syst. 22 (3): 419-469 (1997) Dino Pedreschi , V. S. Subrahmanian: Non-determinism in Deductive Databases - Preface. Ann. Math. Artif. Intell. 19 (1-2): 1-2 (1997) Antonio Brogi , V. S. Subrahmanian, Carlo Zaniolo : The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. Ann. Math. Artif. Intell. 19 (1-2): 27-58 (1997) K. Selçuk Candan , John Grant , V. S. Subrahmanian: A Unified Treatment of Null Values Using Constraints. Inf. Sci. 98 (1-4): 99-156 (1997) Piero A. Bonatti , Maria Luisa Sapino , V. S. Subrahmanian: Merging Heterogeneous Security Orderings. Journal of Computer Security 5 (1): 3-30 (1997) Anil Nerode , Jeffrey B. Remmel , V. S. Subrahmanian: Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171 (1-2): 111-146 (1997) V. S. Subrahmanian, Sushil Jajodia : Multimedia Database System: Issues and Research Direction Springer 1996 K. Selçuk Candan , B. Prabhakaran , V. S. Subrahmanian: CHIMP: A Framework for Supporting Distributed Multimedia Document Authoring and Presentation. ACM Multimedia 1996 : 329-340 V. S. Subrahmanian, Su-Shing Chen , James A. Hendler , Richard Hull , Val Tannen : Smart Mediators and Intelligent Agents (Panel). CIKM 1996 : 343 Georg Gottlob , Guido Moerkotte , V. S. Subrahmanian: The PARK Semantics for Active Rules. EDBT 1996 : 35-55 Piero A. Bonatti , Maria Luisa Sapino , V. S. Subrahmanian: Merging Heterogeneous Security Orderings. ESORICS 1996 : 183-197 K. Selçuk Candan , Sushil Jajodia , V. S. Subrahmanian: Secure Mediated Databases. ICDE 1996 : 28-37 Amit P. Sheth , Robert Meersman , Erich J. Neuhold , Calton Pu , V. S. Subrahmanian: What's in a WWW Link? - Panel. ICDE 1996 : 308 K. Selçuk Candan , V. S. Subrahmanian, P. Venkat Rangan : Towards a Theory of Collaborative Multimedia. ICMCS 1996 : 279-282 V. S. Subrahmanian, Charlie Ward : A Deductive Database Approach to Planning in Uncertain Environments. Logic in Databases 1996 : 83-98 V. S. Subrahmanian: Foundation of Multimedia Information Systems (Abstract). SEBD 1996 : 113-116 Sibel Adali , K. Selçuk Candan , Yannis Papakonstantinou , V. S. Subrahmanian: Query Caching and Optimization in Distributed Mediator Systems. SIGMOD Conference 1996 : 137-148 Sherry Marcus , V. S. Subrahmanian: Towards a Theory of Multimedia Database Systems. Multimedia Database System: Issues and Research Direction 1996 : 1-35 Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian: Implementing Deductive Databases by Mixed Integer Programming. ACM Trans. Database Syst. 21 (2): 238-269 (1996) James J. Lu , Anil Nerode , V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8 (5): 773-785 (1996) Sherry Marcus , V. S. Subrahmanian: Foundations of Multimedia Database Systems. J. ACM 43 (3): 474-523 (1996) Sibel Adali , V. S. Subrahmanian: Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing. J. Log. Program. 28 (1): 45-88 (1996) Sibel Adali , K. Selçuk Candan , Su-Shing Chen , Kutluhan Erol , V. S. Subrahmanian: The Advanced Video Information System: Data Structures and Query Processing. Multimedia Syst. 4 (4): 172-186 (1996) Vadam Kagan , Anil Nerode , V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155 (1): 157-177 (1996) Georg Gottlob , Sherry Marcus , Anil Nerode , Gernot Salzer , V. S. Subrahmanian: A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. 166 (1&2): 221-262 (1996) V. S. Subrahmanian, Carlo Zaniolo : Relating Stable Models and AI Planning Domains. ICLP 1995 : 233-247 James J. Lu , Guido Moerkotte , Joachim Schü , V. S. Subrahmanian: Efficient Maintenance of Materialized Mediated Views. SIGMOD Conference 1995 : 340-351 John Grant , V. S. Subrahmanian: The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases. Acta Cybern. 12 (1): 37-56 (1995) Kutluhan Erol , Dana S. Nau , V. S. Subrahmanian: Complexity, Decidability and Undecidability Results for Domain-Independent Planning. Artif. Intell. 76 (1-2): 75-88 (1995) Anne Brink , Sherry Marcus , V. S. Subrahmanian: Heterogeneous Multimedia Reasoning. IEEE Computer 28 (9): 33-39 (1995) John Grant , V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases. IEEE Trans. Knowl. Data Eng. 7 (1): 177-189 (1995) V. S. Subrahmanian, Dana S. Nau , Carlo Vago : WFS + Branch and Bound = Stable Models. IEEE Trans. Knowl. Data Eng. 7 (3): 362-377 (1995) Piero A. Bonatti , Sarit Kraus , V. S. Subrahmanian: Foundations of Secure Deductive Databases. IEEE Trans. Knowl. Data Eng. 7 (3): 406-422 (1995) Anil Nerode , Raymond T. Ng , V. S. Subrahmanian: Computing Circumscriptive Databases: I. Theory and Algorithms Inf. Comput. 116 (1): 58-80 (1995) Xiaoyang Sean Wang , Sushil Jajodia , V. S. Subrahmanian: Temporal Modules: An Approach Toward Federated Temporal Databases. Inf. Sci. 82 (1-2): 103-128 (1995) Shekhar Pradhan , Jack Minker , V. S. Subrahmanian: Combining Databases with Prioritized Information. J. Intell. Inf. Syst. 4 (3): 231-260 (1995) Donald Perlis , V. S. Subrahmanian: Meta-languages, reflection principles, and self-reference. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994 : 323-358 V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19 (2): 291-331 (1994) Vadim Kagan , Anil Nerode , V. S. Subrahmanian: Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Logic 67 (1-3): 161-182 (1994) Raymond T. Ng , V. S. Subrahmanian: Stable Semantics for Probabilistic Deductive Databases Inf. Comput. 110 (1): 42-83 (1994) Chitta Baral , Sarit Kraus , Jack Minker , V. S. Subrahmanian: Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3 (3): 319- (1994) Sibel Adali , V. S. Subrahmanian: Amalgamating Knowledge Bases, II: Distributed Mediators. Int. J. Cooperative Inf. Syst. 3 (4): 349-383 (1994) Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian: Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. J. ACM 41 (6): 1178-1215 (1994) V. S. Subrahmanian: Hybrid Knowledge Bases for Intelligent Reasoning Systems. GULP 1993 : 3-20 Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian: Implementing Stable Semantics by Linear Programming. LPNMR 1993 : 23-42 Ashish Gupta , Inderpal Singh Mumick , V. S. Subrahmanian: Maintaining Views Incrementally. SIGMOD Conference 1993 : 157-166 Xiaoyang Sean Wang , Sushil Jajodia , V. S. Subrahmanian: Temporal Modules: An Approach Toward Federated Temporal Databases. SIGMOD Conference 1993 : 227-236 José Alberto Fernández , Jorge Lobo , Jack Minker , V. S. Subrahmanian: Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8 (3-4): 449-474 (1993) Raymond T. Ng , V. S. Subrahmanian: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. J. Autom. Reasoning 10 (2): 191-235 (1993) James J. Lu , V. S. Subrahmanian: Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. J. Autom. Reasoning 10 (3): 371-388 (1993) Chitta Baral , V. S. Subrahmanian: Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. J. Autom. Reasoning 10 (3): 399-420 (1993) Kutluhan Erol , Dana S. Nau , V. S. Subrahmanian: On the Complexity of Domain-Independent Planning. AAAI 1992 : 381-386 Piero A. Bonatti , Sarit Kraus , V. S. Subrahmanian: Declarative Foundations of Secure Deductive Databases. ICDT 1992 : 391-406 Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian: Implementing Deductive Databases by Linear Programming. PODS 1992 : 283-292 Raymond T. Ng , V. S. Subrahmanian: Empirical Probabilities in Monadic Deductive Databases. UAI 1992 : 215-222 Chitta Baral , Sarit Kraus , Jack Minker , V. S. Subrahmanian: Combining Knowledge Bases Consisting of First-Order Analysis. Computational Intelligence 8 : 45-71 (1992) Raymond T. Ng , V. S. Subrahmanian: Probabilistic Logic Programming Inf. Comput. 101 (2): 150-201 (1992) Jorge Lobo , V. S. Subrahmanian: Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Inf. Process. Lett. 44 (3): 129-133 (1992) Chitta Baral , V. S. Subrahmanian: Stable and Extension Class Theory for Logic Programs and Default Logics. J. Autom. Reasoning 8 (3): 345-366 (1992) Michael Kifer , V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12 (3&4): 335-367 (1992) V. Wiktor Marek , V. S. Subrahmanian: The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103 (2): 365-386 (1992) V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases. Theor. Comput. Sci. 93 (1): 115-141 (1992) James J. Lu , Lawrence J. Henschen , V. S. Subrahmanian, Newton C. A. da Costa : Reasoning in Paraconsistent Logics. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991 : 181-210 Raymond T. Ng , V. S. Subrahmanian: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. ICLP 1991 : 565-580 Raymond T. Ng , V. S. Subrahmanian: Relating Dempster-Shafer Theory to Stable Semantics. ISLP 1991 : 551-565 Raymond T. Ng , V. S. Subrahmanian: Stable Model Semantics for Probabilistic Deductive Databases. ISMIS 1991 : 162-171 Chitta Baral , Sarit Kraus , Jack Minker , V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991 : 92-101 Chitta Baral , V. S. Subrahmanian: Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). LPNMR 1991 : 69-86 Raymond T. Ng , V. S. Subrahmanian: Non-Monotonic Negation in Probabilistic Deductive Databases. UAI 1991 : 249-256 Tadao Murata , V. S. Subrahmanian, Toshiro Wakayama : A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3 (3): 281-292 (1991) Newton C. A. da Costa , Lawrence J. Henschen , James J. Lu , V. S. Subrahmanian: Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. CADE 1990 : 72-86 V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases. ISMVL 1990 : 339-346 Jan Chomicki , V. S. Subrahmanian: Generalized Closed World Assumptions is Pi^0_2-Complete. Inf. Process. Lett. 34 (6): 289-291 (1990) V. S. Subrahmanian: A Ring-Theoretic Basis for Logic Programming. Int. J. Found. Comput. Sci. 1 (1): 23-48 (1990) V. S. Subrahmanian: Errata: A Ring-Theoretic Basis for Logic Programming. Int. J. Found. Comput. Sci. 1 (4): 465 (1990) James J. Lu , V. S. Subrahmanian: Protected Completions of First-Order General Logic Programs. J. Autom. Reasoning 6 (2): 147-172 (1990) V. S. Subrahmanian: Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs. FSTTCS 1989 : 56-67 V. Wiktor Marek , V. S. Subrahmanian: The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP 1989 : 600-617 Vincent J. Digricoli , James J. Lu , V. S. Subrahmanian: And-Or Graphs Applied to RUE Resolution. IJCAI 1989 : 354-358 Michael Kifer , V. S. Subrahmanian: On the Expressive Power of Annotated Logic Programs. NACLP 1989 : 1069-1089 Aïda Batarekh , V. S. Subrahmanian: The Query Topology in Logic Programming. STACS 1989 : 375-387 Howard A. Blair , V. S. Subrahmanian: Paraconsistent Logic Programming. Theor. Comput. Sci. 68 (2): 135-154 (1989) V. S. Subrahmanian, Zerksis D. Umrigar : QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. CADE 1988 : 746-747 V. S. Subrahmanian: Query Processing in Quantitative Logic Programming. CADE 1988 : 81-100 V. S. Subrahmanian: Intuitive Semantics for Quantitative Rule Sets. ICLP/SLP 1988 : 1036-1053 Aïda Batarekh , V. S. Subrahmanian: Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988 : 960-977 V. S. Subrahmanian: A Simple Formulation of the Theory of Metalogic Programming. META 1988 : 65-101 V. S. Subrahmanian: Review of Reasoning About Change. AI Magazine 9 (4): 84-85 (1988) Howard A. Blair , V. S. Subrahmanian: Paraconsistent Logic Programming. FSTTCS 1987 : 340-360 V. S. Subrahmanian: On the Semantics of Quantitative Logic Programs. SLP 1987 : 173-182 1 [ 49 ] [ 68 ] [ 69 ] [ 74 ] [ 101 ] [ 114 ] [ 115 ] [ 119 ] [ 159 ] 2 [ 157 ] 3 [ 103 ] 4 [ 160 ] 5 [ 23 ] [ 24 ] [ 32 ] [ 35 ] [ 40 ] [ 50 ] 6 [ 5 ] [ 10 ] 7 [ 37 ] [ 46 ] [ 48 ] [ 72 ] 8 [ 91 ] 9 [ 143 ] 10 [ 124 ] 11 [ 2 ] [ 9 ] 12 [ 38 ] [ 58 ] [ 80 ] [ 86 ] [ 101 ] [ 107 ] [ 129 ] [ 144 ] [ 146 ] 13 [ 61 ] 14 [ 88 ] [ 142 ] 15 [ 68 ] [ 74 ] [ 77 ] [ 79 ] [ 83 ] [ 87 ] [ 97 ] [ 98 ] [ 99 ] [ 102 ] [ 118 ] 16 [ 95 ] 17 [ 68 ] [ 82 ] 18 [ 18 ] 19 [ 20 ] [ 28 ] 20 [ 170 ] 21 [ 94 ] [ 113 ] [ 117 ] [ 121 ] [ 133 ] 22 [ 113 ] [ 117 ] 23 [ 146 ] [ 156 ] [ 164 ] [ 169 ] [ 171 ] 24 [ 12 ] 25 [ 110 ] [ 120 ] [ 125 ] [ 128 ] [ 129 ] [ 130 ] [ 141 ] [ 155 ] [ 165 ] 26 [ 92 ] [ 100 ] [ 105 ] [ 111 ] [ 112 ] [ 126 ] [ 129 ] [ 131 ] [ 140 ] 27 [ 39 ] [ 62 ] [ 68 ] 28 [ 165 ] 29 [ 95 ] 30 [ 127 ] [ 138 ] [ 145 ] [ 152 ] [ 157 ] [ 162 ] 31 [ 43 ] 32 [ 148 ] [ 149 ] 33 [ 143 ] 34 [ 124 ] [ 134 ] 35 [ 66 ] [ 81 ] 36 [ 60 ] [ 63 ] [ 87 ] [ 139 ] [ 163 ] 37 [ 45 ] 38 [ 82 ] 39 [ 20 ] [ 28 ] 40 [ 82 ] 41 [ 148 ] [ 149 ] [ 156 ] [ 164 ] [ 169 ] 42 [ 96 ] [ 97 ] [ 104 ] [ 137 ] 43 [ 44 ] [ 56 ] [ 79 ] [ 84 ] [ 91 ] [ 93 ] [ 132 ] 44 [ 67 ] 45 [ 52 ] 46 [ 11 ] [ 31 ] 47 [ 96 ] 48 [ 24 ] [ 35 ] [ 38 ] [ 50 ] [ 58 ] [ 103 ] [ 107 ] [ 129 ] [ 130 ] [ 141 ] [ 144 ] [ 147 ] [ 161 ] 49 [ 90 ] 50 [ 102 ] [ 118 ] 51 [ 90 ] [ 154 ] 52 [ 33 ] [ 43 ] 53 [ 12 ] [ 15 ] [ 20 ] [ 28 ] [ 41 ] [ 64 ] [ 71 ] [ 92 ] [ 100 ] [ 131 ] 54 [ 131 ] [ 143 ] 55 [ 61 ] [ 66 ] [ 70 ] [ 73 ] [ 124 ] 56 [ 13 ] [ 30 ] 57 [ 140 ] 58 [ 78 ] 59 [ 24 ] [ 35 ] [ 43 ] [ 50 ] [ 55 ] 60 [ 64 ] [ 81 ] 61 [ 45 ] 62 [ 21 ] 63 [ 110 ] [ 127 ] [ 128 ] 64 [ 39 ] [ 59 ] [ 62 ] [ 158 ] [ 159 ] [ 160 ] [ 166 ] [ 167 ] [ 168 ] 65 [ 37 ] [ 46 ] [ 48 ] [ 52 ] [ 57 ] [ 66 ] [ 67 ] [ 71 ] [ 72 ] [ 85 ] 66 [ 78 ] 67 [ 22 ] [ 25 ] [ 26 ] [ 27 ] [ 34 ] [ 36 ] [ 37 ] [ 42 ] [ 46 ] [ 48 ] [ 51 ] [ 57 ] [ 72 ] 68 [ 103 ] [ 125 ] [ 129 ] [ 134 ] [ 135 ] [ 155 ] 69 [ 74 ] 70 [ 168 ] 71 [ 89 ] [ 127 ] 72 [ 54 ] 73 [ 145 ] [ 157 ] [ 162 ] 74 [ 112 ] [ 120 ] 75 [ 83 ] [ 98 ] [ 104 ] [ 137 ] 76 [ 55 ] 77 [ 78 ] 78 [ 122 ] 79 [ 77 ] [ 99 ] 80 [ 172 ] 81 [ 85 ] 82 [ 123 ] [ 126 ] 83 [ 90 ] [ 103 ] [ 123 ] [ 129 ] [ 133 ] [ 139 ] [ 163 ] 84 [ 171 ] 85 [ 107 ] 86 [ 66 ] 87 [ 91 ] [ 93 ] [ 132 ] 88 [ 80 ] [ 86 ] [ 101 ] [ 114 ] [ 115 ] [ 119 ] [ 132 ] [ 145 ] [ 159 ] [ 162 ] 89 [ 154 ] 90 [ 115 ] 91 [ 64 ] 92 [ 78 ] 93 [ 95 ] 94 [ 150 ] [ 170 ] 95 [ 82 ] 96 [ 147 ] 97 [ 164 ] [ 171 ] [ 172 ] 98 [ 8 ] 99 [ 59 ] 100 [ 21 ] 101 [ 44 ] [ 56 ] 102 [ 76 ] 103 [ 158 ] [ 159 ] [ 166 ] [ 167 ] 104 [ 65 ] [ 88 ] [ 95 ] [ 142 ] 105 [ 161 ] 106 [ 95 ]  ©2006 Association for Computing Machinery |
