6794 search results - page 1008 / 1359 » Semantics of Visual Languages |
134
Voted
IPL
2007
15 years 5 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
143
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
157
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
131
Voted
RULEML
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
170
click to vote
RWEB
2010
Springer
15 years 3 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...