Magic Sets

Real Analysis Exchange ◽

10.14321/realanalexch.43.1.0187 ◽

2018 ◽

Vol 43 (1) ◽

pp. 187 ◽

Author(s):

Lorenz Halbeisen ◽

Marc Lischka ◽

Salome Schumacher

Keyword(s):

Download Full-text

Magic sets for polynomials of degree n

Linear Algebra and its Applications ◽

10.1016/j.laa.2020.09.026 ◽

2021 ◽

Vol 609 ◽

pp. 413-441

Author(s):

Lorenz Halbeisen ◽

Norbert Hungerbühler ◽

Salome Schumacher

Keyword(s):

Download Full-text

Magic Sets vs. SLD-Resolution

Workshops in Computing - Advances in Databases and Information Systems ◽

10.1007/978-1-4471-1486-4_13 ◽

1996 ◽

pp. 185-203 ◽

Author(s):

Stefan Brass

Keyword(s):

Download Full-text

Dynamic Magic Sets and super-coherent answer set programs

AI Communications ◽

10.3233/aic-2011-0492 ◽

2011 ◽

Vol 24 (2) ◽

pp. 125-145 ◽

Author(s):

Mario Alviano ◽

Wolfgang Faber

Keyword(s):

Download Full-text

Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_18 ◽

1997 ◽

pp. 176-190 ◽

Author(s):

Ryuzo Hasegawa ◽

Katsumi Inoue ◽

Yoshihiko Ohta ◽

Miyuki Koshimura

Keyword(s):

Theorem Proving ◽

Top Down ◽

Bottom Up ◽

Download Full-text

Magic sets with full sharing

The Journal of Logic Programming ◽

10.1016/s0743-1066(96)00119-7 ◽

1997 ◽

Vol 30 (3) ◽

pp. 223-237 ◽

Author(s):

Paulo J. Azevedo

Keyword(s):

Download Full-text

Modular stratification and magic sets for DATALOG programs with negation

Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90 ◽

10.1145/298514.298558 ◽

1990 ◽

Author(s):

Kenneth A. Ross

Keyword(s):

Download Full-text

Magic sets and other strange ways to implement logic programs (extended abstract)

Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '86 ◽

10.1145/6012.15399 ◽

1986 ◽

Author(s):

Francois Bancilhon ◽

David Maier ◽

Yehoshua Sagiv ◽

Jeffrey D Ullman

Keyword(s):

Logic Programs ◽

Download Full-text

Magic sets revisited

Journal of Computer Science and Technology ◽

10.1007/bf02943154 ◽

1997 ◽

Vol 12 (4) ◽

pp. 346-365 ◽

Author(s):

Yangjun Chen

Keyword(s):

Download Full-text

Modular stratification and magic sets for Datalog programs with negation

Journal of the ACM ◽

10.1145/195613.195646 ◽

1994 ◽

Vol 41 (6) ◽

pp. 1216-1266 ◽

Author(s):

Kenneth A. Ross

Keyword(s):

Download Full-text

Magic Sets

First-Order Logic ◽

10.1007/978-3-642-86718-7_9 ◽

1968 ◽

pp. 86-91

Author(s):

Raymond M. Smullyan

Keyword(s):

Download Full-text