V. S. Subrahmanian
Orcid: 0000-0001-7191-0296Affiliations:
- Dartmouth College, Institute for Security, Technology, and Society, Hanover, NH, USA
- University of Maryland, Institute for Advanced Computer Studies, College Park, MD, USA
- Syracuse University, NY, USA (PhD 1989)
According to our database1,
V. S. Subrahmanian
authored at least 369 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on cs.umd.edu
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
2023
ACM Trans. Web, November, 2023
Linking Terrorist Network Structure to Lethality: Algorithms and Analysis of Al Qaeda and ISIS.
IEEE Trans. Comput. Soc. Syst., October, 2023
ACM Trans. Multim. Comput. Commun. Appl., February, 2023
IEEE Trans. Multim., 2023
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
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.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
ACM Trans. Internet Techn., 2022
IEEE Trans. Dependable Secur. Comput., 2022
IEEE Trans. Dependable Secur. Comput., 2022
Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games.
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.
Proceedings of the International Conference on Multimodal Interaction, 2022
A New Dynamically Changing Attack on Review Fraud Systems and a Dynamically Changing Ensemble Defense.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
2021
Using Word Embeddings to Deter Intellectual Property Theft through Automated Generation of Fake Documents.
ACM Trans. Manag. Inf. Syst., 2021
$\sf {DBank}$DBank: Predictive Behavioral Analysis of Recent Android Banking Trojans.
IEEE Trans. Dependable Secur. Comput., 2021
IEEE Trans. Dependable Secur. Comput., 2021
VEST: An Early Warning System for Future Cyber-Attacks.
Proceedings of the 18th International Conference on Security and Cryptography, 2021
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.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
ACM Trans. Manag. Inf. Syst., 2020
ACM Trans. Intell. Syst. Technol., 2020
Android Malware Detection via (Somewhat) Robust Irreversible Feature Transformations.
IEEE Trans. Inf. Forensics Secur., 2020
IEEE Trans. Dependable Secur. Comput., 2020
Trans. Data Sci., 2020
IEEE Trans. Comput. Soc. Syst., 2020
IEEE Trans. Comput. Soc. Syst., 2020
Disclose or Exploit? A Game-Theoretic Approach to Strategic Decision Making in Cyber-Warfare.
IEEE Syst. J., 2020
Data Knowl. Eng., 2020
2019
IEEE Trans. Comput. Soc. Syst., 2019
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019
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.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the IEEE International Conference on Multimedia and Expo, 2019
Proceedings of the 2019 IEEE International Conference on Data Mining, 2019
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019
Proceedings of the 30th British Machine Vision Conference 2019, 2019
Proceedings of the IEEE International Conference on Blockchain, 2019
2018
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
ACM Trans. Web, 2018
ACM Trans. Internet Techn., 2018
IEEE Trans. Comput. Soc. Syst., 2018
J. Comput. Secur., 2018
Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining, 2018
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018
Proceedings of the 2018 International Workshop on Social Sensing, 2018
Proceedings of the From Database to Cyber Security, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
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 Trans. Intell. Syst. Technol., 2017
ACM Trans. Intell. Syst. Technol., 2017
Proceedings of the 26th International Conference on World Wide Web, 2017
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.
J. Comput. Secur., 2016
Artif. Intell., 2016
Proceedings of the Ninth ACM International Conference on Web Search and Data Mining, 2016
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016
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
Proceedings of the IEEE 16th International Conference on Data Mining, 2016
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016
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
ACM Trans. Intell. Syst. Technol., 2015
ACM Trans. Inf. Syst. Secur., 2015
IEEE Trans. Comput. Soc. Syst., 2015
Using Twitter Sentiment to Forecast the 2013 Pakistani Election and the 2014 Indian Election.
IEEE Intell. Syst., 2015
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015
Proceedings of the 2015 IEEE International Conference on Intelligence and Security Informatics, 2015
Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-25760-0, 2015
Proceedings of the Data Management in Pervasive Systems, 2015
2014
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4939-0273-6, 2014
Proceedings of the Network Science and Cybersecurity, 2014
Encyclopedia of Social Network Analysis and Mining, 2014
ACM Trans. Web, 2014
ACM Trans. Internet Techn., 2014
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.
ACM Trans. Comput. Log., 2014
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. Soc. Syst., 2014
Behavioral Analysis of Insider Threat: A Survey and Bootstrapped Prediction in Imbalanced Data.
IEEE Trans. Comput. Soc. Syst., 2014
Soc. Netw. Anal. Min., 2014
Int. J. Approx. Reason., 2014
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014
Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014
2013
Proceedings of the Advances in Probabilistic Databases for Uncertain Information Management, 2013
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-6750-2, 2013
ACM Trans. Comput. Log., 2013
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems.
ACM Trans. Comput. Log., 2013
IEEE Trans. Knowl. Data Eng., 2013
Fast Activity Detection: Indexing for Temporal Stochastic Automaton-Based Activity Models.
IEEE Trans. Knowl. Data Eng., 2013
Soc. Networks, 2013
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013
Proceedings of the Semantic Web - ISWC 2013, 2013
Proceedings of the 2nd IEEE Network Science Workshop, 2013
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
Terrorism, Security, and Computation, Springer, ISBN: 978-3-319-02817-0, 2013
2012
ACM Trans. Comput. Log., 2012
Ann. Math. Artif. Intell., 2012
Proceedings of the 21st World Wide Web Conference, 2012
Proceedings of the Correct Reasoning, 2012
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012
2011
Proceedings of the Counterterrorism and Open Source Intelligence, 2011
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
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
Proceedings of the Computer Security - ESORICS 2011, 2011
Proceedings of the European Intelligence and Security Informatics Conference, 2011
Proceedings of the European Intelligence and Security Informatics Conference, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
Proceedings of the Computer Information Systems - Analysis and Technologies, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011
2010
Proceedings of the Methods for Handling Imperfect Spatial Information, 2010
IEEE Trans. Pattern Anal. Mach. Intell., 2010
Artif. Intell., 2010
Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010
Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010
Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2010
2009
Proceedings of the Encyclopedia of Database Systems, 2009
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
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the 25th International Conference on Data Engineering, 2009
2008
A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video.
IEEE Trans. Multim., 2008
IEEE Trans. Circuits Syst. Video Technol., 2008
IEEE Intell. Syst., 2008
IEEE Intell. Syst., 2008
Proceedings of the 17th International Conference on World Wide Web, 2008
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
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
IEEE Trans. Knowl. Data Eng., 2007
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10<sup>30, 000</sup> worlds.
Ann. Math. Artif. Intell., 2007
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the First International Conference on Weblogs and Social Media, 2007
Proceedings of the First International Conference on Weblogs and Social Media, 2007
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
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
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the Computational Approaches to Analyzing Weblogs, 2006
Proceedings of the Proceedings, 2006
2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005
Proceedings of the Logic for Programming, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the 21st International Conference on Data Engineering, 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the Proceedings, 2005
2004
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng., 2004
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004
Optimizing Selection and Mixing in Audio Databases.
Proceedings of the MIS 2004, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
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
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
2003
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003
Proceedings of the 19th International Conference on Data Engineering, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
IEEE Trans. Knowl. Data Eng., 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
ACM Trans. Database Syst., 2001
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
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers.
IEEE Trans. Knowl. Data Eng., 2000
J. Log. Program., 2000
Artif. Intell., 2000
Heterogenous Active Agents
MIT Press, ISBN: 0-262-19436-8, 2000
1999
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Finite Graph Algebras for Querying Interactive Multimedia Presentation Databases.
Proceedings of the MIS '99, 1999
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
IEEE Trans. Knowl. Data Eng., 1998
Retrieval Schedules Based on Resource Availability and Flexible Presentation Specifications.
Multim. Syst., 1998
Multim. Syst., 1998
Int. J. Intell. Syst., 1998
Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998
Proceedings of the Third International Conference on Multiagent Systems, 1998
Proceedings of the Fourteenth International Conference on Data Engineering, 1998
Deontic Action Programs.
Proceedings of the Fundamentals of Information Systems, 1998
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998
Proceedings of the Cooperative Information Agents II, 1998
Principles of Multimedia Database Systems
Morgan Kaufmann, ISBN: 1-55860-466-9, 1998
1997
Non-determinism in Deductive Databases - Preface.
Ann. Math. Artif. Intell., 1997
Ann. Math. Artif. Intell., 1997
Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997
Proceedings of the SIGMOD 1997, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Advanced Database Systems.
Morgan Kaufmann, ISBN: 1-55860-443-X, 1997
1996
ACM Trans. Database Syst., 1996
Theor. Comput. Sci., 1996
Multim. Syst., 1996
Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing.
J. Log. Program., 1996
Int. J. Artif. Intell. Tools, 1996
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
Proceedings of the Logic in Databases, 1996
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
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996
Proceedings of the Advances in Database Technology, 1996
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.
Proceedings of the Multimedia Database System: Issues and Research Direction, 1996
1995
Inf. Comput., January, 1995
Int. J. Intell. Syst., 1995
Artif. Intell., 1995
Acta Cybern., 1995
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995
Relating Stable Models and AI Planning Domains.
Proceedings of the Logic Programming, 1995
1994
Introduction.
Methods Log. Comput. Sci., 1994
J. ACM, 1994
Int. J. Cooperative Inf. Syst., 1994
Ann. Pure Appl. Log., 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. Reason., 1993
J. Autom. Reason., 1993
Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning.
J. Autom. Reason., 1993
Ann. Math. Artif. Intell., 1993
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
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.
Theor. Comput. Sci., 1992
J. Log. Program., 1992
J. Autom. Reason., 1992
Inf. Process. Lett., 1992
Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992
Proceedings of the Database Theory, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
IEEE Trans. Knowl. Data Eng., 1991
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
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991
Reasoning in Paraconsistent Logics.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991
1990
Int. J. Found. Comput. Sci., 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.
Artif. Intell. Medicine, 1989
On the Expressive Power of Annotated Logic Programs.
Proceedings of the Logic Programming, 1989
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
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989
1988
A Simple Formulation of the Theory of Metalogic Programming.
Proceedings of the Meta-Programming in Logic Programming, 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
Proceedings of the 9th International Conference on Automated Deduction, 1988
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