BibSLEIGH — V_S_Subrahmanian

Travelled to:

1 × Belgium
1 × Cyprus
1 × Japan
1 × United Kingdom
15 × USA
2 × Australia
2 × Canada
2 × France

Collaborated with:

∅ G.I.Simari R.T.Ng M.L.Sapino A.Dekhtyar S.Adali M.Broecheler S.Jajodia C.Zaniolo J.J.Lu M.Kifer Z.D.Umrigar A.Batarekh S.Kumar F.Spezzano C.Molinaro A.Sliva P.Shakarian F.Yaman D.S.Nau E.Hung Y.Deng M.I.Dekhtyar A.Gupta I.S.Mumick X.S.Wang S.Kraus P.A.Bonatti P.Samarati E.Bertino K.S.Candan Y.Papakonstantinou G.Moerkotte J.Schü C.Bell A.Nerode N.C.A.d.Costa L.J.Henschen M.Purohit B.A.Prakash C.Kang Y.Zhang M.V.Martinez F.Parisi A.Pugliese

Talks about:

program (11) logic (11) probabilist (6) semant (5) quantit (4) databas (4) tempor (4) system (4) queri (4) annot (3)

Person: V. S. Subrahmanian

DBLP: Subrahmanian:V=_S=

Contributed to:

2015

2014

2011

2010

2009

2008

2004

2001

1999

1998

1997

1996

1995

1993

1992

1991

1990

1989

1988

1987

Wrote 31 papers:

KDD-2015-KumarSS #named #wiki: VEWS: A Wikipedia Vandal Early Warning System (SK, FS, VSS), pp. 607–616.
KDD-2014-PurohitPKZS #network #performance #scalability: Fast influence-based coarsening for large networks (MP, BAP, CK, YZ, VSS), pp. 1296–1305.
ICLP-2011-MolinaroSS #abduction #logic #probability: Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.
ICLP-2010-ShakarianSS10 #network #optimisation #problem #social #source code #using: Using Generalized Annotated Programs to Solve Social Network Optimization Problems (PS, VSS, MLS), pp. 182–191.
ICLP-2010-SimariS10 #abduction #logic programming #probability #source code: Abductive Inference in Probabilistic Logic Programs (GIS, VSS), pp. 192–201.
ICLP-2009-BroechelerSS #logic programming #probability #query #source code #using: Using Histograms to Better Answer Queries to Probabilistic Logic Programs (MB, GIS, VSS), pp. 40–54.
KR-2008-MartinezPPSS #consistency #nondeterminism #policy: Inconsistency Management Policies (MVM, FP, AP, GIS, VSS), pp. 367–377.
KR-2008-SimariBSK #axiom: Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment (GIS, MB, VSS, SK), pp. 59–69.
KR-2004-YamanNS #logic: A Logic of Motion (FY, DSN, VSS), pp. 85–94.
SIGMOD-2004-HungDS #named #ontology #query #similarity: TOSS: An Extension of TAX with Ontologies and Similarity Queries (EH, YD, VSS), pp. 719–730.
ICLP-2001-Subrahmanian #database #logic programming #probability: Probabilistic Databases and Logic Programming (VSS), p. 10.
ICLP-1999-DekhtyarDS #logic programming #probability #source code: Temporal Probabilistic Logic Programs (AD, MID, VSS), pp. 109–123.
SIGMOD-1999-AdaliSS #algebra #multi: A Multimedia Presentation Algebra (SA, MLS, VSS), pp. 121–132.
SIGMOD-1998-AdaliBSS #algebra #multi: A Multi-Similarity Algebra (SA, PAB, MLS, VSS), pp. 402–413.
ICLP-1997-DekhtyarS #hybrid #probability #source code: Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.
SIGMOD-1997-JajodiaSSB #data access #framework #multi #policy: A Unified Framework for Enforcing Multiple Access Control Policies (SJ, PS, VSS, EB), pp. 474–485.
SIGMOD-1996-AdaliCPS #distributed #optimisation #query: Query Caching and Optimization in Distributed Mediator Systems (SA, KSC, YP, VSS), pp. 137–148.
ICLP-1995-SubrahmanianZ #modelling: Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.
SIGMOD-1995-LuMSS #maintenance #performance: Efficient Maintenance of Materialized Mediated Views (JJL, GM, JS, VSS), pp. 340–351.
SIGMOD-1993-GuptaMS #incremental #maintenance: Maintaining Views Incrementally (AG, ISM, VSS), pp. 157–166.
SIGMOD-1993-WangJS #approach #database #towards: Temporal Modules: An Approach Toward Federated Temporal Databases (XSW, SJ, VSS), pp. 227–236.
PODS-1992-BellNNS #database #deduction #implementation #linear #programming: Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.
ICLP-1991-NgS #database #deduction #framework #semantics: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases (RTN, VSS), pp. 565–580.
ISLP-1991-NgS #semantics: Relating Dempster-Shafer Theory to Stable Semantics (RTN, VSS), pp. 551–565.
CADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving: Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.
NACLP-1989-KiferS #logic programming #on the #power of #source code: On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.
CADE-1988-Subrahmanian #logic programming #query: Query Processing in Quantitative Logic Programming (VSS), pp. 81–100.
CADE-1988-SubrahmanianU #approximate #consistency #named #reasoning: QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
JICSCP-1988-BatarekhS88 #logic programming #semantics #source code: Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.
JICSCP-1988-Subrahmanian88 #semantics #set: Intuitive Semantics for Quantitative Rule Sets (VSS), pp. 1036–1053.
SLP-1987-Subrahmanian87 #logic programming #on the #semantics #source code: On the Semantics of Quantitative Logic Programs (VSS), pp. 173–182.