Tags: logic programming

Publications

2005

  1. 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, 2814 downloads, 29 citations.
  2. 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, 3081 downloads.

1991

  1. T. Finin and J. McGuire, "Inheritance in Logic Programming Knowledge Bases", InBook, Inheritance Hierarchies in Knowledge Representation and Programming Languages, March 1991, 149 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, 1478 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, 352 downloads.
  2. T. Finin and J. McGuire, "A Hierarchical Database Model for a Logic Programming Language", TechReport, University of Pennsylvania, March 1988, 152 downloads.

1987

  1. T. Finin and M. Palmer, "Parsing with Logical Variables", InBook, Natural Language Parsing Systems, January 1987, 119 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, 127 downloads.

Old Events

  1. Reverse engineering RBAC policies using ILP
    December 2, 2008