Sciweavers

3032 search results - page 464 / 607
» Description Logic Rules
Sort
View
JTAER
2007
123views more  JTAER 2007»
13 years 10 months ago
Business Model Scenarios for Remote Management
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
Olivier Braet, Pieter Ballon
COLING
2002
13 years 10 months ago
A Complete Integrated NLG System Using AI and NLU Tools
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
Laurence Danlos, Adil El Ghali
CORR
2002
Springer
115views Education» more  CORR 2002»
13 years 10 months ago
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
Yves Moinard
TCS
2002
13 years 10 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
DLOG
2010
13 years 8 months ago
A MapReduce Algorithm for EL+
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
Raghava Mutharaju, Frederick Maier, Pascal Hitzler