764 search results - page 66 / 153 » On the Expressibility of Stable Logic Programming |
127
Voted
TYPES
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
125
Voted
ICTAI
1996
IEEE
15 years 7 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
146
Voted
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
129
Voted
PTS
2008
15 years 5 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
138
Voted
BIOSYSTEMS
2007
15 years 3 months ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...