4595 search results - page 583 / 919 » Reasoning about Plans |
104
Voted
EKAW
2000
Springer
15 years 4 months ago
2000
Springer
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
106
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
106
click to vote
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
89
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
107
click to vote
IDMS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...