BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Subrahmanian:V=_S=

Contributed to:

KDD 20152015
KDD 20142014
ICLP 20112011
ICLP 20102010
ICLP 20092009
KR 20082008
KR 20042004
SIGMOD 20042004
ICLP 20012001
ICLP 19991999
SIGMOD 19991999
SIGMOD 19981998
ICLP 19971997
SIGMOD 19971997
SIGMOD 19961996
ICLP 19951995
SIGMOD 19951995
SIGMOD 19931993
PODS 19921992
ICLP 19911991
ILPS 19911991
CADE 19901990
NACLP 19891989
CADE 19881988
ICLP/SPL 19881988
SLP 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.