3319 search results - page 143 / 664 » Subshifts, Languages and Logic |
116
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
111
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...
106
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
121
click to vote
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...