1864 search results - page 79 / 373 » Formal topology and domains |
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
145
click to vote
NCA
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atom...
189
click to vote
KI
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
199
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
166
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...