Sciweavers

318 search results - page 26 / 64
» Formal Description of Autopoiesis Based on the Theory of Cat...
Sort
View
ISEMANTICS
2010
13 years 6 months ago
Taking the LIDS off data silos
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
Sebastian Speiser, Andreas Harth
DLOG
2008
13 years 10 months ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer
ATAL
2009
Springer
14 years 3 months ago
MASQ: towards an integral approach to interaction
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
Tiberiu Stratulat, Jacques Ferber, John Tranier
CORR
2011
Springer
144views Education» more  CORR 2011»
13 years 6 days ago
Rank Aggregation via Nuclear Norm Minimization
The process of rank aggregation is intimately intertwined with the structure of skew-symmetric matrices. We apply recent advances in the theory and algorithms of matrix completion...
David F. Gleich, Lek-Heng Lim
ICAIL
2003
ACM
14 years 1 months ago
Logic-Based Regulation Compliance-Assistance
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
Shawn Kerrigan, Kincho H. Law