V. S. Subrahmanian

Venkatramanan Siva Subrahmanian

IEEE Trans. Dependable Secur. Comput., 2023

Computing Optimal Nash Equilibria in Multiplayer Games.

[BibT_eX]

[DOI]

Youzhi Zhang

Bo An

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Finding Optimal Nash Equilibria in Multiplayer Games via Correlation Plans.

[BibT_eX]

[DOI]

Youzhi Zhang

Bo An

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

PCAM: A Data-driven Probabilistic Cyber-alert Management Framework.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2022

Generating Realistic Fake Equations in Order to Reduce Intellectual Property Theft.

[BibT_eX]

[DOI]

Yanhai Xiong

Giridhar Ramachandran

Rajesh Ganesan

IEEE Trans. Dependable Secur. Comput., 2022

Generating Fake Documents Using Probabilistic Logic Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games.

[BibT_eX]

[DOI]

Youzhi Zhang

Bo An

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

POLLY: A Multimodal Cross-Cultural Context-Sensitive Framework to Predict Political Lying from Videos.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Multimodal Interaction, 2022

A New Dynamically Changing Attack on Review Fraud Systems and a Dynamically Changing Ensemble Defense.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2021

Using Word Embeddings to Deter Intellectual Property Theft through Automated Generation of Fake Documents.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2021

$\sf {DBank}$DBank: Predictive Behavioral Analysis of Recent Android Banking Trojans.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

A Fake Online Repository Generation Engine for Cyber Deception.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

STAR: Summarizing Timed Association Rules.

[BibT_eX]

[DOI]

Trans. Data Sci., 2021

VEST: An Early Warning System for Future Cyber-Attacks.

[BibT_eX]

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Deception Detection in Group Video Conversations using Dynamic Interaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International AAAI Conference on Web and Social Media, 2021

Randomized Generation of Adversary-aware Fake Knowledge Graphs to Combat Intellectual Property Theft.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

A Machine Learning Based Model of Boko Haram

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-030-60613-8, 2021

2020

A Data-driven Characterization of Modern Android Spyware.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2020

STARS: Defending against Sockpuppet-Based Targeted Attacks on Reviewing Systems.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2020

Android Malware Detection via (Somewhat) Robust Irreversible Feature Transformations.

[BibT_eX]

[DOI]

Qian Han

Yanhai Xiong

IEEE Trans. Inf. Forensics Secur., 2020

EC2: Ensemble Clustering and Classification for Predicting Android Malware Families.

[BibT_eX]

[DOI]

Fabio Pierazzi

Mohammad Taghi Hajiaghayi

IEEE Trans. Dependable Secur. Comput., 2020

Ensemble Detection and Analysis of Communities in Complex Networks.

[BibT_eX]

[DOI]

Trans. Data Sci., 2020

PIE: A Data-Driven Payoff Inference Engine for Strategic Security Applications.

[BibT_eX]

[DOI]

Haipeng Chen

IEEE Trans. Comput. Soc. Syst., 2020

Understanding Shifting Triadic Relationships in the Al-Qaeda/ISIS Faction Ecosystem.

[BibT_eX]

[DOI]

Daniele Bellutta

Youdinghuan Chen

Daveed Gartenstein-Ross

Chiara Pulice

Anja Subasic

IEEE Trans. Comput. Soc. Syst., 2020

Disclose or Exploit? A Game-Theoretic Approach to Strategic Decision Making in Cyber-Warfare.

[BibT_eX]

[DOI]

IEEE Syst. J., 2020

The Future of AI: AI's 10 To Watch.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2020

Top-k user-specified preferred answers in massive graph databases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2020

BB_Evac: Fast Location-Sensitive Behavior-Based Building Evacuation.

[BibT_eX]

[DOI]

CoRR, 2020

2019

BEEF: Balanced English Explanations of Forecasts.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2019

C2P2: A Collective Cryptocurrency Up/Down Price Prediction Engine.

[BibT_eX]

[DOI]

CoRR, 2019

Using Twitter to Predict When Vulnerabilities will be Exploited.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

VEST: A System for Vulnerability Exploit Scoring & Timing.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

FakeTables: Using GANs to Generate Functional Dependency Preserving Tables with Bounded Real Data.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Predicting the Visual Focus of Attention in Multi-Person Discussion Videos.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Predicting dominance in multi-person videos.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Automatic Long-Term Deception Detection in Group Interaction Videos.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2019

VASE: A Twitter-Based Vulnerability Analysis and Score Engine.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Data Mining, 2019

Logic, Machine Learning, and Security.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

Attention-based Facial Behavior Analytics inSocial Communication.

[BibT_eX]

[DOI]

Proceedings of the 30th British Machine Vision Conference 2019, 2019

C2P2: A Collective Cryptocurrency Up/Down Price Prediction Engine.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain, 2019

2018

Scaling Subgraph Matching Queries in Huge Networks.

[BibT_eX]

[DOI]

Matthias Brücheler

Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Multimedia Presentation Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Probabilistic Temporal Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Top-k User-Defined Vertex Scoring Queries in Edge-Labeled Graph Databases.

[BibT_eX]

[DOI]

ACM Trans. Web, 2018

SHARE: A Stackelberg Honey-Based Adversarial Reasoning Engine.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

MALTP: Parallel Prediction of Malicious Tweets.

[BibT_eX]

[DOI]

Eric Lancaster

IEEE Trans. Comput. Soc. Syst., 2018

Hybrid adversarial defense: Merging honeypots and traditional security methods.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

REV2: Fraudulent User Prediction in Rating Platforms.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining, 2018

ParSocial 2018 Keynote.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Understanding Multi-Stage, Multi-Modal, Multimedia Events in Social Media.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Workshop on Social Sensing, 2018

Breaking Bad: Forecasting Adversarial Android Bad Behavior.

[BibT_eX]

[DOI]

Proceedings of the From Database to Cyber Security, 2018

Deception Detection in Videos.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Computer-Aided Human Centric Cyber Situation Awareness.

[BibT_eX]

[DOI]

Nancy J. Cooke

González Coty

David Hall

Christopher G. Healey

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.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2017

Data-Driven Frequency-Based Airline Profit Maximization.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2017

A Probabilistic Logic of Cyber Deception.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

The Golden Age of AI.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2017

FairJudge: Trustworthy User Prediction in Rating Platforms.

[BibT_eX]

[DOI]

CoRR, 2017

An Army of Me: Sockpuppets in Online Discussion Communities.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on World Wide Web, 2017

MC3: A Multi-class Consensus Classification Framework.

[BibT_eX]

[DOI]

Des Chandhok

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.

[BibT_eX]

[DOI]

J. Comput. Secur., 2016

The DARPA Twitter Bot Challenge.

[BibT_eX]

[DOI]

CoRR, 2016

The DARPA Twitter Bot Challenge.

[BibT_eX]

[DOI]

Computer, 2016

Diffusion centrality: A paradigm to maximize spread in social networks.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Ensemble Models for Data-driven Prediction of Malware Infections.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Edoardo Serra

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

Metric Logic Program Explanations for Complex Separator Functions.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

MAP: Frequency-Based Maximization of Airline Profits based on an Ensemble Forecasting Approach.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Edge Weight Prediction in Weighted Signed Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th International Conference on Data Mining, 2016

ASONAM 2016 panel: Social network analysis for social good.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

Tutorial: Identifying Malicious Actors on Social Media.

[BibT_eX]

[DOI]

Srijan Kumar

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.

[BibT_eX]

[DOI]

Noseong Park

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.

[BibT_eX]

[DOI]

Anshul Sawant

Mohammad Taghi Hajiaghayi

ACM Trans. Intell. Syst. Technol., 2015

Pareto-Optimal Adversarial Defense of Enterprise Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2015

APE: A Data-Driven, Behavioral Model-Based Anti-Poaching Engine.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2015

Saving Rhinos with Predictive Analytics.

[BibT_eX]

[DOI]

Noseong Park

Edoardo Serra

IEEE Intell. Syst., 2015

Using Twitter Sentiment to Forecast the 2013 Pakistani Election and the 2014 Indian Election.

[BibT_eX]

[DOI]

Andrew Stevens

IEEE Intell. Syst., 2015

VEWS: A Wikipedia Vandal Early Warning System.

[BibT_eX]

[DOI]

Srijan Kumar

Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

SPINN: Suspicion prediction in nuclear networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Intelligence and Security Informatics, 2015

The Global Cyber-Vulnerability Report

[BibT_eX]

[DOI]

Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-25760-0, 2015

Multimedia Social Networks for Cultural Heritage Applications: The GIVAS Project.

[BibT_eX]

[DOI]

Vincenzo Moscato

Proceedings of the Data Management in Pervasive Systems, 2015

2014

Data-driven Generation of Policies

[BibT_eX]

[DOI]

Springer Briefs in Computer Science, Springer, ISBN: 978-1-4939-0273-6, 2014

Recognizing Unexplained Behavior in Network Traffic.

[BibT_eX]

[DOI]

Proceedings of the Network Science and Cybersecurity, 2014

Scaling Subgraph Matching Queries in Huge Networks.

[BibT_eX]

[DOI]

Encyclopedia of Social Network Analysis and Mining, 2014

Efficient Multiview Maintenance under Insertion in Huge Social Networks.

[BibT_eX]

[DOI]

ACM Trans. Web, 2014

PADUA: Parallel Architecture to Detect Unexplained Activities.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2014

Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

PASS: A Parallel Activity-Search System.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2014

Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2014

A Survey of Quantitative Models of Terror Group Behavior and an Analysis of Strategic Disclosure of Behavioral Models.

[BibT_eX]

[DOI]

Edoardo Serra

IEEE Trans. Comput. Soc. Syst., 2014

Behavioral Analysis of Insider Threat: A Survey and Bootstrapped Prediction in Imbalanced Data.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2014

STUN: querying spatio-temporal uncertain (social) networks.

[BibT_eX]

[DOI]

Soc. Netw. Anal. Min., 2014

Policy-based inconsistency management in relational databases.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Behavior Informatics: A New Perspective.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2014

Reshaping terrorist networks.

[BibT_eX]

[DOI]

Aaron Mannes

Commun. ACM, 2014

Fast influence-based coarsening for large networks.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Forecasting Country Stability in North Africa.

[BibT_eX]

[DOI]

Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014

Understanding South Asian Violent Extremist Group-group interactions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Srijan Kumar

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?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Francesco Parisi

Proceedings of the Advances in Probabilistic Databases for Uncertain Information Management, 2013

A General Framework for Reasoning On Inconsistency.

[BibT_eX]

[DOI]

Leila Amgoud

Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-6750-2, 2013

Parallel Abductive Query Answering in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Customized Policies for Handling Partial Information in Relational Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Fast Activity Detection: Indexing for Temporal Stochastic Automaton-Based Activity Models.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Betweenness computation in the single graph representation of hypergraphs.

[BibT_eX]

[DOI]

Rami Puzis

Manish Purohit

Soc. Networks, 2013

A temporal database forecasting algebra.

[BibT_eX]

[DOI]

Francesco Parisi

Int. J. Approx. Reason., 2013

SMAC: Subgraph Matching and Centrality in Huge Social Networks.

[BibT_eX]

[DOI]

Noseong Park

Michael Ovelgönne

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Personalized Best Answer Computation in Graph Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Geospatial optimization problems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Network Science Workshop, 2013

STONE: shaping terrorist organizational network efficiency.

[BibT_eX]

[DOI]

Aaron Mannes

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.

[BibT_eX]

[DOI]

Mohammad Taghi Hajiaghayi

Anshul Sawant

Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Indian Mujahideen - Computational Analysis and Public Policy.

[BibT_eX]

[DOI]

Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-02817-0, 2013

2012

Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2012

Adversarial Geospatial Abduction Problems.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2012

Focused most probable world computations in probabilistic logic programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2012

Efficient multi-view maintenance in the social semantic web.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

Privacy Preservation Using Multi-context Systems and Default Logic.

[BibT_eX]

[DOI]

Wolfgang Faber

Proceedings of the Correct Reasoning, 2012

Covertness Centrality in Networks.

[BibT_eX]

[DOI]

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

STUN: Spatio-Temporal Uncertain (Social) Networks.

[BibT_eX]

[DOI]

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

Diffusion Centrality in Social Networks.

[BibT_eX]

[DOI]

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

2011

Region-Based Geospatial Abduction with Counter-IED Applications.

[BibT_eX]

[DOI]

Proceedings of the Counterterrorism and Open Source Intelligence, 2011

Annotated probabilistic temporal logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

GAPs: Geospatial Abduction Problems.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2011

Embedding Forecast Operators in Databases.

[BibT_eX]

[DOI]

Francesco Parisi

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Finding "Unexplained" Activities in Video.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Abduction in Annotated Probabilistic Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

Scalable Analysis of Attack Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

A Computationally-Enabled Analysis of Lashkar-e-Taiba Attacks in Jammu and Kashmir.

[BibT_eX]

[DOI]

Proceedings of the European Intelligence and Security Informatics Conference, 2011

Dealing with Lashkar-e-Taiba: A Multi-player Game-Theoretic Perspective.

[BibT_eX]

[DOI]

Aaron Mannes

Proceedings of the European Intelligence and Security Informatics Conference, 2011

Approximate Achievability in Event Databases.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Scalable Detection of Cyber Attacks.

[BibT_eX]

[DOI]

Proceedings of the Computer Information Systems - Analysis and Technologies, 2011

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Probabilistic Subgraph Matching on Huge Social Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011

2010

Scaling Cautious Selection in Spatial Probabilistic Temporal Databases.

[BibT_eX]

[DOI]

Proceedings of the Methods for Handling Imperfect Spatial Information, 2010

Semantic Video Content Analysis.

[BibT_eX]

[DOI]

Proceedings of the Video Search and Mining, 2010

Annotated RDF.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

PADS: A Probabilistic Activity Detection Framework for Video Data.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2010

An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Cost-Based Query Answering in Action Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

A Scalable Framework for Modeling Competitive Diffusion in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Abductive Inference in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Using Generalized Annotated Programs to Solve Social Network Optimization Problems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

COSI: Cloud Oriented Subgraph Identification in Massive Social Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2010

2009

Multimedia Presentation Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Probabilistic Temporal Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2009

Mining Online Opinions.

[BibT_eX]

[DOI]

Computer, 2009

Computing the fault tolerance of multi-agent deployment.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Fast and Accurate Prediction of the Destination of Moving Objects.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

DOGMA: A Disk-Oriented Graph Matching Algorithm for RDF Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Using Histograms to Better Answer Queries to Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Aggregate Query Answering under Uncertain Schema Mappings.

[BibT_eX]

[DOI]

Avigdor Gal

Proceedings of the 25th International Conference on Data Engineering, 2009

2008

Video Databases.

[BibT_eX]

[DOI]

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

Video Summarization.

[BibT_eX]

[DOI]

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

A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2008

Machine Recognition of Human Activities: A Survey.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2008

AVA: Adjective-Verb-Adverb Combinations for Sentiment Analysis.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

CONVEX: Similarity-Based Algorithms for Forecasting Group Behavior.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

Scaling RDF with time.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on World Wide Web, 2008

Scaling Most Probable World Computations in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Inconsistency Management Policies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Probabilistic interval XML.

[BibT_eX]

[DOI]

Lise Getoor

ACM Trans. Comput. Log., 2007

A Logical Formulation of Probabilistic Spatial Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2007

Story creation from heterogeneous data sources.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2007

CARA: A Cultural-Reasoning Architecture.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

Preface.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds.

[BibT_eX]

[DOI]

Samir Khuller

Ann. Math. Artif. Intell., 2007

Aggregates in Generalized Temporally Indeterminate Databases.

[BibT_eX]

[DOI]

Zoran Majkic

Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Finding Most Probable Worlds of Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Samir Khuller

Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

MAGIC: A Multi-Activity Graph Index for Activity Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

A General Framework for Reasoning about Inconsistency.

[BibT_eX]

[DOI]

Leila Amgoud

Proceedings of the IJCAI 2007, 2007

Probabilistic Go Theories.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Detecting Stochastically Scheduled Activities in Video.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

The OASYS 2.0 Opinion Analysis System.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Weblogs and Social Media, 2007

Sentiment Analysis: Adjectives and Adverbs are Better than Adjectives Alone.

[BibT_eX]

[DOI]

Farah Benamara

Proceedings of the First International Conference on Weblogs and Social Media, 2007

How Dirty Is Your Relational Database? An Axiomatic Approach.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

GRIN: A Graph Based RDF Index.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Video Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Multimedia, 2006

Video Summarization.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Multimedia, 2006

Heterogeneous temporal probabilistic agents.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

The priority curve algorithm for video summarization.

[BibT_eX]

[DOI]

Inf. Syst., 2006

ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message.

[BibT_eX]

[DOI]

Maurizio Lenzerini

Erich J. Neuhold

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Probabilistic RDF.

[BibT_eX]

[DOI]

Zoran Majkic

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

A stochastic language for modelling opponent agents.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Opinion Analysis in Document Databases.

[BibT_eX]

[DOI]

A. Sagoff

Bonnie J. Dorr

Proceedings of the Computational Approaches to Analyzing Weblogs, 2006

Overconfidence or Paranoia? Search in Imperfect-Information Games.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

The CPR Model for Summarizing Video.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2005

Aggregate operators in probabilistic databases.

[BibT_eX]

[DOI]

J. ACM, 2005

Probabilistic Ontologies and Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

The Relationship Between Reasoning About Privacy and Default Logics.

[BibT_eX]

[DOI]

Wolfgang Faber

Proceedings of the Logic for Programming, 2005

A Motion Closed World Asumption.

[BibT_eX]

[DOI]

Fusun Yaman

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

Going Far, Logically.

[BibT_eX]

[DOI]

Fusun Yaman

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yu Deng

Proceedings of the 21st International Conference on Data Engineering, 2005

Optimal status sets of heterogeneous agent programs.

[BibT_eX]

[DOI]

Bogdan Stroe

Sudeshna Dasgupta

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Graph Theoretical Foundation for Integrating RDF Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.

[BibT_eX]

[DOI]

Nicola Leone

Francesco Scarcello

IEEE Trans. Knowl. Data Eng., 2004

Introduction.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2004

An Algebra for PowerPoint Sources.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2004

Improving Performance of Heterogeneous Agents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

TOSS: An Extension of TAX with Ontologies and Similarity Queries.

[BibT_eX]

[DOI]

Yu Deng

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Optimizing Selection and Mixing in Audio Databases.

[BibT_eX]

Proceedings of the MIS 2004, 2004

A Logic of Motion.

[BibT_eX]

[DOI]

Fusun Yaman

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

Plan Databases: Model and Algebra.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Utilizing Volatile External Information During Planning.

[BibT_eX]

Tsz-Chiu Au

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Distributed Algorithms for Dynamic Survivability of Multiagent Systems.

[BibT_eX]

[DOI]

Yingqian Zhang

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003

Temporal Probabilistic Object Bases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

A Deductive Database Approach to A.I. Planning.

[BibT_eX]

[DOI]

Antonio Brogi

Carlo Zaniolo

J. Intell. Inf. Syst., 2003

Secure Agents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

An Ontology-Extended Relational Algebra.

[BibT_eX]

[DOI]

Yu Deng

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Probabilistically Survivable MASs.

[BibT_eX]

[DOI]

Nazif Cihan Tas

Proceedings of the IJCAI-03, 2003

PXML: A Probabilistic Semistructured Data Model and Algebra.

[BibT_eX]

[DOI]

Lise Getoor

Proceedings of the 19th International Conference on Data Engineering, 2003

First order heterogeneous agent computations.

[BibT_eX]

[DOI]

Bogdan Stroe

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Presentation Planning for Distributed VoD Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

Probabilistic Aggregates.

[BibT_eX]

[DOI]

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

Error-Tolerant Agents.

[BibT_eX]

[DOI]

Viviana Mascardi

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Agents dealing with time and uncertainty.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Provisional Authorizations.

[BibT_eX]

[DOI]

Michiharu Kudo

Proceedings of the E-Commerce Security and Privacy, 2001

Flexible support for multiple access control policies.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2001

Probabilistic object bases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2001

Probabilistic temporal databases, I: algebra.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2001

Temporal agent programs.

[BibT_eX]

[DOI]

Artif. Intell., 2001

Optimal Agent Selection.

[BibT_eX]

[DOI]

Leana Golubchik

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Partitioning Activities for Agents.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Probabilistic Databases and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

View Management in Multimedia Databases.

[BibT_eX]

[DOI]

Eric Lemar

VLDB J., 2000

Probabilistic agent programs.

[BibT_eX]

[DOI]

Mirco Nanni

ACM Trans. Comput. Log., 2000

Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2000

Applications Of Paraconsistency In Data And Knowledge Bases.

[BibT_eX]

[DOI]

Synth., 2000

An algebra for creating and querying multimedia presentations.

[BibT_eX]

[DOI]

Multim. Syst., 2000

Guest Editor's Introduction: Logic-based Heterogeneous Information Systems.

[BibT_eX]

[DOI]

Raghu Ramakrishnan

J. Log. Program., 2000

Meta-agent programs.

[BibT_eX]

[DOI]

George Pick

J. Log. Program., 2000

Hybrid Probabilistic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 2000

IMPACT: A System for Building Agent Applications.

[BibT_eX]

[DOI]

Timothy J. Rogers

J. Intell. Inf. Syst., 2000

Improving Performance of heavily loaded agents

[BibT_eX]

[DOI]

CoRR, 2000

Foundations of distributed interaction systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Heterogeneous active agents, III: Polynomially implementable agents.

[BibT_eX]

[DOI]

Timothy J. Rogers

Artif. Intell., 2000

Heterogenous Active Agents

[BibT_eX]

MIT Press, ISBN: 0-262-19436-8, 2000

1999

Nonmonotonic Logic Programming.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Impact: a platform for collaborating agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 1999

Heterogeneous Active Agents, I: Semantics.

[BibT_eX]

[DOI]

George Pick

Artif. Intell., 1999

Heterogeneous Active Agents, II: Algorithms and Complexity.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Hybrid Probabilistic Programs: Algorithms and Complexity.

[BibT_eX]

[DOI]

Michael I. Dekhtyar

Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

A Multimedia Presentation Algebra.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1999, 1999

Finite Graph Algebras for Querying Interactive Multimedia Presentation Databases.

[BibT_eX]

Proceedings of the MIS '99, 1999

Heterogenous Agent systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

Temporal Probabilistic Logic Programs.

[BibT_eX]

Michael I. Dekhtyar

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.

[BibT_eX]

[DOI]

P. Venkat Rangan

IEEE Trans. Knowl. Data Eng., 1998

Handling Updates and Crashes in VoD Systems.

[BibT_eX]

[DOI]

Kemal Ihsan Kilic

Multim. Tools Appl., 1998

Retrieval Schedules Based on Resource Availability and Flexible Presentation Specifications.

[BibT_eX]

[DOI]

Multim. Syst., 1998

An Event-Based Model for Continous Media Data on Heterogeneous Disk Servers.

[BibT_eX]

[DOI]

Multim. Syst., 1998

Collaborative multimedia documents: Authoring and presentation.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1998

A First-Order Representation of Stable Models.

[BibT_eX]

[DOI]

AI Commun., 1998

A Multi-Similarity Algebra.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1998, 1998

Management and Rendering of Multimedia Views.

[BibT_eX]

[DOI]

Eric Lemar

Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

IMPACT: The Interactive Maryland Platform for Agents Collaborating Together.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Multiagent Systems, 1998

Distributed Video Presentations.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Deontic Action Programs.

[BibT_eX]

Proceedings of the Fundamentals of Information Systems, 1998

Multimedia Query and Presentation Algebras (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Data-Security in Heterogeneous Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents II, 1998

Principles of Multimedia Database Systems

[BibT_eX]

Morgan Kaufmann, ISBN: 1-55860-466-9, 1998

1997

ProbView: A Flexible Probabilistic Database System.

[BibT_eX]

[DOI]

Laks V. S. Lakshmanan

Nicola Leone

ACM Trans. Database Syst., 1997

Annotated Nonmonotonic Rule Systems.

[BibT_eX]

[DOI]

Jeffrey B. Remmel

Theor. Comput. Sci., 1997

Merging Heterogeneous Security Orderings.

[BibT_eX]

[DOI]

J. Comput. Secur., 1997

A Unified Treatment of Null Values Using Constraints.

[BibT_eX]

[DOI]

Inf. Sci., 1997

Non-determinism in Deductive Databases - Preface.

[BibT_eX]

Dino Pedreschi

Ann. Math. Artif. Intell., 1997

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.

[BibT_eX]

[DOI]

Antonio Brogi

Carlo Zaniolo

Ann. Math. Artif. Intell., 1997

A Logical Language for Expressing Authorizations.

[BibT_eX]

[DOI]

Pierangela Samarati

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

A Unified Framework for Enforcing Multiple Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1997, 1997

Computing Non-Ground Representations of Stable Models.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Advanced Database Systems.

[BibT_eX]

Morgan Kaufmann, ISBN: 1-55860-443-X, 1997

1996

Implementing Deductive Databases by Mixed Integer Programming.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1996

Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

Computing Minimal Models by Partial Instantiation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

A Non-Ground Realization of the Stable and Well-Founded Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

The Advanced Video Information System: Data Structures and Query Processing.

[BibT_eX]

[DOI]

Multim. Syst., 1996

Querying Video Libraries*.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 1996

Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing.

[BibT_eX]

[DOI]

J. Log. Program., 1996

Foundations of Multimedia Database Systems.

[BibT_eX]

[DOI]

Sherry Marcus

J. ACM, 1996

Tactical Route Planning: New Algorithms for Decomposing the Map.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1996

Query Caching and Optimization in Distributed Mediator Systems.

[BibT_eX]

[DOI]

Yannis Papakonstantinou

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Foundation of Multimedia Information Systems (Abstract).

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Forth ACM International Conference on Multimedia '96, 1996

A Deductive Database Approach to Planning in Uncertain Environments.

[BibT_eX]

[DOI]

Charlie Ward

Proceedings of the Logic in Databases, 1996

Towards a Theory of Collaborative Multimedia.

[BibT_eX]

[DOI]

P. Venkat Rangan

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996

What's in a WWW Link? - Panel.

[BibT_eX]

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Secure Mediated Databases.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

The PARK Semantics for Active Rules.

[BibT_eX]

[DOI]

Georg Gottlob

Guido Moerkotte

Proceedings of the Advances in Database Technology, 1996

Smart Mediators and Intelligent Agents (Panel).

[BibT_eX]

[DOI]

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.

[BibT_eX]

Sherry Marcus

Proceedings of the Multimedia Database System: Issues and Research Direction, 1996

1995

Computing Circumscriptive Databases: I. Theory and Algorithms

[BibT_eX]

[DOI]

Inf. Comput., January, 1995

WFS + Branch and Bound = Stable Models.

[BibT_eX]

[DOI]

Carlo Vago

IEEE Trans. Knowl. Data Eng., 1995

Reasoning in Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Foundations of Secure Deductive Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Combining Databases with Prioritized Information.

[BibT_eX]

[DOI]

Shekhar Pradhan

Jack Minker

J. Intell. Inf. Syst., 1995

Temporal Modules: An Approach Toward Federated Temporal Databases.

[BibT_eX]

[DOI]

Xiaoyang Sean Wang

Inf. Sci., 1995

Multiagent reasoning with probability, time, and beliefs.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1995

Heterogeneous Multimedia Reasoning.

[BibT_eX]

[DOI]

Anne Brink

Sherry Marcus

Computer, 1995

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

[BibT_eX]

[DOI]

Kutluhan Erol

Artif. Intell., 1995

The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

Acta Cybern., 1995

Efficient Maintenance of Materialized Mediated Views.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Relating Stable Models and AI Planning Domains.

[BibT_eX]

Carlo Zaniolo

Proceedings of the Logic Programming, 1995

1994

Stable Semantics for Probabilistic Deductive Databases

[BibT_eX]

[DOI]

Inf. Comput., April, 1994

Amalgamating Knowledge Bases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1994

Introduction.

[BibT_eX]

Victor W. Marek

Methods Log. Comput. Sci., 1994

Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.

[BibT_eX]

[DOI]

J. ACM, 1994

Combining Default Logic Databases.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1994

Amalgamating Knowledge Bases, II: Distributed Mediators.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1994

Computing Definite Logic Programs by Partial Instantiation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1994

Meta-languages, reflection principles, and self-reference.

[BibT_eX]

Donald Perlis

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Chitta Baral

J. Autom. Reason., 1993

Disjunctive LP + Integrity Constraints = Stable Model Semantics.

[BibT_eX]

[DOI]

José Alberto Fernández

Jorge Lobo

Jack Minker

Ann. Math. Artif. Intell., 1993

Maintaining Views Incrementally.

[BibT_eX]

[DOI]

Ashish Gupta

Inderpal Singh Mumick

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Implementing Stable Semantics by Linear Programming.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Hybrid Knowledge Bases for Intelligent Reasoning Systems.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Probabilistic Logic Programming

[BibT_eX]

[DOI]

Inf. Comput., December, 1992

Paraconsistent Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.

[BibT_eX]

[DOI]

V. Wiktor Marek

Theor. Comput. Sci., 1992

Theory of Generalized Annotated Logic Programming and its Applications.

[BibT_eX]

[DOI]

Michael Kifer

J. Log. Program., 1992

Stable and Extension Class Theory for Logic Programs and Default Logics.

[BibT_eX]

[DOI]

Chitta Baral

J. Autom. Reason., 1992

Relating Minimal Models and Pre-Requisite-Free Normal Defaults.

[BibT_eX]

[DOI]

Jorge Lobo

Inf. Process. Lett., 1992

Combining Knowledge Bases Consisting of First-Order Analysis.

[BibT_eX]

[DOI]

Comput. Intell., 1992

Empirical Probabilities in Monadic Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

Implementing Deductive Databases by Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Declarative Foundations of Secure Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1992

On the Complexity of Domain-Independent Planning.

[BibT_eX]

[DOI]

Kutluhan Erol

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

A Petri Net Model for Reasoning in the Presence of Inconsistency.

[BibT_eX]

[DOI]

Tadao Murata

Toshiro Wakayama

IEEE Trans. Knowl. Data Eng., 1991

The Paraconsistent Logics PJ.

[BibT_eX]

[DOI]

Carlo Vago

Math. Log. Q., 1991

Non-Monotonic Negation in Probabilistic Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

Relating Dempster-Shafer Theory to Stable Semantics.

[BibT_eX]

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).

[BibT_eX]

Chitta Baral

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Stable Model Semantics for Probabilistic Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Reasoning in Paraconsistent Logics.

[BibT_eX]

Lawrence J. Henschen

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

1990

Protected Completions of First-Order General Logic Programs.

[BibT_eX]

[DOI]

J. Autom. Reason., 1990

Generalized Closed World Assumptions is Pi^0_2-Complete.

[BibT_eX]

[DOI]

Jan Chomicki

Inf. Process. Lett., 1990

Errata: A Ring-Theoretic Basis for Logic Programming.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1990

A Ring-Theoretic Basis for Logic Programming.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.

[BibT_eX]

[DOI]

Lawrence J. Henschen

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Paraconsistent Logic Programming.

[BibT_eX]

[DOI]

Howard A. Blair

Theor. Comput. Sci., 1989

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1989

The Query Topology in Logic Programming.

[BibT_eX]

[DOI]

Aïda Batarekh

Proceedings of the STACS 89, 1989

On the Expressive Power of Annotated Logic Programs.

[BibT_eX]

Michael Kifer

Proceedings of the Logic Programming, 1989

And-Or Graphs Applied to RUE Resolution.

[BibT_eX]

[DOI]

Vincent J. Digricoli

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.

[BibT_eX]

V. Wiktor Marek

Proceedings of the Logic Programming, 1989

Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Review of Reasoning About Change.

[BibT_eX]

[DOI]

AI Mag., 1988

A Simple Formulation of the Theory of Metalogic Programming.

[BibT_eX]

Proceedings of the Meta-Programming in Logic Programming, 1988

Intuitive Semantics for Quantitative Rule Sets.

[BibT_eX]

Proceedings of the Logic Programming, 1988

Semantical Equivalences of (Non-Classical) Logic Programs.

[BibT_eX]

Aïda Batarekh

Proceedings of the Logic Programming, 1988

QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems.

[BibT_eX]

[DOI]

Zerksis D. Umrigar

Proceedings of the 9th International Conference on Automated Deduction, 1988

Query Processing in Quantitative Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

On the Semantics of Quantitative Logic Programs.

[BibT_eX]