Welcome to the site of
the research group on:

Ontologies,
Reasoning,
   Components,
Agents and
Simulations

at CIn-UFPE.

Research Themes

People

Publications

Bi-Weekly Seminars

Bibliography

Software Tools

Links

Contact: 
orcas@cin.ufpe.br

Bibliography related to our research

• Ontologies:

  • Model-Driven Architecture

    • UML

      • OCL

      • MOF

      • XMI

      • UML-Based CASE Tools

    • Model Transformation and Design Patterns

    • Code Generation

  • Semantic Web

    • XML

      • XMLS

      • XSLT

      • VXML

    • RDF

      • RDFS

    • OWL and DAML-OIL

    • RuleML

    • OWL Rule and DAML Rule

    • UML for Semantic Web

• Reasoning:

  • Certain Reasoning

    • Monotonic Deduction

      • Description Logics

      • Definite Logic Programming

      • Theorem Proving

      • Action Languages

        • Situation Calculus

        • Event Calculus

    • Non-Monotonic Deduction

      • Production Systems

        • Object-Oriented Production Systems

      • Transaction Logic Programming

      • Object-Oriented Logic Programming

        • F-Logic

        • Lopix and Florid

        • Silri

        • Flora

        • Triple

    • Constraint Logic Programming

    • Deterministic Planning

  • Uncertain Reasoning

    • Abduction

      • Negation as Failure

      • Inheritance with Overriding

      • Abductive Logic Programming

      • Belief Revision

    • Probabilistic Reasoning

      • Propositional Bayesian Networks

      • First-Order Probabilistic Reasoning

      • Non-Deterministic Planning

    • Decision-Theoretic Reasoning

      • Decision Networks

      • Reinforcement Learning

    • Analogy

      • Instance-Based Learning

      • Clustering

    • Induction

      • Propositional Inductive Learning

      • Inductive Logic Programming

• Components:

  • CBSE Methodologies

  • CBSE CASE Tools

  • Component-Based implementation platforms

    • EJB

    • Component.Net

  • Aspect-Oriented Development

• Agents:

  • AOSE Methodologies

  • AOSE CASE Tools

  • Multi-Agent Systems Architectures

  • Multi-Agent Analysis and Debugging

  • RoboCup

    • Soccer Server

    • Soccer Monitors

    • Reusable Components

    • Teams

    • Analysis and Commentary Tools

• Natural Language Processing:

  • Natural Language Generation

    • Architectures

    • Development Processes

    • XSLT-Based

    • Content Determination

    • Content Organization

      • Interactive Document Organization

        • Hypertext Organization

        • Dialog Organization

      • Page Organization

      • Phrase Organization

    • Content Linguistic Realization

      • Lexicalization and Computational Lexicons

      • Syntactic Realization and Computational Grammars

      • Morphology, Linearization and Formatting

  • Speech Processing

    • Speech Recognition

    • Speech Synthesis

    • Tools

Last updated: 19/01/2004 by Túlio Caraciolo.