3319 search results - page 18 / 664 » Subshifts, Languages and Logic |
POPL
1997
ACM
14 years 8 days ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
FM
2011
Springer
13 years 6 days ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
MLG
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
AAAI
2000
13 years 10 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...