Sciweavers

3032 search results - page 409 / 607
» Description Logic Rules
Sort
View
111
Voted
ICAIL
2003
ACM
15 years 6 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
99
Voted
KR
2000
Springer
15 years 4 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
109
Voted
ICMT
2009
Springer
15 years 7 months 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
15 years 7 months 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
120
Voted
DEXAW
2006
IEEE
163views Database» more  DEXAW 2006»
15 years 6 months 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...