2540 search results - page 166 / 508 » Abstract Logics as Dialgebras |
242
click to vote
ADVIS
2006
Springer
16 years 16 days ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
143
click to vote
VISSOFT
2005
IEEE
16 years 4 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
155
click to vote
CEEMAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
170
click to vote
CONCUR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
177
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...