 | 










| |
Online DBLP entries are available for V. S. Subrahmanian and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Piero
A. Bonatti,
Sarit
Kraus,
Jose
Salinas, V. S. Subrahmanian: Data-Security in Heterogeneous Agent Systems.
CIA
1998: 290-305
-
Thomas
Eiter, V. S. Subrahmanian: Deontic Action Programs.
FMLDO
1998: 37-54
-
Eenjan
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
-
K.
Selçuk Candan,
B.
Prabhakaran, V. S. Subrahmanian: Retrieval Schedules Based on Resource
Availability and Flexible Presentation Specifications.
Multimedia
Systems 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
Systems 6(4): 251-270 (1998)
-
K.
Selçuk Candan,
P.
Venkat Rangan, V. S. Subrahmanian: Collaborative Multimedia Systems:
Synthesis of Media Objects.
TKDE
10(3): 433-457 (1998)
-
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
-
Anil
Nerode,
Jeffrey
B. Remmel, V. S. Subrahmanian: Annotated Nonmonotonic Rule Systems.
TCS
171(1-2): 111-146 (1997)
-
Laks
V. S. Lakshmanan,
Nicola
Leone,
Robert
Ross, V. S. Subrahmanian: ProbView: A Flexible Probabilistic Database
System.
TODS
22(3): 419-469 (1997)
-
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
-
Georg
Gottlob,
Guido
Moerkotte, V. S. Subrahmanian: The PARK Semantics for Active Rules.
EDBT
1996: 35-55
-
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
-
V. S. Subrahmanian,
Charlie
Ward: A Deductive Database Approach to Planning in Uncertain Environments.
Logic
in Databases 1996: 83-98
-
Sherry
Marcus, V. S. Subrahmanian: Towards a Theory of Multimedia Database
Systems.
Multimedia
Database Systems: Issues and Research Directions 1996: 1-35
-
Sibel
Adali,
K.
Selçuk Candan,
Yannis
Papakonstantinou, V. S. Subrahmanian: Query Caching and Optimization
in Distributed Mediator Systems.
SIGMOD
Conf. 1996: 137-148
-
Sherry
Marcus, V. S. Subrahmanian: Foundations of Multimedia Database Systems.
JACM
43(3): 474-523 (1996)
-
Sibel
Adali, V. S. Subrahmanian: Amalgamating Knowledge Bases, III: Algorithms,
Data Structures, and Query Processing.
JLP
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
Systems 4(4): 172-186 (1996)
-
Vadam
Kagan,
Anil
Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation.
TCS
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.
TCS
166(1&2): 221-262 (1996)
-
James
J. Lu,
Anil
Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases.
TKDE
8(5): 773-785 (1996)
-
Colin
Bell,
Anil
Nerode,
Raymond
T. Ng, V. S. Subrahmanian: Implementing Deductive Databases by Mixed
Integer Programming.
TODS
21(2): 238-269 (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
-
Kutluhan
Erol,
Dana
S. Nau, V. S. Subrahmanian: Complexity, Decidability and Undecidability
Results for Domain-Independent Planning.
Artificial
Intelligence 76(1-2): 75-88 (1995)
-
Anne
Brink,
Sherry
Marcus, V. S. Subrahmanian: Heterogeneous Multimedia Reasoning.
IEEE
Computer 28(9): 33-39 (1995)
-
Anil
Nerode,
Raymond
T. Ng, V. S. Subrahmanian: Computing Circumscriptive Databases: I.
Theory and Algorithms.
Information
and Computation 116(1): 58-80 (1995)
-
Shekhar
Pradhan,
Jack
Minker, V. S. Subrahmanian: Combining Databases with Prioritized Information.
JIIS
4(3): 231-260 (1995)
-
John
Grant, V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases.
TKDE
7(1): 177-189 (1995)
-
V. S. Subrahmanian,
Dana
Nau,
Carlo
Vago: WFS + Branch and Bound = Stable Models.
TKDE
7(3): 362-377 (1995)
-
Piero
A. Bonatti,
Sarit
Kraus, V. S. Subrahmanian: Foundations of Secure Deductive Databases.
TKDE
7(3): 406-422 (1995)
-
Raymond
T. Ng, V. S. Subrahmanian: Stable Semantics for Probabilistic Deductive
Databases.
Information
and Computation 110(1): 42-83 (1994)
-
Colin
Bell,
Anil
Nerode,
Raymond
T. Ng, V. S. Subrahmanian: Mixed Integer Programming Methods for Computing
Nonmonotonic Deductive Databases.
JACM
41(6): 1178-1215 (1994)
-
V. S. Subrahmanian: Amalgamating Knowledge Bases.
TODS
19(2): 291-331 (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
-
Raymond
T. Ng, V. S. Subrahmanian: A Semantical Framework for Supporting Subjective
and Conditional Probabilities in Deductive Databases.
Journal
of Automated Reasoning 10(2): 191-235 (1993)
-
James
J. Lu, V. S. Subrahmanian: Completeness Issues in RUE-NRF Deduction:
The Undecidability of Viability.
Journal
of Automated Reasoning 10(3): 371-388 (1993)
-
Chitta
Baral, V. S. Subrahmanian: Dualities Between Alternative Semantics
for Logic Programming and Nonmonotonic Reasoning.
Journal
of Automated Reasoning 10(3): 399-420 (1993)
-
Kutluhan
Erol,
Dana
S. Nan, 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
-
Jorge
Lobo, V. S. Subrahmanian: Relating Minimal Models and Pre-Requisite-Free
Normal Defaults.
IPL
44(3): 129-133 (1992)
-
Raymond
T. Ng, V. S. Subrahmanian: Probabilistic Logic Programming.
Information
and Computation 101(2): 150-201 (1992)
-
Michael
Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming
and its Applications.
JLP
12(3&4): 335-367 (1992)
-
Chitta
Baral, V. S. Subrahmanian: Stable and Extension Class Theory for Logic
Programs and Default Logics.
Journal
of Automated Reasoning 8(3): 345-366 (1992)
-
V.
Wiktor Marek, V. S. Subrahmanian: The Relationship Between Stable,
Supported, Default and Autoepistemic Semantics for General Logic Programs.
TCS
103(2): 365-386 (1992)
-
V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases.
TCS
93(1): 115-141 (1992)
-
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
-
Tadao
Murata, V. S. Subrahmanian,
Toshiro
Wakayama: A Petri Net Model for Reasoning in the Presence of Inconsistency.
TKDE
3(3): 281-292 (1991)
-
Newton
C. A. da Costa,
Lawrence
J. Henschen,
James
J. Lu, V. S. Subrahmanian: Automatic Theore, Proving in Paraconsistent
Logics: Theory and Implementation.
CADE
1990: 72-86
-
Jan
Chomicki, V. S. Subrahmanian: Generalized Closed World Assumptions
is Pi^0_2-Complete.
IPL
34(6): 289-291 (1990)
-
James
J. Lu, V. S. Subrahmanian: Protected Completions of First-Order General
Logic Programs.
Journal
of Automated Reasoning 6(2): 147-172 (1990)
-
V. S. Subrahmanian: Algebraic Properties of The Space of Multivalued and
Paraconstistent 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
-
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.
TCS
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
-
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
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|