754 search results - page 84 / 151 » An Ordered Logic Program Solver |
103
click to vote
CORR
2007
Springer
15 years 21 days ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
126
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
112
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
103
Voted
PODS
2005
ACM
16 years 25 days ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
132
Voted
FPGA
1992
ACM
15 years 4 months ago
1992
ACM
The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path...