| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. V. S. Subrahmanian Fusun Yaman , Sibel Adali , Dana S. Nau , Maria Luisa Sapino , V. S. Subrahmanian: Plan Databases: Model and Algebra. FoIKS 2004 : 302-320 Edward Hung , Yu Deng , V. S. Subrahmanian: TOSS: An Extension of TAX with Ontologies and Similarity Queries. SIGMOD Conference 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: 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 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) 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 , 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) 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 , Jose 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 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 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) 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) 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 [ 48 ] [ 66 ] [ 67 ] [ 72 ] [ 98 ] [ 109 ] [ 113 ] [ 146 ] 2 [ 23 ] [ 24 ] [ 32 ] [ 35 ] [ 40 ] [ 49 ] 3 [ 5 ] [ 10 ] 4 [ 37 ] [ 46 ] [ 47 ] [ 70 ] 5 [ 89 ] 6 [ 136 ] 7 [ 118 ] 8 [ 2 ] [ 9 ] 9 [ 38 ] [ 56 ] [ 78 ] [ 84 ] [ 98 ] [ 103 ] [ 122 ] [ 137 ] 10 [ 59 ] 11 [ 86 ] [ 135 ] 12 [ 66 ] [ 72 ] [ 75 ] [ 77 ] [ 81 ] [ 85 ] [ 94 ] [ 95 ] [ 96 ] [ 99 ] [ 112 ] 13 [ 92 ] 14 [ 66 ] [ 80 ] 15 [ 18 ] 16 [ 20 ] [ 28 ] 17 [ 91 ] [ 108 ] [ 111 ] [ 115 ] [ 126 ] 18 [ 108 ] [ 111 ] 19 [ 145 ] 20 [ 12 ] 21 [ 114 ] [ 121 ] [ 122 ] [ 123 ] [ 134 ] 22 [ 90 ] [ 97 ] [ 101 ] [ 106 ] [ 107 ] [ 119 ] [ 122 ] [ 124 ] [ 133 ] 23 [ 39 ] [ 60 ] [ 66 ] 24 [ 92 ] 25 [ 120 ] [ 131 ] [ 138 ] 26 [ 43 ] 27 [ 140 ] [ 141 ] 28 [ 136 ] 29 [ 118 ] [ 127 ] 30 [ 64 ] [ 79 ] 31 [ 58 ] [ 61 ] [ 85 ] [ 132 ] 32 [ 45 ] 33 [ 80 ] 34 [ 20 ] [ 28 ] 35 [ 80 ] 36 [ 140 ] [ 141 ] [ 145 ] 37 [ 93 ] [ 94 ] [ 100 ] [ 130 ] 38 [ 44 ] [ 54 ] [ 77 ] [ 82 ] [ 89 ] [ 125 ] 39 [ 65 ] 40 [ 51 ] 41 [ 11 ] [ 31 ] 42 [ 93 ] 43 [ 24 ] [ 35 ] [ 38 ] [ 49 ] [ 56 ] [ 103 ] [ 122 ] [ 123 ] [ 134 ] [ 137 ] [ 139 ] 44 [ 88 ] 45 [ 99 ] [ 112 ] 46 [ 88 ] [ 144 ] 47 [ 33 ] [ 43 ] 48 [ 12 ] [ 15 ] [ 20 ] [ 28 ] [ 41 ] [ 62 ] [ 69 ] [ 90 ] [ 97 ] [ 124 ] 49 [ 124 ] [ 136 ] 50 [ 59 ] [ 64 ] [ 68 ] [ 71 ] [ 118 ] 51 [ 13 ] [ 30 ] 52 [ 133 ] 53 [ 76 ] 54 [ 24 ] [ 35 ] [ 43 ] [ 49 ] [ 53 ] 55 [ 62 ] [ 79 ] 56 [ 45 ] 57 [ 21 ] 58 [ 120 ] [ 121 ] 59 [ 39 ] [ 57 ] [ 60 ] [ 146 ] 60 [ 37 ] [ 46 ] [ 47 ] [ 51 ] [ 55 ] [ 64 ] [ 65 ] [ 69 ] [ 70 ] [ 83 ] 61 [ 76 ] 62 [ 22 ] [ 25 ] [ 26 ] [ 27 ] [ 34 ] [ 36 ] [ 37 ] [ 42 ] [ 46 ] [ 47 ] [ 50 ] [ 55 ] [ 70 ] 63 [ 122 ] [ 127 ] [ 128 ] 64 [ 72 ] 65 [ 87 ] [ 120 ] 66 [ 138 ] 67 [ 107 ] [ 114 ] 68 [ 81 ] [ 95 ] [ 100 ] [ 130 ] 69 [ 53 ] 70 [ 76 ] 71 [ 116 ] 72 [ 75 ] [ 96 ] 73 [ 83 ] 74 [ 117 ] [ 119 ] 75 [ 88 ] [ 117 ] [ 122 ] [ 126 ] [ 132 ] 76 [ 103 ] 77 [ 64 ] 78 [ 89 ] [ 125 ] 79 [ 78 ] [ 84 ] [ 98 ] [ 109 ] [ 113 ] [ 125 ] [ 138 ] [ 146 ] 80 [ 144 ] 81 [ 62 ] 82 [ 76 ] 83 [ 92 ] 84 [ 142 ] 85 [ 80 ] 86 [ 139 ] 87 [ 8 ] 88 [ 57 ] 89 [ 21 ] 90 [ 44 ] [ 54 ] 91 [ 74 ] 92 [ 146 ] 93 [ 63 ] [ 86 ] [ 92 ] [ 135 ] 94 [ 92 ]  ©2004 Association for Computing Machinery |
