Tags: prolog

Publications

2003

  1. J. Undercoffer, 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, 4912 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, 2477 downloads.

2002

  1. 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, 3030 downloads, 51 citations.
  2. H. Chen, S. Tolia, C. Sayers, T. Finin, and A. Joshi, "Creating Context-Aware Software Agents", InProceedings, Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, January 2002, 4272 downloads, 30 citations.

2001

  1. A. Cedilnik, L. Kagal, F. Perich, J. Undercoffer, and A. Joshi, "A Secure Infrastructure for Service Discovery and Access in Pervasive Computing", TechReport, University of Maryland, Baltimore County, August 2001, 4851 downloads.
  2. 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, 1608 downloads, 69 citations.
  3. 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, May 2001, 4536 downloads, 1 citation.

1999

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

1996

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

1993

  1. M. Palmer, C. Weir, R. J. Passonneau, and T. Finin, "The Kernel Text Understanding System", Article, Artificial Intelligence, October 1993, 3384 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, 598 downloads.

1990

  1. R. J. Passonneau, C. Weir, T. Finin, and M. Palmer, "Integrating Natural Language Processing and Knowledge Based Processing", InProceedings, Proceedings of the National Conference on Artificial Intelligence, August 1990, 397 downloads.
  2. S. Schocken and T. Finin, "Meta-interpreters for rule-based inference under uncertainty", Article, Decision Support Systems, April 1990, 1438 downloads.

1989

  1. 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, 1947 downloads.
  2. T. Finin, "GUMS — A General User Modeling Shell", InBook, User Models in Dialog Systems, January 1989, 2172 downloads.

1988

  1. T. Finin, "Default Reasoning and Stereotypes in User Modelling", Article, International Journal of Expert Systems, September 1988, 678 downloads.
  2. 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, 801 downloads.
  3. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, University of Pennsylvania, March 1988, 494 downloads.

1987

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

1986

  1. T. Finin and D. Drager, "GUMS1 : A General User Modeling System", InProceedings, Proceedings of the Sixth Canadian Conference on Artificial Intelligence, May 1986, 825 downloads.
  2. T. Finin and D. Drager, "GUMS1: A General User Modeling System", InProceedings, Proceedings of the Strategic Computing - Natural Language Workshop, May 1986, 3025 downloads, 46 citations.

1984

  1. T. Finin, J. McAdams, and P. Kleinosky, "FOREST - An Expert System for Automatic Test Equipment", InProceedings, First IEEE Conference on Artificial Intelligent Applications, December 1984, 471 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, 467 downloads.

Old News

  1. SweetRules v2.1 released
    April 25, 2005

Old Events

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