1864 search results - page 71 / 373 » Formal topology and domains |
150
click to vote
MODELS
2009
Springer
16 years 22 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
141
click to vote
CLA
2004
15 years 7 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
175
click to vote
AAAI
2000
15 years 7 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
174
click to vote
AAAI
1996
15 years 7 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
166
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...