Sciweavers

1699 search results - page 136 / 340
» A timed semantics of Orc
Sort
View
CONCUR
1994
Springer
14 years 7 days ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
ESWS
2008
Springer
13 years 10 months ago
Forgetting Concepts in DL-Lite
To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, ...
Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan
IJCAI
2007
13 years 9 months ago
On Mining Closed Sets in Multi-Relational Data
We investigate the problem of mining closed sets in multi-relational databases. Previous work introduced different semantics and associated algorithms for mining closed sets in mu...
Gemma C. Garriga, Roni Khardon, Luc De Raedt
TPLP
2010
115views more  TPLP 2010»
13 years 6 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
ACL
2012
11 years 10 months ago
Crowdsourcing Inference-Rule Evaluation
The importance of inference rules to semantic applications has long been recognized and extensive work has been carried out to automatically acquire inference-rule resources. Howe...
Naomi Zeichner, Jonathan Berant, Ido Dagan