Tags: logic

Research Areas

  1. Cloud computing

Publications

2026

  1. A. Joshi, T. Finin, K. P. Joshi, and L. Kagal, "Deontic Policies for Runtime Governance of Agentic AI Systems", InProceedings, 2026 IEEE Symposium on Agentic Services/ IEEE Conference on Web Services, July 2026, 354 downloads.

2025

  1. S. Chattoraj and K. P. Joshi, "LLM based Knowledge Graph Approach to Automating Medical Device Regulatory Compliance", InProceedings, 2025 IEEE International Conference on Big Data (BigData), December 2025, 3313 downloads.
  2. P. Shukla and M. Halem, "DUNE: A Machine Learning Deep UNET++ based ensemble Approach to Monthly, Seasonal and Annual Climate Forecasting", Article, Artificial Intelligence for the Earth Systems, October 2025, 1816 downloads.

2024

  1. S. Chattoraj and K. P. Joshi, "MedReg-KG: KnowledgeGraph for Streamlining Medical Device Regulatory Compliance", InProceedings, 4th Workshop on Knowledge Graphs and Big Data in Conjunction with IEEE BigData 2024, December 2024, 1322 downloads.
  2. S. Chattoraj and K. P. Joshi, "Semantically Rich Approach to Automating Regulations of Medical Devices", InProceedings, IEEE International Conference on Digital Health (ICDH) , 2024 at IEEE World Congress on Services 2024, July 2024, 1373 downloads.
  3. R. Walid, K. P. Joshi, and S. Choi, "Comparison of attribute‑based encryption schemes in securing healthcare systems", Article, Scientific Reports, Nature, March 2024, 1732 downloads.
  4. R. Walid, K. P. Joshi, and L. Elluri, "Secure and Privacy-Compliant Data Sharing: An Essential Framework for Healthcare Organizations", 10th International Conference on Mathematics and Computing ICMC 2024, January 2024, 1080 downloads.

2023

  1. P. Ranade and A. Joshi, "FABULA: Intelligence Report Generation Using Retrieval-Augmented Narrative Construction", InProceedings, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, November 2023, 1141 downloads.
  2. e., K. P. Joshi, and e., "Developing Ethics and Equity Principles, Terms, and Engagement Tools to Advance Health Equity and Researcher Diversity in AI and Machine Learning: Modified Delphi Approach", Article, JMIR AI 2023;2:e52888, September 2023, 1162 downloads.
  3. S. R. Dipta, M. Rezaee, and F. Ferraro, "Semantically-informed Hierarchical Event Modeling", InProceedings, Proceedings of the 12th Joint Conference on Lexical and Computational Semantics, July 2023, 540 downloads.
  4. K. Roy, M. Gaur, M. Soltani, V. Rawte, and A. Sheth, "ProKnow: Process knowledge for safety constrained and explainable question generation for mental health diagnostic assistance", Article, Frontiers in Big Data, January 2023, 438 downloads.

2022

  1. U. Lokala, F. Lamay, R. Daniulaityte, M. Gaur, A. Gyrard, K. Thirunarayan, U. Kursuncu, and A. Sheth, "Drug Abuse Ontology to Harness Web-Based Data for Substance Use Epidemiology Research: Ontology Development Study", Article, JMIR Public Health and Surveillance, December 2022, 771 downloads.

2021

  1. K. M. Al Farabi, S. Sarkhel, S. Dey, and D. Venugopal, "Interpretable Explanations for Probabilistic Inference in Markov Logic", InProceedings, International Conference on Big Data, December 2021, 802 downloads.
  2. K. Sane, K. P. Joshi, and S. Mittal, "Semantically Rich Framework to Automate Cyber Insurance Services", Article, IEEE Transactions on Services Computing, November 2021, 1186 downloads.
  3. S. Chukkapalli, S. Aziz, N. Alotaibi, S. Mittal, M. Gupta, and M. Abdelsalam, "Ontology driven AI and Access Control Systems for Smart Fisheries", TechReport, January 2021, 1158 downloads.

2019

  1. M. M. Rahman and T. Finin, "Unfolding the Structure of a Document using Deep Learning", TechReport, arXiv:1910.03678, September 2019, 1372 downloads.
  2. K. Sane, K. P. Joshi, and S. Mittal, "A Semantic Approach for Automating Knowledge in Policies of Cyber Insurance Services", InProceedings, IEEE International Conference on Web Services (IEEE ICWS) 2019, July 2019, 2542 downloads.
  3. L. Elluri, V. Mandalapu, and N. Roy, "Developing Machine Learning based Predictive Models for Smart Policing", InProceedings, International Conference on Smart Computing (SMARTCOMP), June 2019, 1949 downloads.

2018

  1. R. Ayanzadeh, M. Halem, and T. Finin, "Solving Hard SAT Instances with Adiabatic Quantum Computers", American Geophysical Union, Fall Meeting 2018, abstract #IN41B-27, December 2018.
  2. M. M. Rahman, "Understanding the Logical and Semantic Structure of Large Documents", PhdThesis, University of Maryland, Baltimore County, May 2018, 834 downloads.

2017

  1. M. M. Rahman and T. Finin, "Deep Understanding of a Document's Structure", InProceedings, 4th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, December 2017, 1754 downloads.
  2. M. M. Rahman and T. Finin, "Understanding the Logical and Semantic Structure of Large Documents", Article, arXiv e-print, September 2017, 1338 downloads.
  3. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", TechReport, arXiv, August 2017, 2023 downloads.
  4. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", Article, CoRR, August 2017, 1508 downloads.
  5. M. M. Rahman, "Understanding the Logical and Semantic Structure of Large Documents", Proceedings, SDM 2016 Doctoral Forum, SIAM International Conference on Data Mining , April 2017, 1169 downloads.

2016

  1. K. P. Joshi, A. Gupta, S. Mittal, C. Pearce, A. Joshi, and T. Finin, "Semantic Approach to Automating Management of Big Data Privacy Policies", InProceedings, IEEE International Conference on Big Data, December 2016, 2694 downloads.
  2. A. Gupta, S. Mittal, K. P. Joshi, C. Pearce, and A. Joshi, "Streamlining Management of Multiple Cloud Services", InProceedings, IEEE International Conference on Cloud Computing, June 2016, 2123 downloads.
  3. N. K. Sharma and A. Joshi, "Representing attribute based access control policies in OWL", InProceedings, Tenth International Conference on Semantic Computing (ICSC), February 2016, 2249 downloads.

2015

  1. A. Grover, J. Gholap, V. P. Janeja, Y. Yesha, R. Chintalapati, H. Marwaha, and K. Modi, "SQL-like big data environments: Case study in clinical trial analytics", InProceedings, IEEE International Conference on Big Data, November 2015, 1926 downloads.
  2. J. Sleeman, "Entity Disambiguation for Wild Big Data Using Multi-Level Clustering", InProceedings, Doctoral Consortium, 14th International Semantic Web Conference, October 2015, 1267 downloads.
  3. C. Grasso, A. Joshi, and E. Siegel, "Beyond NER: Towards Semantics in Clinical Text", InProceedings, Biomedical Data Mining, Modeling, and Semantic Integration (BDM2I); co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, PA (USA), October 2015, 1406 downloads.
  4. B. (. Kulvatunyou, Y. Lee, N. Ivezik, and Y. Peng, "A Framework to Canonicalize Manufacturing Service Capability Models", Article, Computers & Industrial Engineering, May 2015, 740 downloads.

2014

  1. P. Pappachan, R. Yus, P. K. Das, T. Finin, E. Mena, and A. Joshi, "A Semantic Context-Aware Privacy Model for FaceBlock", InProceedings, Second International Workshop on Society, Privacy and the Semantic Web - Policy and Technology (PrivOn 2014), Riva del Garda (Italy), October 2014, 3691 downloads.

2012

  1. J. Sleeman, R. Alonso, H. Li, A. Pope, and A. Badia, "Opaque Attribute Alignment", InProceedings, Proceedings of the 3rd International Workshop on Data Engineering Meets the Semantic Web, April 2012, 1631 downloads.
  2. J. Martineau, R. Mokashi, D. Chapman, M. A. Grasso, M. Brady, Y. Yesha, Y. Yesha, A. Cardone, and A. Dima, "Sub-cellular Feature Detection and Automated Extraction of Collocalized Actin and Myosin Regions", InProceedings, Proceedings of ACM SIGHIT International Health Informatics Symposium, January 2012, 1903 downloads.

2010

  1. M. M. Rahman and e., "A more appropriate Protein Classification using Data Mining", Article, journal of theoretical and applied information technology, November 2010.
  2. J. Sleeman and T. Finin, "Learning Co-reference Relations for FOAF Instances", InProceedings, Proceedings of the Poster and Demonstration Session at the 9th International Semantic Web Conference, November 2010, 3474 downloads, 2 citations.
  3. J. Sleeman and T. Finin, "Computing FOAF Co-reference Relations with Rules and Machine Learning", InProceedings, Proceedings of the Third International Workshop on Social Data on the Web at ISWC2010, November 2010, 4657 downloads, 30 citations.
  4. e. and M. M. Rahman, "Fault tolerant variable block carry skip logic (vbcsl) using parity preserving reversible gates", Article, arXiv eprint , September 2010.
  5. e. and M. M. Rahman, "Realization of a Novel Fault Tolerant Reversible Full Adder Circuit in Nanotechnology", Article, Int. Arab J. Inf. Technol., July 2010.
  6. R. Schauer and A. Joshi, "A Probabilistic Approach to Distributed System Management", InProceedings, Proceedings of the Seventh International Conference on Autonomic Computing, June 2010, 2131 downloads.

2009

  1. P. A. Kodeswaran and A. Joshi, "Towards a Declarative Framework For Managing Application and Network Adaptations", Proceedings, IEEE GlobeCom, December 2009, 2334 downloads.
  2. e. and M. M. Rahman, "Low cost quantum realization of reversible multiplier circuit", Article, Information technology journal, November 2009.
  3. e. and M. M. Rahman, "Fault tolerant reversible logic synthesis: Carry look-ahead and carry-skip adders", InProceedings, IEEE 2009 International Conference on Advances in Computational Tools for Engineering Applications, July 2009, 540 downloads.
  4. e. and M. M. Rahman, "Synthesis of fault tolerant reversible logic circuits", InProceedings, EEE Circuits and Systems International Conference on Testing and Diagnosis, April 2009.

2008

  1. A. Java, "Mining Social Media Communities and Content", PhdThesis, University of Maryland, Baltimore County, December 2008, 57460 downloads.

2007

  1. A. Java, S. Nirenburg, M. McShane, T. Finin, J. English, and A. Joshi, "Using a Natural Language Understanding System to Generate Semantic Web Content", Article, International Journal on Semantic Web and Information Systems, November 2007, 4626 downloads, 89 citations.
  2. C. Parr, J. Sachs, L. Han, T. Wang, and T. Finin, "RDF123 and Spotter: Tools for generating OWL and RDF for biodiversity data in spreadsheets and unstructured text", InProceedings, Proceedings of Biodiversity Information Standards Annual Conference (TDWG 2007), October 2007, 2707 downloads, 3 citations.
  3. M. A. Grasso and e., "Gastrointestinal bleeding from arteriovenous malformations in recipients of left ventricular assist devices", Proceedings, Journal of Cardiac Failure, September 2007.
  4. S. Agarwal, A. Joshi, T. Finin, Y. Yesha, and T. Ganous, "A Pervasive Computing System for the Operating Room of the Future", Article, Mobile Networks and Applications, August 2007, 4126 downloads.
  5. A. Java, X. Song, T. Finin, and B. Tseng, "Why We Twitter: Understanding Microblogging Usage and Communities", InProceedings, Procedings of the Joint 9th WEBKDD and 1st SNA-KDD Workshop 2007, August 2007, 65893 downloads, 342 citations.
  6. A. Parafiynyk, C. Parr, J. Sachs, and T. Finin, "Adding Semantics to Social Websites for Citizen Science", InProceedings, Proceedings of the Workshop on Semantic e-Science (AAAI 07), June 2007, 6772 downloads, 3 citations.
  7. S. Dornbush, J. English, T. Oates, Z. Segall, and A. Joshi, "XPod: A Human Activity Aware Learning Mobile Music Player", InProceedings, Proceedings of the Workshop on Ambient Intelligence, 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), January 2007, 4716 downloads, 13 citations.

2006

  1. C. Parr, J. Sachs, A. Parafiynyk, T. Wang, R. Espinosa, and T. Finin, "ETHAN: the Evolutionary Trees and Natural History Ontology", TechReport, TR-EBQ-320-2006, November 2006, 4907 downloads, 1 citation.
  2. A. Java, S. Nirenburg, M. McShane, T. Finin, J. English, and A. Joshi, "Using a Natural Language Understanding System to Generate Semantic Web Content", TechReport, October 2006, 3420 downloads.
  3. J. Sachs, C. Parr, A. Parafiynyk, R. Pan, L. Han, L. Ding, T. Finin, A. Hollender, and T. Wang, "Using the Semantic Web to Support Ecoinformatics", InProceedings, Proceedings of the AAAI Fall Symposium on the Semantic Web for Collaborative Knowledge Acquisition , October 2006, 7877 downloads, 6 citations.
  4. S. Agarwal, A. Joshi, T. Finin, and Y. Yesha, "A Pervasive Computing System for the Operating Room of the Future", TechReport, University of Maryland, Baltimore County, September 2006, 5334 downloads.
  5. S. Agarwal, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Records", TechReport, July 2006, 3598 downloads.
  6. S. Gupta, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Encounter Records", TechReport, UMBC, July 2006, 193 downloads.
  7. C. Parr, A. Parafiynyk, J. Sachs, R. Pan, L. Han, L. Ding, T. Finin, and T. Wang, "Using the Semantic Web to Integrate Ecoinformatics Resources", InProceedings, Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), July 2006, 3256 downloads.
  8. P. Kolari, T. Finin, Y. Yesha, K. Lyons, J. Hawkins, and S. Perelgut, "Policy Management of Enterprise Systems: A Requirements Study", InProceedings, Proceedings of the IEEE Workshop on Policies for Distributed Systems and Networks, June 2006, 6146 downloads, 4 citations.
  9. C. Parr, A. Parafiynyk, J. Sachs, L. Ding, S. Dornbush, T. Finin, T. Wang, and A. Hollender, "Integrating Ecoinformatics Resources on the Semantic Web", InProceedings, Proceedings of the 15th International World Wide Web Conference, May 2006, 2909 downloads, 4 citations.
  10. A. Java, J. English, and S. Nirenburg, "Automated Fact Repository Construction through Ontology Filtering and Natural Language Processing", TechReport, March 2006, 470 downloads.
  11. P. Kolari, Y. Yesha, K. Lyons, S. Perelgut, J. Hawkins, and T. Finin, "Policy Management of Enterprise Systems: A Requirements Study", TechReport, TR-CS-06-02, March 2006, 3430 downloads.

2005

  1. Z. Ding, "BayesOWL: A Probabilistic Framework for Semantic Web", PhdThesis, University of Maryland, Baltimore County, December 2005, 9944 downloads, 10 citations.
  2. A. Toninelli, J. Bradshaw, L. Kagal, and R. Montanari, "Rule-based and Ontology-based Policies: Toward a Hybrid Approach to Control Agents in Pervasive Environments", InProceedings, Proceedings of the Semantic Web and Policy Workshop, November 2005, 3161 downloads, 29 citations.
  3. S. Avancha, "A Holistic Approach to Secure Sensor Networks", PhdThesis, UMBC, August 2005, 3736 downloads.
  4. S. Ganjugunte, "Extending the Non-monotonic Reasoning Infrastructure for the Semantic Web via Well-founded Negation and incremental Support for Courteous Logic Programs,", MastersThesis, University of Maryland, Baltimore County, August 2005, 3507 downloads.
  5. L. Ding and T. Finin, "Boosting Semantic Web Data Access Using Swoogle", InProceedings, AAAI-05: Twentieth National Conference on Artificial Intelligence, July 2005, 1446 downloads.
  6. V. Tamma, S. Cranefield, T. Finin, and S. Willmott, "Ontologies for Agents: Theory and Experiences", Book, Springer, July 2005, 13713 downloads.
  7. G. Denker, L. Kagal, and T. Finin, "Security in the Semantic Web using OWL", Article, Elsevier Information Security Technical Report, January 2005, 937 downloads.

2004

  1. H. Chen, "An Intelligent Broker Architecture for Pervasive Context-Aware Systems", PhdThesis, University of Maryland, Baltimore County, December 2004, 8161 downloads, 17 citations.
  2. Y. Zou, T. Finin, and H. Chen, "F-OWL: an Inference Engine for the Semantic Web", InBook, Formal Approaches to Agent-Based Systems, November 2004, 12627 downloads, 55 citations.
  3. H. Chen, T. Finin, A. Joshi, F. Perich, D. Chakraborty, and L. Kagal, "Intelligent Agents Meet the Semantic Web in Smart Spaces", Article, IEEE Internet Computing, November 2004, 5924 downloads, 156 citations.
  4. D. Khushraj, O. Lassila, and T. Finin, "sTuples: Semantic Tuple Spaces", InProceedings, First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous’04), August 2004, 3703 downloads, 73 citations.
  5. Y. Zou, "Agent-Based Services for the Semantic Web", PhdThesis, UMBC, Department of Computer Science and Electrical Engineering, August 2004, 6649 downloads, 4 citations.
  6. H. Chen, F. Perich, D. Chakraborty, T. Finin, and A. Joshi, "Intelligent Agents Meet Semantic Web in a Smart Meeting Room", InProceedings, Proceedings of the Third International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2004), July 2004, 6387 downloads, 81 citations.
  7. H. Chen, T. Finin, and A. Joshi, "A Pervasive Computing Ontology for User Privacy Protection in the Context Broker Architecture", TechReport, University of Maryland, Baltimore County, July 2004, 5312 downloads.
  8. L. Kagal, M. Paoucci, N. Srinivasan, G. Denker, T. Finin, and K. Sycara, "Authorization and Privacy for Semantic Web Services", Article, IEEE Intelligent Systems (Special Issue on Semantic Web Services), July 2004, 3291 downloads, 1 citation.
  9. P. Kolari, "Enhancing Web Privacy with Policy Language and Trust", MastersThesis, UMBC Master's thesis, May 2004, 5018 downloads.
  10. M. Cornwell, J. E. Just, L. Kagal, T. Finin, and M. Huhns, "Autonomic Policy-Based Collaboration for Cross-Agency Human Teams", InProceedings, Conference on the Human Impact and Application of Autonomic Computing Systems (CHIACS2), April 2004, 4395 downloads.
  11. H. Chen, T. Finin, and A. Joshi, "A Context Broker for Building Smart Meeting Rooms", Proceedings, Proceedings of the AAAI Symposium on Knowledge Representation and Ontology for Autonomous Systems Symposium, 2004 AAAI Spring Symposium, March 2004, 10114 downloads, 65 citations.
  12. , "Intrusion Detection: Modeling System State to Detect and Classify Aberrant Behavior", PhdThesis, University of Maryland, Baltimore County, February 2004, 7688 downloads.
  13. D. Khushraj, "Semantic Tuple Spaces: A Coordination", MastersThesis, University of Maryland, Baltimore County, January 2004.

2003

  1. D. Khushraj, T. Finin, and A. Joshi, "Semantic Tuple Spaces: A Coordination Infrastructure in Mobile Environments", InProceedings, Proceedings of the Second International Semantic Web Conference , September 2003, 3 citations.
  2. J. Undercoffer, A. Joshi, and J. Pinkston, "Modeling Computer Attacks: An Ontology for Intrusion Detection", InProceedings, The Sixth International Symposium on Recent Advances in Intrusion Detection, September 2003, 5339 downloads, 19 citations.
  3. B. Grosof, M. Gandhe, and T. Finin, "SweetJess: Inferencing in Situated Courteous RuleML via Translation to and from Jess Rules", TechReport, May 2003, 2484 downloads.

2002

  1. L. Kagal, "Rei : A Policy Language for the Me-Centric Project", TechReport, HP Labs, September 2002, 4581 downloads.
  2. M. Gandhe, T. Finin, and B. Grosof, "SweetJess: Translating DamlRuleML to Jess", InProceedings, RuleML 2002, Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, June 2002, 3040 downloads, 51 citations.
  3. D. Chakraborty, F. Perich, A. Joshi, T. Finin, and Y. Yesha, "A Reactive Service Composition Architecture for Pervasive Computing Environments", TechReport, University of Maryland, Baltimore County, March 2002, 5092 downloads.

1996

  1. Y. K. Labrou, "Semantics for an Agent Communication Language", PhdThesis, UMBC, August 1996, 608 downloads, 234 citations.

1991

  1. T. Finin and J. McGuire, "Inheritance in Logic Programming Knowledge Bases", InBook, Inheritance Hierarchies in Knowledge Representation and Programming Languages, March 1991, 607 downloads.

1990

  1. S. Schocken and T. Finin, "Meta-interpreters for rule-based inference under uncertainty", Article, Decision Support Systems, April 1990, 1454 downloads.

1989

  1. S. Schocken and T. Finin, "Meta-Interpreters for Rule-Based Reasoning Under Uncertainty", TechReport, New York University, Information Systems Department, July 1989, 1756 downloads.
  2. T. Finin and G. Morris, "Abductive reasoning in multiple fault diagnosis", Article, Artificial Intelligence Review, July 1989, 1445 downloads.
  3. T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications, March 1989, 1956 downloads.

1988

  1. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, Department of Computer and Information Science, Technical Report No. MS-CIS-88-22., March 1988, 809 downloads.
  2. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, University of Pennsylvania, March 1988, 505 downloads.

1987

  1. T. Finin and M. Palmer, "Parsing with Logical Variables", InBook, Natural Language Parsing Systems, January 1987, 721 downloads.

1985

  1. N. Badler and T. Finin, "Computer Graphics and Expert Systems", Article, IEEE Computer Graphics and Applications, November 1985, 584 downloads.

1983

  1. T. Finin and M. Palmer, "Parsing with Logical Variables", InProceedings, Proceedings of the First Conference on Applied Natural Language Processing, February 1983, 479 downloads.

1956

  1. A. Newell and H. A. Simon, "The Logic Theory Machine — a Complex Information Processing System", TechReport, RAND Corporation, 676 downloads.

Web Site

  1. F-OWL