6201 search results - page 184 / 1241 » Implementation of Axiomatic Language |
146
click to vote
ICGI
2010
Springer
15 years 5 months ago
2010
Springer
In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called...
166
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
164
click to vote
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
142
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
155
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow i...