Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Software

[Software] University of Kahlsruhe, (1999) KAMEL and KOMET. [Other]

Full text not available from this archive.


At the core of the Karlsruhe Open MEdiator archiTecture is a knowledge processing engine whose strengths include general non-monotonic reasoning, clean semantics, extensibility through annotations and other means, an efficient evaluation strategy and portable code. KOMET also includes translators, software components which connect individual knowledge sources to the mediator. The KArlsruhe MEdiator Language is a declarative language which incorporates several strong concepts: multivalued logic and non-monotonicity with wellfounded semantics, extended GAP which enables reasoning on temporal and spatial circumstances and uncertainty, embedding of knowledge source specific terms, multiple sort (type) hierarchies.

Status: Completed
Maturity: Other
License: Other
Support: Other
Application Areas: Infrastructure
Deposited by AgentLink Archive Administrator on 12 October 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.