V. S. Subrahmanian

According to our database1, V. S. Subrahmanian
  • authored at least 332 papers between 1987 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Computer-Aided Human Centric Cyber Situation Awareness.
Proceedings of the Theory and Models for Cyber Situation Awareness, 2017

Understanding the Relationship between Human Behavior and Susceptibility to Cyber Attacks: A Data-Driven Approach.
ACM TIST, 2017

Data-Driven Frequency-Based Airline Profit Maximization.
ACM TIST, 2017

A Probabilistic Logic of Cyber Deception.
IEEE Trans. Information Forensics and Security, 2017

The Golden Age of AI.
IEEE Intelligent Systems, 2017

FairJudge: Trustworthy User Prediction in Rating Platforms.
CoRR, 2017

An Army of Me: Sockpuppets in Online Discussion Communities.
CoRR, 2017

An Army of Me: Sockpuppets in Online Discussion Communities.
Proceedings of the 26th International Conference on World Wide Web, 2017

MC3: A Multi-class Consensus Classification Framework.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

2016
Using temporal probabilistic logic for optimal monitoring of security events with limited resources.
Journal of Computer Security, 2016

The DARPA Twitter Bot Challenge.
CoRR, 2016

Ensemble-Based Algorithms to Detect Disjoint and Overlapping Communities in Networks.
CoRR, 2016

The DARPA Twitter Bot Challenge.
IEEE Computer, 2016

Diffusion centrality: A paradigm to maximize spread in social networks.
Artif. Intell., 2016

Ensemble Models for Data-driven Prediction of Malware Infections.
Proceedings of the Ninth ACM International Conference on Web Search and Data Mining, 2016

ChoiceGAPs: Competitive Diffusion as a Massive Multi-player Game in Social Networks.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

Metric Logic Program Explanations for Complex Separator Functions.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

MAP: Frequency-Based Maximization of Airline Profits based on an Ensemble Forecasting Approach.
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Edge Weight Prediction in Weighted Signed Networks.
Proceedings of the IEEE 16th International Conference on Data Mining, 2016

ASONAM 2016 panel: Social network analysis for social good.
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

Tutorial: Identifying Malicious Actors on Social Media.
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

Ensemble-based algorithms to detect disjoint and overlapping communities in networks.
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

2015
Automated Generation of Counterterrorism Policies Using Multiexpert Input.
ACM TIST, 2015

Pareto-Optimal Adversarial Defense of Enterprise Systems.
ACM Trans. Inf. Syst. Secur., 2015

APE: A Data-Driven, Behavioral Model-Based Anti-Poaching Engine.
IEEE Trans. Comput. Social Systems, 2015

Saving Rhinos with Predictive Analytics.
IEEE Intelligent Systems, 2015

Using Twitter Sentiment to Forecast the 2013 Pakistani Election and the 2014 Indian Election.
IEEE Intelligent Systems, 2015

VEWS: A Wikipedia Vandal Early Warning System.
CoRR, 2015

VEWS: A Wikipedia Vandal Early Warning System.
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

SPINN: Suspicion prediction in nuclear networks.
Proceedings of the 2015 IEEE International Conference on Intelligence and Security Informatics, 2015

The Global Cyber-Vulnerability Report
Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-25760-0, 2015

Multimedia Social Networks for Cultural Heritage Applications: The GIVAS Project.
Proceedings of the Data Management in Pervasive Systems, 2015

2014
Data-driven Generation of Policies
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4939-0273-6, 2014

Recognizing Unexplained Behavior in Network Traffic.
Proceedings of the Network Science and Cybersecurity, 2014

Scaling Subgraph Matching Queries in Huge Networks.
Encyclopedia of Social Network Analysis and Mining, 2014

Efficient Multiview Maintenance under Insertion in Huge Social Networks.
TWEB, 2014

PADUA: Parallel Architecture to Detect Unexplained Activities.
ACM Trans. Internet Techn., 2014

Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.
ACM Trans. Comput. Log., 2014

PASS: A Parallel Activity-Search System.
IEEE Trans. Knowl. Data Eng., 2014

Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data.
IEEE Trans. Knowl. Data Eng., 2014

A Survey of Quantitative Models of Terror Group Behavior and an Analysis of Strategic Disclosure of Behavioral Models.
IEEE Trans. Comput. Social Systems, 2014

Behavioral Analysis of Insider Threat: A Survey and Bootstrapped Prediction in Imbalanced Data.
IEEE Trans. Comput. Social Systems, 2014

STUN: querying spatio-temporal uncertain (social) networks.
Social Netw. Analys. Mining, 2014

Policy-based inconsistency management in relational databases.
Int. J. Approx. Reasoning, 2014

Behavior Informatics: A New Perspective.
IEEE Intelligent Systems, 2014

ChoiceGAPs: Competitive Diffusion as a Massive Multi-Player Game in Social Networks.
CoRR, 2014

Reshaping terrorist networks.
Commun. ACM, 2014

Fast influence-based coarsening for large networks.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Forecasting Country Stability in North Africa.
Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014

Understanding South Asian Violent Extremist Group-group interactions.
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

Accurately detecting trolls in Slashdot Zoo via decluttering.
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

Using sentiment to detect bots on Twitter: Are humans more opinionated than bots?
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

2013
Research in Probabilistic Spatiotemporal Databases: The SPOT Framework.
Proceedings of the Advances in Probabilistic Databases for Uncertain Information Management, 2013

A General Framework for Reasoning On Inconsistency.
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-6750-2, 2013

Parallel Abductive Query Answering in Probabilistic Logic Programs.
ACM Trans. Comput. Log., 2013

Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems.
ACM Trans. Comput. Log., 2013

Customized Policies for Handling Partial Information in Relational Databases.
IEEE Trans. Knowl. Data Eng., 2013

Fast Activity Detection: Indexing for Temporal Stochastic Automaton-Based Activity Models.
IEEE Trans. Knowl. Data Eng., 2013

Betweenness computation in the single graph representation of hypergraphs.
Social Networks, 2013

A temporal database forecasting algebra.
Int. J. Approx. Reasoning, 2013

Non-monotonic Negation in Probabilistic Deductive Databases
CoRR, 2013

Empirical Probabilities in Monadic Deductive Databases
CoRR, 2013

Geospatial Optimization Problems
CoRR, 2013

Hybrid Probabilistic Programs: Algorithms and Complexity
CoRR, 2013

SMAC: Subgraph Matching and Centrality in Huge Social Networks.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Personalized Best Answer Computation in Graph Databases.
Proceedings of the Semantic Web - ISWC 2013, 2013

Geospatial optimization problems.
Proceedings of the 2nd IEEE Network Science Workshop, 2013

STONE: shaping terrorist organizational network efficiency.
Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

PREVE: a policy recommendation engine based on vector equilibria applied to reducing LeT's attacks.
Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Indian Mujahideen - Computational Analysis and Public Policy.
Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-02817-0, 2013

2012
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation.
ACM Trans. Comput. Log., 2012

Adversarial Geospatial Abduction Problems.
ACM TIST, 2012

Focused most probable world computations in probabilistic logic programs.
Ann. Math. Artif. Intell., 2012

Efficient multi-view maintenance in the social semantic web.
Proceedings of the 21st World Wide Web Conference, 2012

Privacy Preservation Using Multi-context Systems and Default Logic.
Proceedings of the Correct Reasoning, 2012

Covertness Centrality in Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

STUN: Spatio-Temporal Uncertain (Social) Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

Diffusion Centrality in Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011
Region-Based Geospatial Abduction with Counter-IED Applications.
Proceedings of the Counterterrorism and Open Source Intelligence, 2011

Annotated probabilistic temporal logic.
ACM Trans. Comput. Log., 2011

GAPs: Geospatial Abduction Problems.
ACM TIST, 2011

Embedding Forecast Operators in Databases.
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Finding "Unexplained" Activities in Video.
Proceedings of the IJCAI 2011, 2011

Abduction in Annotated Probabilistic Temporal Logic.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

A budget-based algorithm for efficient subgraph matching on Huge Networks.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Abductive Inference for Combat: Using SCARE-S2 to Find High-Value Targets in Afghanistan.
Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

Scalable Analysis of Attack Scenarios.
Proceedings of the Computer Security - ESORICS 2011, 2011

A Computationally-Enabled Analysis of Lashkar-e-Taiba Attacks in Jammu and Kashmir.
Proceedings of the European Intelligence and Security Informatics Conference, 2011

Dealing with Lashkar-e-Taiba: A Multi-player Game-Theoretic Perspective.
Proceedings of the European Intelligence and Security Informatics Conference, 2011

Approximate Achievability in Event Databases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Scalable Detection of Cyber Attacks.
Proceedings of the Computer Information Systems - Analysis and Technologies, 2011

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Probabilistic Subgraph Matching on Huge Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011

2010
Scaling Cautious Selection in Spatial Probabilistic Temporal Databases.
Proceedings of the Methods for Handling Imperfect Spatial Information, 2010

Semantic Video Content Analysis.
Proceedings of the Video Search and Mining, 2010

Annotated RDF.
ACM Trans. Comput. Log., 2010

PADS: A Probabilistic Activity Detection Framework for Video Data.
IEEE Trans. Pattern Anal. Mach. Intell., 2010

An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.
Artif. Intell., 2010

Cost-Based Query Answering in Action Probabilistic Logic Programs.
Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases.
Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

A Scalable Framework for Modeling Competitive Diffusion in Social Networks.
Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Abductive Inference in Probabilistic Logic Programs.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Using Generalized Annotated Programs to Solve Social Network Optimization Problems.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

A graph-theoretic approach to protect static and moving targets from adversaries.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

COSI: Cloud Oriented Subgraph Identification in Massive Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2010

2009
Multimedia Presentation Databases.
Proceedings of the Encyclopedia of Database Systems, 2009

Probabilistic Temporal Databases.
Proceedings of the Encyclopedia of Database Systems, 2009

SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases.
IEEE Trans. Knowl. Data Eng., 2009

Mining Online Opinions.
IEEE Computer, 2009

Computing the fault tolerance of multi-agent deployment.
Artif. Intell., 2009

Fast and Accurate Prediction of the Destination of Moving Objects.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

DOGMA: A Disk-Oriented Graph Matching Algorithm for RDF Databases.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Using Histograms to Better Answer Queries to Probabilistic Logic Programs.
Proceedings of the Logic Programming, 25th International Conference, 2009

Aggregate Query Answering under Uncertain Schema Mappings.
Proceedings of the 25th International Conference on Data Engineering, 2009

2008
Video Databases.
Proceedings of the Encyclopedia of Multimedia, 2nd Ed., 2008

Video Summarization.
Proceedings of the Encyclopedia of Multimedia, 2nd Ed., 2008

A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video.
IEEE Trans. Multimedia, 2008

A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video.
IEEE Trans. Multimedia, 2008

Machine Recognition of Human Activities: A Survey.
IEEE Trans. Circuits Syst. Video Techn., 2008

AVA: Adjective-Verb-Adverb Combinations for Sentiment Analysis.
IEEE Intelligent Systems, 2008

CONVEX: Similarity-Based Algorithms for Forecasting Group Behavior.
IEEE Intelligent Systems, 2008

Scaling RDF with time.
Proceedings of the 17th International Conference on World Wide Web, 2008

Scaling Most Probable World Computations in Probabilistic Logic Programs.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Inconsistency Management Policies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Probabilistic interval XML.
ACM Trans. Comput. Log., 2007

A Logical Formulation of Probabilistic Spatial Databases.
IEEE Trans. Knowl. Data Eng., 2007

Story creation from heterogeneous data sources.
Multimedia Tools Appl., 2007

CARA: A Cultural-Reasoning Architecture.
IEEE Intelligent Systems, 2007

Preface.
Ann. Math. Artif. Intell., 2007

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds.
Ann. Math. Artif. Intell., 2007

Aggregates in Generalized Temporally Indeterminate Databases.
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Finding Most Probable Worlds of Probabilistic Logic Programs.
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

MAGIC: A Multi-Activity Graph Index for Activity Detection.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

A General Framework for Reasoning about Inconsistency.
Proceedings of the IJCAI 2007, 2007

Probabilistic Go Theories.
Proceedings of the IJCAI 2007, 2007

Detecting Stochastically Scheduled Activities in Video.
Proceedings of the IJCAI 2007, 2007

The OASYS 2.0 Opinion Analysis System.
Proceedings of the First International Conference on Weblogs and Social Media, 2007

Sentiment Analysis: Adjectives and Adverbs are Better than Adjectives Alone.
Proceedings of the First International Conference on Weblogs and Social Media, 2007

How Dirty Is Your Relational Database? An Axiomatic Approach.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

GRIN: A Graph Based RDF Index.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Video Databases.
Proceedings of the Encyclopedia of Multimedia, 2006

Video Summarization.
Proceedings of the Encyclopedia of Multimedia, 2006

Heterogeneous temporal probabilistic agents.
ACM Trans. Comput. Log., 2006

The priority curve algorithm for video summarization.
Inf. Syst., 2006

ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Probabilistic RDF.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Annotated RDF.
Proceedings of the Semantic Web: Research and Applications, 2006

A stochastic language for modelling opponent agents.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Opinion Analysis in Document Databases.
Proceedings of the Computational Approaches to Analyzing Weblogs, 2006

Overconfidence or Paranoia? Search in Imperfect-Information Games.
Proceedings of the Proceedings, 2006

2005
The CPR Model for Summarizing Video.
Multimedia Tools Appl., 2005

Aggregate operators in probabilistic databases.
J. ACM, 2005

Probabilistic Ontologies and Relational Databases.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

The Relationship Between Reasoning About Privacy and Default Logics.
Proceedings of the Logic for Programming, 2005

A Motion Closed World Asumption.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Going Far, Logically.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Game-Tree Search with Combinatorially Large Belief States.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

RDF Aggregate Queries and Views.
Proceedings of the 21st International Conference on Data Engineering, 2005

Optimal status sets of heterogeneous agent programs.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Graph Theoretical Foundation for Integrating RDF Ontologies.
Proceedings of the Proceedings, 2005

2004
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng., 2004

Introduction.
Multimedia Tools Appl., 2004

An Algebra for PowerPoint Sources.
Multimedia Tools Appl., 2004

Improving Performance of Heterogeneous Agents.
Ann. Math. Artif. Intell., 2004

TOSS: An Extension of TAX with Ontologies and Similarity Queries.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

The priority curve algorithm for video summarization.
Proceedings of the Second ACM International Workshop on Multimedia Databases, 2004

Optimizing Selection and Mixing in Audio Databases.
Proceedings of the MIS 2004, 2004

A Logic of Motion.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Plan Databases: Model and Algebra.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Utilizing Volatile External Information During Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Distributed Algorithms for Dynamic Survivability of Multiagent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003
Temporal Probabilistic Object Bases.
IEEE Trans. Knowl. Data Eng., 2003

A Deductive Database Approach to A.I. Planning.
J. Intell. Inf. Syst., 2003

Secure Agents.
Ann. Math. Artif. Intell., 2003

The CPR model for summarizing video.
Proceedings of the First ACM International Workshop on Multimedia Databases, 2003

An Ontology-Extended Relational Algebra.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Probabilistically Survivable MASs.
Proceedings of the IJCAI-03, 2003

Probabilistic Interval XML.
Proceedings of the Database Theory, 2003

PXML: A Probabilistic Semistructured Data Model and Algebra.
Proceedings of the 19th International Conference on Data Engineering, 2003

First order heterogeneous agent computations.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Presentation Planning for Distributed VoD Systems.
IEEE Trans. Knowl. Data Eng., 2002

An Algebra for PowerPoint Sources.
Proceedings of the MIS 2002, International Workshop on Multimedia Information Systems, October 10, 2002

Probabilistic Aggregates.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Error-Tolerant Agents.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Agents dealing with time and uncertainty.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Provisional Authorizations.
Proceedings of the E-Commerce Security and Privacy, 2001

Flexible support for multiple access control policies.
ACM Trans. Database Syst., 2001

Probabilistic object bases.
ACM Trans. Database Syst., 2001

Probabilistic temporal databases, I: algebra.
ACM Trans. Database Syst., 2001

Temporal agent programs.
Artif. Intell., 2001

Optimal Agent Selection.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Partitioning Activities for Agents.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Probabilistic Databases and Logic Programming.
Proceedings of the Logic Programming, 17th International Conference, 2001

2000
View Management in Multimedia Databases.
VLDB J., 2000

Probabilistic agent programs.
ACM Trans. Comput. Log., 2000

Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers.
IEEE Trans. Knowl. Data Eng., 2000

Applications Of Paraconsistency In Data And Knowledge Bases.
Synthese, 2000

An algebra for creating and querying multimedia presentations.
Multimedia Syst., 2000

Guest Editor's Introduction: Logic-based Heterogeneous Information Systems.
J. Log. Program., 2000

Meta-agent programs.
J. Log. Program., 2000

Hybrid Probabilistic Programs.
J. Log. Program., 2000

IMPACT: A System for Building Agent Applications.
J. Intell. Inf. Syst., 2000

Improving Performance of heavily loaded agents
CoRR, 2000

Foundations of distributed interaction systems.
Ann. Math. Artif. Intell., 2000

Heterogeneous active agents, III: Polynomially implementable agents.
Artif. Intell., 2000

Heterogenous Active Agents
MIT Press, ISBN: 0-262-19436-8, 2000

1999
Nonmonotonic Logic Programming.
IEEE Trans. Knowl. Data Eng., 1999

Probabilistic Agent Programs
CoRR, 1999

Heterogeneous Active Agents, I: Semantics.
Artif. Intell., 1999

Heterogeneous Active Agents, II: Algorithms and Complexity.
Artif. Intell., 1999

Hybrid Probabilistic Programs: Algorithms and Complexity.
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

A Multimedia Presentation Algebra.
Proceedings of the SIGMOD 1999, 1999

Finite Graph Algebras for Querying Interactive Multimedia Presentation Databases.
Proceedings of the MIS '99, 1999

Heterogenous Agent systems (Extended Abstract).
Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

Temporal Probabilistic Logic Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
Collaborative Multimedia Systems: Synthesis of Media Objects.
IEEE Trans. Knowl. Data Eng., 1998

Handling Updates and Crashes in VoD Systems.
Multimedia Tools Appl., 1998

Retrieval Schedules Based on Resource Availability and Flexible Presentation Specifications.
Multimedia Syst., 1998

An Event-Based Model for Continous Media Data on Heterogeneous Disk Servers.
Multimedia Syst., 1998

Collaborative multimedia documents: Authoring and presentation.
Int. J. Intell. Syst., 1998

A First-Order Representation of Stable Models.
AI Commun., 1998

A Multi-Similarity Algebra.
Proceedings of the SIGMOD 1998, 1998

Management and Rendering of Multimedia Views.
Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

IMPACT: The Interactive Maryland Platform for Agents Collaborating Together.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Distributed Video Presentations.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Deontic Action Programs.
Proceedings of the Fundamentals of Information Systems, 1998

Multimedia Query and Presentation Algebras (Abstract).
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Data-Security in Heterogeneous Agent Systems.
Proceedings of the Cooperative Information Agents II, 1998

Principles of Multimedia Database Systems
Morgan Kaufmann, ISBN: 1-55860-466-9, 1998

1997
ProbView: A Flexible Probabilistic Database System.
ACM Trans. Database Syst., 1997

Annotated Nonmonotonic Rule Systems.
Theor. Comput. Sci., 1997

Merging Heterogeneous Security Orderings.
Journal of Computer Security, 1997

A Unified Treatment of Null Values Using Constraints.
Inf. Sci., 1997

Non-determinism in Deductive Databases - Preface.
Ann. Math. Artif. Intell., 1997

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.
Ann. Math. Artif. Intell., 1997

A Logical Language for Expressing Authorizations.
Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

A Unified Framework for Enforcing Multiple Access Control Policies.
Proceedings of the SIGMOD 1997, 1997

Computing Non-Ground Representations of Stable Models.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Hybrid Probabilistic Programs.
Proceedings of the Logic Programming, 1997

Advanced Database Systems.
Morgan Kaufmann, ISBN: 1-55860-443-X, 1997

1996
Implementing Deductive Databases by Mixed Integer Programming.
ACM Trans. Database Syst., 1996

Hybrid Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1996

Computing Minimal Models by Partial Instantiation.
Theor. Comput. Sci., 1996

A Non-Ground Realization of the Stable and Well-Founded Semantics.
Theor. Comput. Sci., 1996

The Advanced Video Information System: Data Structures and Query Processing.
Multimedia Syst., 1996

Querying Video Libraries*.
J. Visual Communication and Image Representation, 1996

Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing.
J. Log. Program., 1996

Foundations of Multimedia Database Systems.
J. ACM, 1996

Tactical Route Planning: New Algorithms for Decomposing the Map.
International Journal on Artificial Intelligence Tools, 1996

Query Caching and Optimization in Distributed Mediator Systems.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Foundation of Multimedia Information Systems (Abstract).
Proceedings of the Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), 1996

CHIMP: A Framework for Supporting Distributed Multimedia Document Authoring and Presentation.
Proceedings of the Forth ACM International Conference on Multimedia '96, 1996

A Deductive Database Approach to Planning in Uncertain Environments.
Proceedings of the Logic in Databases, 1996

Towards a Theory of Collaborative Multimedia.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996

What's in a WWW Link? - Panel.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Secure Mediated Databases.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Merging Heterogeneous Security Orderings.
Proceedings of the Computer Security, 1996

The PARK Semantics for Active Rules.
Proceedings of the Advances in Database Technology, 1996

Smart Mediators and Intelligent Agents (Panel).
Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

Towards a Theory of Multimedia Database Systems.
Multimedia Database System: Issues and Research Direction, 1996

1995
Computing Circumscriptive Databases: I. Theory and Algorithms
Inf. Comput., January, 1995

WFS + Branch and Bound = Stable Models.
IEEE Trans. Knowl. Data Eng., 1995

Reasoning in Inconsistent Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1995

Foundations of Secure Deductive Databases.
IEEE Trans. Knowl. Data Eng., 1995

Combining Databases with Prioritized Information.
J. Intell. Inf. Syst., 1995

Temporal Modules: An Approach Toward Federated Temporal Databases.
Inf. Sci., 1995

Multiagent reasoning with probability, time, and beliefs.
Int. J. Intell. Syst., 1995

Heterogeneous Multimedia Reasoning.
IEEE Computer, 1995

Complexity, Decidability and Undecidability Results for Domain-Independent Planning.
Artif. Intell., 1995

The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases.
Acta Cybern., 1995

Efficient Maintenance of Materialized Mediated Views.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Tactical route planning: new algorithms for decomposing the map.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Relating Stable Models and AI Planning Domains.
Proceedings of the Logic Programming, 1995

1994
Stable Semantics for Probabilistic Deductive Databases
Inf. Comput., April, 1994

Amalgamating Knowledge Bases.
ACM Trans. Database Syst., 1994

Introduction.
Meth. of Logic in CS, 1994

Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.
J. ACM, 1994

Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst., 1994

Amalgamating Knowledge Bases, II: Distributed Mediators.
Int. J. Cooperative Inf. Syst., 1994

Computing Definite Logic Programs by Partial Instantiation.
Ann. Pure Appl. Logic, 1994

Meta-languages, reflection principles, and self-reference.
Proceedings of the Handbook of Logic in Artificial Intelligence and Logic Programming, 1994

1993
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases.
J. Autom. Reasoning, 1993

Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.
J. Autom. Reasoning, 1993

Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning.
J. Autom. Reasoning, 1993

Disjunctive LP + Integrity Constraints = Stable Model Semantics.
Ann. Math. Artif. Intell., 1993

Temporal Modules: An Approach Toward Federated Temporal Databases.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Maintaining Views Incrementally.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Implementing Stable Semantics by Linear Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Hybrid Knowledge Bases for Intelligent Reasoning Systems.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Probabilistic Logic Programming
Inf. Comput., December, 1992

Paraconsistent Disjunctive Deductive Databases.
Theor. Comput. Sci., 1992

The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.
Theor. Comput. Sci., 1992

Theory of Generalized Annotated Logic Programming and its Applications.
J. Log. Program., 1992

Stable and Extension Class Theory for Logic Programs and Default Logics.
J. Autom. Reasoning, 1992

Relating Minimal Models and Pre-Requisite-Free Normal Defaults.
Inf. Process. Lett., 1992

Combining Knowledge Bases Consisting of First-Order Analysis.
Computational Intelligence, 1992

Empirical Probabilities in Monadic Deductive Databases.
Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

Implementing Deductive Databases by Linear Programming.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Declarative Foundations of Secure Deductive Databases.
Proceedings of the Database Theory, 1992

On the Complexity of Domain-Independent Planning.
Proceedings of the 10th National Conference on Artificial Intelligence. San Jose, 1992

1991
A Petri Net Model for Reasoning in the Presence of Inconsistency.
IEEE Trans. Knowl. Data Eng., 1991

The Paraconsistent Logics PJ.
Math. Log. Q., 1991

Non-Monotonic Negation in Probabilistic Deductive Databases.
Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

Relating Dempster-Shafer Theory to Stable Semantics.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Stable Model Semantics for Probabilistic Deductive Databases.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases.
Proceedings of the Logic Programming, 1991

Reasoning in Paraconsistent Logics.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990
Protected Completions of First-Order General Logic Programs.
J. Autom. Reasoning, 1990

Generalized Closed World Assumptions is Pi^0_2-Complete.
Inf. Process. Lett., 1990

Errata: A Ring-Theoretic Basis for Logic Programming.
Int. J. Found. Comput. Sci., 1990

A Ring-Theoretic Basis for Logic Programming.
Int. J. Found. Comput. Sci., 1990

Paraconsistent Disjunctive Deductive Databases.
Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Paraconsistent Logic Programming.
Theor. Comput. Sci., 1989

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.
Artificial Intelligence in Medicine, 1989

The Query Topology in Logic Programming.
Proceedings of the STACS 89, 1989

On the Expressive Power of Annotated Logic Programs.
Proceedings of the Logic Programming, 1989

And-Or Graphs Applied to RUE Resolution.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.
Proceedings of the Logic Programming, 1989

Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988
Review of Reasoning About Change.
AI Magazine, 1988

A Simple Formulation of the Theory of Metalogic Programming.
META, 1988

Intuitive Semantics for Quantitative Rule Sets.
Proceedings of the Logic Programming, 1988

Semantical Equivalences of (Non-Classical) Logic Programs.
Proceedings of the Logic Programming, 1988

QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Query Processing in Quantitative Logic Programming.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
On the Semantics of Quantitative Logic Programs.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Paraconsistent Logic Programming.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987


  Loading...