421 search results - page 63 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
127
click to vote
APCCM
2009
15 years 5 days ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
115
click to vote
ECSQARU
2005
Springer
15 years 4 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...