1024 search results - page 72 / 205 » Value complete, column complete, predicate complete |
ICLP
1990
Springer
15 years 5 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...
108
click to vote
ISSTA
1989
ACM
15 years 5 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
144
click to vote
PODS
1991
ACM
15 years 5 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
111
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...