Sciweavers

3604 search results - page 669 / 721
» Relation rule mining
Sort
View
IGPL
2010
101views more  IGPL 2010»
13 years 8 months ago
Robust normative systems and a logic of norm compliance
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IGPL
2010
132views more  IGPL 2010»
13 years 8 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
IPM
2010
133views more  IPM 2010»
13 years 8 months ago
A concept-relationship acquisition and inference approach for hierarchical taxonomy construction from tags
Taxonomy construction is a resource-demanding, top down, and time consuming effort. It does not always cater for the prevailing context of the captured information. This paper pro...
Eric Tsui, W. M. Wang, Chi Fai Cheung, Adela S. M....
JAR
2010
123views more  JAR 2010»
13 years 8 months ago
A Framework for Proof Systems
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
Vivek Nigam, Dale Miller
JITECH
2010
116views more  JITECH 2010»
13 years 8 months ago
Design theory for dynamic complexity in information infrastructures: the case of building internet
We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
Ole Hanseth, Kalle Lyytinen