3468 search results - page 94 / 694 » An open logical framework |
129
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
104
click to vote
JLP
2006
15 years 19 days ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
80
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
93
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Nowadays, engineering studies are characterized by high mobility of students, lecturers and workforce and by the dynamics of multinational companies where "classes&q...
137
click to vote
IADT
1998
15 years 2 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...