Tags: sat

Refereed Publications


  1. A. Bandi, K. P. Joshi, and V. Mulwad, "Affinity Propagation Initialisation Based Proximity Clustering For Labeling in Natural Language Based Big Data Systems", InProceedings, 6th IEEE International Conference on Big Data Security on Cloud (BigDataSecurity 2020), May 2020, 74 downloads.
  2. R. Ayanzadeh, M. Halem, and T. Finin, "Reinforcement Quantum Annealing: A Hybrid Quantum Learning Automata", Article, Nature Scientific Reports, May 2020, 65 downloads.
  3. R. Ayanzadeh, "Leveraging Artificial Intelligence to Advance Problem-Solving with Quantum Annealers", PhdThesis, University of Maryland, Baltimore County, May 2020, 118 downloads.
  4. R. Ayanzadeh, M. Halem, and T. Finin, "Reinforcement Quantum Annealing: A Quantum-Assisted Learning Automata Approach", Article, arXiv:2001.00234 [quant-ph], January 2020, 218 downloads.


  1. R. Ayanzadeh, M. Halem, and T. Finin, "SAT-based Compressive Sensing", Article, arXiv:1903.03650 [cs.IT], March 2019, 206 downloads.


  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. Y. Sun, "On the Integration of Inconsistent Knowledge with Bayseian Networks", PhdThesis, University of Maryland, Baltimore County, May 2018, 34 downloads.


  1. K. Chopra, R. Bose, and A. Joshi, "Secure Power Trading in Cooperative Relay Network With Asymmetric Cournot Duopoly Model", InProceedings, 12th Annual Symposium On Information Assurance (ASIA’17), May 2017, 514 downloads.
  2. K. Chopra, R. Bose, and A. Joshi, "Secrecy Performance of Threshold-Based Decode-and-Forward Cooperative Cognitive Radio Network", Article, IET Communications 2017, February 2017, 436 downloads.


  1. 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, 1223 downloads.
  2. Y. Gui, "Convexification and Deconvexification for Training Artificial Neural Networks", PhdThesis, May 2016, 9 downloads.


  1. Y. Lee, "Automatic Service Search and Composability Analysis in Large Scale Service Networks", PhdThesis, University of Maryland, Baltimore County, December 2015, 658 downloads.


  1. v. Stoyanov, J. Mayfield, T. Xu, D. Oard, D. Lawrie, T. Oates, and T. Finin, "A Context-Aware Approach to Entity Linking", InProceedings, Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction, June 2012, 2352 downloads.
  2. Y. Peng, Z. Ding, S. Zhang, and R. Pan, "Bayesian Network Revision with Probabilistic Constraints", Article, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, March 2012, 11 downloads.


  1. W. Li, A. Joshi, and T. Finin, "SAT: an SVM-based Automated Trust Management System for Mobile Ad-hoc Networks", InProceedings, Proceedings of the 2011 Military Communications Conference, November 2011, 1555 downloads.


  1. I. Mayk, A. Patwardhan, and e., "Tactical Information Technology for Assured Network Operations Information Dissemination and Management for Battle Command Support Services", InProceedings, Proceedings of the 27th Army Science Conference, November 2010, 1106 downloads.
  2. C. Tilmes, Y. Yesha, and M. Halem, "Provenance Artifact Identification in the Atmospheric Composition Processing System (ACPS)", InProceedings, Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, February 2010, 945 downloads, 1 citation.


  1. M. Halem, C. Tilmes, Y. Yesha, D. Chapman, and P. Nguyen, "Providing Gridded Atmospheric Radiance Products and Services from MODIS and AIRS Instruments on NASA's Aqua Satellite", Article, IEEE Geoscience and Remote Sensing Symposium, 2008., February 2009.
  2. C. Tilmes, M. Linda, and A. J. Fleig, "Atmospheric Composition Processing System (ACPS)", Article, IEEE Transactions on Geoscience and Remote Sensing, January 2009.
  3. M. Halem, N. Most, C. Tilmes, K. Stewart, Y. Yesha, D. Chapman, and P. Nguyen, "Service-Oriented Atmospheric Radiances (SOAR): Gridding and Analysis Services for Multisensor Aqua IR Radiance Data for Climate Studies", Article, IEEE Transactions on Geoscience and Remote Sensing, January 2009.


  1. S. Zhang, Y. Peng, and X. Wang, "An Efficient Method for Probabilistic Knowledge Integration", InProceedings, Proceedings of The 20th IEEE International Conference on Tools with Artificial Intelligence, November 2008, 1641 downloads, 2 citations.
  2. C. Tilmes, "Standardizing Interfaces for External Access to Data and Processing for the NASA Ozone Product Evaluation And Test Element", InProceedings, Proceedings of the 2008 Geoinformatics Conference , July 2008.
  3. M. A. Grasso, "A computerized approach to glycemic control in critical illness", Proceedings, American College of Physicians, Maryland Regional Associates Meeting, Baltimore Maryland, May 2008.


  1. P. Kolari, "Detecting Spam Blogs: An Adaptive Online Approach", PhdThesis, Ph.D. Dissertation, December 2007, 8113 downloads, 3 citations.
  2. M. Halem, Y. Yesha, C. Tilmes, D. Chapman, N. Most, and A. Bertolli, "SOAR: A System for the Analysis of Atmospheric Radiances", InProceedings, EOS Transactions, December 2007.
  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. M. Halem, Y. Yesha, C. Tilmes, D. Chapman, M. Goldberg, and L. Zhou, "A Web Service Tool (SOAR) for the Dynamic Generation of L1 Grids of Coincident AIRS, AMSU and MODIS Satellite Sounding Radiance Data for Climate Studies", Article, EOS Transactions, June 2007.
  5. A. Patwardhan, J. Parker, M. Iorga, A. Joshi, T. Karygiannis, and Y. Yesha, "Threshold-based Intrusion Detection in Ad Hoc Networks and Secure AODV", Article, Ad Hoc Networks Journal (ADHOCNET), May 2007, 2984 downloads, 16 citations.
  6. A. Java, "A Framework for Modeling Influence, Opinions and Structure in Social Media", InProceedings, 22nd Conference on Artificial Intelligence (AAAI 2007), April 2007, 4718 downloads, 4 citations.
  7. L. Kagal and T. Finin, "Modeling Conversation Policies using Permissions and Obligations", Article, Journal of Autonomous Agents and Multi-Agent Systems, April 2007, 2444 downloads.


  1. P. Kolari, T. Finin, Y. Yesha, K. Lyons, S. Perelgut, and J. Hawkins, "Monitoring Conversations on the Blogosphere: An Enterprise Perspective", InProceedings, CASCON 2006 Exhibit Program, October 2006.
  2. M. A. Grasso and e., "Survey of handheld computing among medical students", Article, Computer Methods and Programs in Biomedicine, June 2006.
  3. P. Kolari, T. Finin, and A. Joshi, "SVMs for the Blogosphere: Blog Identification and Splog Detection", InProceedings, AAAI Spring Symposium on Computational Approaches to Analysing Weblogs, March 2006, 12716 downloads, 112 citations.


  1. Y. Peng and Z. Ding, "Modifying Bayesian Networks by Probability Constraints", InProceedings, Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, July 2005, 2447 downloads, 18 citations.
  2. L. Kagal and T. Finin, "Modeling Communicative Behavior using Permissions and Obligations", InBook, Developments in Agent Communication, Eds. Frank Dignum, Rogier van Eijk, Marc-Philippe Huget, January 2005, 3020 downloads, 14 citations.


  1. L. Kagal, T. Finin, and A. Joshi, "Declarative Policies for Describing Web Service Capabilities and Constraints", InProceedings, W3C Workshop on Constraints and Capabilities for Web Services, October 2004, 7862 downloads, 23 citations.
  2. X. Luan, Y. Peng, and T. Finin, "Quantitative Agent Service Matching", InProceedings, Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence, September 2004, 4 citations.
  3. L. Kagal, "A Policy-Based Approach to Governing Autonomous Behavior in Distributed Environments", PhdThesis, University of Maryland Baltimore County, September 2004, 10 citations.
  4. A. Patwardhan, V. Korolev, L. Kagal, and A. Joshi, "Enforcing Policies in Pervasive Environments", InProceedings, International Conference on Mobile and Ubiquitous Systems: Networking and Services, August 2004, 5304 downloads, 30 citations.
  5. L. Kagal and T. Finin, "Modeling Conversation Policies using Permissions and Obligations", InProceedings, AAMAS 2004 Workshop on Agent Communication (AC2004), July 2004, 4302 downloads, 50 citations.


  1. O. V. Ratsimor, T. Finin, A. Joshi, and Y. Yesha, "eNcentive: A Framework for Intelligent Marketing in Mobile Peer-To-Peer Environments", InProceedings, The 5th International Conference on Electronic Commerce (ICEC 2003), October 2003, 6270 downloads, 42 citations.
  2. F. Perich, A. Joshi, and Y. Yesha, "Neighborhood-Consistent Transaction Management for Pervasive Computing Environments", InProceedings, 14th International Conference on Database and Expert Systems Applications (DEXA 2003), September 2003, 4388 downloads, 11 citations.
  3. S. Quirolgico, N. Srinivasan, and V. Korolev, "Wireless Agents in Ad Hoc Networks", InBook, Lecture Notes in Artificial Intelligence, June 2003.


  1. R. S. Cost, Y. Chen, T. Finin, Y. K. Labrou, and Y. Peng, "Using Colored Petri Nets for Conversation Modeling", InBook, Agent Communication Languages, September 2000, 5066 downloads, 77 citations.
  2. Y. K. Labrou and T. Finin, "History, State of the Art and Challenges for Agent Communication Languages", Article, Informatik/Informatique, January 2000, 2281 downloads, 9 citations.


  1. R. S. Cost, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, and A. Boughannam, "An Agent-based Infrastructure for Enterprise Integration", InProceedings, Proceedings of the First International Symposium on Agent Systems and Applications, October 1999, 2025 downloads, 23 citations.
  2. R. S. Cost, "A framework for developing conversational agents", PhdThesis, University of Maryland, Baltimore County, August 1999, 42 downloads.
  3. R. S. Cost, Y. Chen, T. Finin, Y. K. Labrou, and Y. Peng, "Modeling agent conversations with colored petri nets", InProceedings, Working notes of the Autonomous Agents '99 Workshop on Specifying and Implementing Conversation Policies, May 1999, 2871 downloads, 114 citations.
  4. R. S. Cost, T. Finin, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, and A. Boughannam, "Agent development with Jackal", InProceedings, Third annual conference on Autonomous Agents, May 1999, 728 downloads.
  5. Y. Chen, Y. Peng, T. Finin, Y. K. Labrou, B. Chu, J. Yao, R. Sun, and R. Wilhelm, "A negotiation-based Multi-agent System for Supply Chain Management", InProceedings, Workshop on supply chain management, International Conference on Autonomous Agents and Multiagent Systems, April 1999, 26 downloads.


  1. R. S. Cost, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, and A. Boughannam, "Jackal: a Java-based Tool for Agent Development", InProceedings, Proceedings of the Workshop on Tools for Agent Development, July 1998, 9308 downloads, 61 citations.
  2. Q. He, K. Sycara, and T. Finin, "Personal Security Agent: KQML-based PKI", InProceedings, Proceedings of the 2nd International Conference on Autonomous Agents, May 1998, 2119 downloads, 49 citations.


  1. M. A. Grasso, "Speech Input in Multimodal Environments: Effects of Perceptual Structure on Speed, Accuracy, and Acceptance", PhdThesis, May 1997, 2522 downloads, 1 citation.


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


  1. C. Thirunavukkarasu, T. Finin, and J. Mayfield, "Secret Agents - A Security Architecture for the KQML Agent Communication Language", InProceedings, CIKM'95 Intelligent Information Agents Workshop, October 1995, 96 downloads.


  1. T. Finin and D. Drager, "GUMS: A General User Modeling System", InProceedings, Proceedings of the workshop on Strategic computing natural language of the Human Language Technology Conference , May 1986, 2259 downloads, 46 citations.


  1. T. Finin, B. Goodman, and H. Tennant, "JETS: Achieving Completeness through Coverage and Closure", InProceedings, Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), August 1979, 902 downloads.

Old Conferences

  1. Policy Management for the Web
    May 10, 2005