1746 search results - page 223 / 350 » A Constructive Semantics for ALC |
94
Voted
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
90
Voted
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
77
Voted
PROMAS
2007
Springer
15 years 7 months ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— The semantics of neural networks can be analyzed mathematically as a distributed system of knowledge and as systems of possible worlds expressed in the knowledge. Learning in a...
101
click to vote
ISPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...