3983 search results - page 80 / 797 » Conceptual logic programs |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
ICLP
1998
Springer
14 years 1 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 ...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
EDBT
1998
ACM
14 years 1 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
CL
2000
Springer
14 years 1 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...