3244 search results - page 134 / 649 » Extensions to Description Logics |
163
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
157
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
158
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
171
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
138
click to vote
ACL
2001
15 years 7 months ago
2001
We describe a biographical multidocument summarizer that summarizes information about people described in the news. The summarizer uses corpus statistics along with linguistic kno...