Sciweavers

2525 search results - page 73 / 505
» A Framework for Semantic Gossiping
Sort
View
DLOG
2007
15 years 8 months ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
IMCSIT
2010
15 years 3 months ago
Generation of First-Order Expressions from a Broad Coverage HPSG Grammar
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
Ravi Coote, Andreas Wotzlaw
CSFW
2003
IEEE
15 years 11 months ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
DALT
2004
Springer
15 years 11 months ago
On Modelling Multi-agent Systems Declaratively
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
Andrea Bracciali, Paolo Mancarella, Kostas Stathis...
DISCEX
2003
IEEE
15 years 11 months ago
A Role-based Trust-management Framework
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
Ninghui Li, John C. Mitchell