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, 326 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, 3219 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, 1713 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, 1305 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, 1337 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, 1716 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, 1058 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, 1130 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, 1149 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, 537 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, 434 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, 766 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, 797 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, 1174 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, 1150 downloads.

2019

  1. M. M. Rahman and T. Finin, "Unfolding the Structure of a Document using Deep Learning", TechReport, arXiv:1910.03678, September 2019, 1361 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, 2531 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, 1936 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, 829 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, 1749 downloads.
  2. M. M. Rahman and T. Finin, "Understanding the Logical and Semantic Structure of Large Documents", Article, arXiv e-print, September 2017, 1332 downloads.
  3. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", TechReport, arXiv, August 2017, 2018 downloads.
  4. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", Article, CoRR, August 2017, 1505 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, 1167 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, 2688 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, 2114 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, 2242 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, 1919 downloads.
  2. J. Sleeman, "Entity Disambiguation for Wild Big Data Using Multi-Level Clustering", InProceedings, Doctoral Consortium, 14th International Semantic Web Conference, October 2015, 1263 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, 1399 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, 738 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, 3679 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, 1626 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, 1898 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, 3469 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, 4652 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, 2128 downloads.

2009

  1. P. A. Kodeswaran and A. Joshi, "Towards a Declarative Framework For Managing Application and Network Adaptations", Proceedings, IEEE GlobeCom, December 2009, 2331 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, 537 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, 57446 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, 4608 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, 2696 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, 4113 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, 65850 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, 6763 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, 4706 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, 4903 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, 3416 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, 7867 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, 5324 downloads.
  5. S. Agarwal, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Records", TechReport, July 2006, 3593 downloads.
  6. S. Gupta, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Encounter Records", TechReport, UMBC, July 2006, 190 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, 3253 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, 6142 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, 2905 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, 464 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, 3425 downloads.

2005

  1. Z. Ding, "BayesOWL: A Probabilistic Framework for Semantic Web", PhdThesis, University of Maryland, Baltimore County, December 2005, 9929 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, 3152 downloads, 29 citations.
  3. S. Avancha, "A Holistic Approach to Secure Sensor Networks", PhdThesis, UMBC, August 2005, 3726 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, 3501 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, 1443 downloads.
  6. V. Tamma, S. Cranefield, T. Finin, and S. Willmott, "Ontologies for Agents: Theory and Experiences", Book, Springer, July 2005, 13633 downloads.
  7. G. Denker, L. Kagal, and T. Finin, "Security in the Semantic Web using OWL", Article, Elsevier Information Security Technical Report, January 2005, 931 downloads.

2004

  1. H. Chen, "An Intelligent Broker Architecture for Pervasive Context-Aware Systems", PhdThesis, University of Maryland, Baltimore County, December 2004, 8151 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, 12596 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, 5913 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, 3687 downloads, 73 citations.
  5. Y. Zou, "Agent-Based Services for the Semantic Web", PhdThesis, UMBC, Department of Computer Science and Electrical Engineering, August 2004, 6644 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, 6376 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, 5304 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, 3276 downloads, 1 citation.
  9. P. Kolari, "Enhancing Web Privacy with Policy Language and Trust", MastersThesis, UMBC Master's thesis, May 2004, 5013 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, 4381 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, 10103 downloads, 65 citations.
  12. , "Intrusion Detection: Modeling System State to Detect and Classify Aberrant Behavior", PhdThesis, University of Maryland, Baltimore County, February 2004, 7683 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, 5310 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, 2480 downloads.

2002

  1. L. Kagal, "Rei : A Policy Language for the Me-Centric Project", TechReport, HP Labs, September 2002, 4565 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, 3035 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, 5080 downloads.

1996

  1. Y. K. Labrou, "Semantics for an Agent Communication Language", PhdThesis, UMBC, August 1996, 607 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, 603 downloads.

1990

  1. S. Schocken and T. Finin, "Meta-interpreters for rule-based inference under uncertainty", Article, Decision Support Systems, April 1990, 1441 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, 1752 downloads.
  2. T. Finin and G. Morris, "Abductive reasoning in multiple fault diagnosis", Article, Artificial Intelligence Review, July 1989, 1438 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, 1951 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, 802 downloads.
  2. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, University of Pennsylvania, March 1988, 498 downloads.

1987

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

1985

  1. N. Badler and T. Finin, "Computer Graphics and Expert Systems", Article, IEEE Computer Graphics and Applications, November 1985, 574 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, 472 downloads.

1956

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

Web Site

  1. F-OWL