3440 search results - page 315 / 688 » Logics For Context-Free Languages |
178
click to vote
TOOLS
1999
IEEE
15 years 12 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
183
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
217
click to vote
ASWC
2006
Springer
15 years 11 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
192
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
204
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...