3207 search results - page 314 / 642 » A Semantics for HTN Methods |
131
click to vote
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we explore the potential of concept indexing with WordNet synsets for Text Categorization, in comparison with the traditional bag of words text representation model. ...
113
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
146
Voted
FM
2001
Springer
15 years 9 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
134
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
161
click to vote
ZUM
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...