Sciweavers

2576 search results - page 142 / 516
» The Complexity of Zero Knowledge
Sort
View
159
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
Application-specific scheduling for the organic grid
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
Arjav J. Chakravarti, Gerald Baumgartner, Mario La...
CAISE
2004
Springer
15 years 10 months ago
Ontology of Enterprise Competencies
Abstract. Ontologies constitute a pertinent mean to define and to manage competencies and knowledge in companies. The powerful inference mechanisms coming with ontologies allow imp...
M. Harzallah
AAAI
2010
15 years 6 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
JACM
2010
137views more  JACM 2010»
15 years 3 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
AI
2008
Springer
15 years 5 months ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini