Sciweavers

3032 search results - page 409 / 607
» Description Logic Rules
Sort
View
ICAIL
2003
ACM
15 years 11 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
KR
2000
Springer
15 years 9 months ago
Significant Inferences : Preliminary Report
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
Philippe Besnard, Torsten Schaub
169
Voted
ICMT
2009
Springer
16 years 25 days ago
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
Esther Guerra, Juan de Lara, Fernando Orejas
FUZZIEEE
2007
IEEE
16 years 18 days ago
Prototype-less Fuzzy Clustering
Abstract—In contrast to standard fuzzy clustering, which optimizes a set of prototypes, one for each cluster, this paper studies fuzzy clustering without prototypes. Starting fro...
Christian Borgelt
DEXAW
2006
IEEE
163views Database» more  DEXAW 2006»
16 years 9 days ago
ONTODELLA - A Projection and Linking Service for Semantic Web Applications
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
Kim Viljanen, Teppo Kansala, Eero Hyvönen, Ee...