Tags: prolog

Publications

2003

  1. F. Perich, A. Cedilnik, L. Kagal, and A. Joshi, "A Secure Infrastructure for Service Discovery and Access in Pervasive Computing", Article, ACM Monet: Special Issue on Security in Mobile Computing Environments, October 2003, 4395 downloads, 44 citations.
  2. B. Grosof, M. Gandhe, and T. Finin, "SweetJess: Inferencing in Situated Courteous RuleML via Translation to and from Jess Rules", TechReport, May 2003, 2121 downloads.

2002

  1. 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, 2666 downloads, 51 citations.

2001

  1. H. Chen, S. Tolia, C. Sayers, T. Finin, and A. Joshi, "Creating Context-Aware Software Agents", Article, First GSFC/JPL Workshop on Radical Agent Concepts, September 2001, 3592 downloads, 30 citations.
  2. A. Cedilnik, L. Kagal, F. Perich, and A. Joshi, "A Secure Infrastructure for Service Discovery and Access in Pervasive Computing", TechReport, University of Maryland, Baltimore County, August 2001, 4375 downloads.
  3. L. Kagal, T. Finin, and Y. Peng, "A Delegation Based Model for Distributed Trust", InProceedings, Workshop on Autonomy, Delegation, and Control: Interacting with Autonomous Agents, International Joint Conferences on Artificial Intelligence, August 2001, 1128 downloads, 69 citations.
  4. L. Kagal, T. Finin, R. S. Cost, and Y. Peng, "A Framework for Distributed Trust Management", InProceedings, Second Workshop on Norms and Institutions in multi-agent systems, June 2001, 3743 downloads, 1 citation.

1999

  1. T. Finin, "Pfc Users Manual", TechReport, August 1999, 140 downloads.

1996

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

1993

  1. M. Palmer, C. Weir, R. J. Passonneau, and T. Finin, "The Kernel Natural Language Processing System", Article, Artificial Intelligence, October 1993, 2478 downloads, 45 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, 12 downloads.

1990

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

1989

  1. T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, 5th Artificial Intelligence Applications, March 1989, 1314 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, 245 downloads.
  2. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, University of Pennsylvania, March 1988, 31 downloads.

1987

  1. S. Schocken and T. Finin, "Prolog Meta-Interpreters for Rule-Based Inference Under Uncertainty", TechReport, New York University, September 1987, 165 downloads.

1986

  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, 2553 downloads, 46 citations.

Old News

  1. SweetRules v2.1 released
    April 25, 2005

Old Events

  1. RAP: RDF Access-control Policies.
    February 2, 2005