3440 search results - page 38 / 688 » Logics For Context-Free Languages |
128
click to vote
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
138
click to vote
POPL
1997
ACM
15 years 5 months 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...
MLG
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
127
click to vote
DIAGRAMS
2008
Springer
15 years 3 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 ...
115
click to vote
AAAI
2000
15 years 3 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 ...