1734 search results - page 45 / 347 » What works |
AISC
2008
Springer
13 years 10 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based c...
AISC
2006
Springer
13 years 11 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
DAGSTUHL
2003
13 years 9 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
BNCOD
2003
13 years 9 months ago
2003
The event-condition-action paradigm (also known as triggers or rules) gives a database “active” capabilities – the ability to react automatically to changes in the database o...