6201 search results - page 215 / 1241 » Implementation of Axiomatic Language |
151
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
130
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
138
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
138
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
159
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...