Tags: logic

Research Areas

  1. Cloud computing

Publications

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, 1075 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, 386 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, 1052 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, 1071 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, 1331 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, 810 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, 841 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, 804 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, 456 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, 369 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, 678 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, 707 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, 986 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, 1098 downloads.

2019

  1. M. M. Rahman and T. Finin, "Unfolding the Structure of a Document using Deep Learning", TechReport, arXiv:1910.03678, September 2019, 1181 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, 2224 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, 1648 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, 763 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, 1685 downloads.
  2. M. M. Rahman and T. Finin, "Understanding the Logical and Semantic Structure of Large Documents", Article, arXiv e-print, September 2017, 1269 downloads.
  3. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", TechReport, arXiv, August 2017, 1804 downloads.
  4. S. Mittal, A. Joshi, and T. Finin, "Thinking, Fast and Slow: Combining Vector Spaces and Knowledge Graphs", Article, CoRR, August 2017, 1426 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, 1080 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, 2454 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, 1888 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, 2176 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, 1841 downloads.
  2. J. Sleeman, "Entity Disambiguation for Wild Big Data Using Multi-Level Clustering", InProceedings, Doctoral Consortium, 14th International Semantic Web Conference, October 2015, 1200 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, 1301 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, 668 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, 3523 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, 1549 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, 1806 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, 3372 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, 4559 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, 2040 downloads.

2009

  1. P. A. Kodeswaran and A. Joshi, "Towards a Declarative Framework For Managing Application and Network Adaptations", Proceedings, IEEE GlobeCom, December 2009, 2236 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, 470 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, 57337 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, 4446 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, 2587 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, 4014 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, 65428 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, 6619 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, 4622 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, 4812 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, 3337 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, 7739 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, 5218 downloads.
  5. S. Agarwal, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Records", TechReport, July 2006, 3537 downloads.
  6. S. Gupta, A. Joshi, and T. Finin, "Context-Aware System to Create Electronic Medical Encounter Records", TechReport, UMBC, July 2006, 128 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, 3142 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, 6052 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, 2824 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, 380 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, 3333 downloads.

2005

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

2004

  1. H. Chen, "An Intelligent Broker Architecture for Pervasive Context-Aware Systems", PhdThesis, University of Maryland, Baltimore County, December 2004, 8071 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, 12408 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, 5798 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, 3592 downloads, 73 citations.
  5. Y. Zou, "Agent-Based Services for the Semantic Web", PhdThesis, UMBC, Department of Computer Science and Electrical Engineering, August 2004, 6562 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, 6269 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, 5221 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, 3179 downloads, 1 citation.
  9. P. Kolari, "Enhancing Web Privacy with Policy Language and Trust", MastersThesis, UMBC Master's thesis, May 2004, 4930 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, 4260 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, 9981 downloads, 65 citations.
  12. , "Intrusion Detection: Modeling System State to Detect and Classify Aberrant Behavior", PhdThesis, University of Maryland, Baltimore County, February 2004, 7614 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, 5160 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, 2425 downloads.

2002

  1. L. Kagal, "Rei : A Policy Language for the Me-Centric Project", TechReport, HP Labs, September 2002, 4468 downloads.
  2. M. Gandhe, T. Finin, and B. Grosof, "SweetJess: Translating DamlRuleML to Jess", InProceedings, International Workshop on Rule Markup Languages for Business Rules on the Semantic Web in conjunction with ISWC2002, June 2002, 2971 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, 4982 downloads.

1996

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

1990

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

1987

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

1985

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

1956

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

Web Site

  1. F-OWL