725 search results - page 43 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
ICLP
1990
Springer
15 years 6 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
126
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
176
Voted
AGP
2010
IEEE
15 years 17 days ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
123
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
140
click to vote
FOCS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...