Opening book details…
Can I read The Limits of Fixed-order Computation on EtoBox?
The Limits of Fixed-order Computation by Konstantinos Sagonas; Terrance Swift; David S. Warren is a Computer Science article available to read on EtoBox.
What is The Limits of Fixed-order Computation about?
Fixed-order computation rules, used by Prolog and most deductive database systems, do not su ce to compute the well-founded semantics (Van Gelder et al., J. ACM 38(3) (1991) 620 -650) because they cannot properly resolve loops through negation. This inadequacy is re ected both in formulations of SLS-resolution (Przymusinski, in:
Who reads The Limits of Fixed-order Computation?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Konstantinos Sagonas; Terrance Swift; David S. Warren
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 2001
- Language
- EN
- Field
- Computer Science (Physical Sciences)
More by Konstantinos Sagonas; Terrance Swift; David S. Warren
Browse all works by Konstantinos Sagonas; Terrance Swift; David S. Warren