ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Magic Sets
First-Order Logic
◽
10.1007/978-3-642-86718-7_9
◽
1968
◽
pp. 86-91
Author(s):
Raymond M. Smullyan
Keyword(s):
Magic Sets
Download Full-text
Related Documents
Cited By
References
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):
Magic Sets
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
◽
Cited By ~ 1
Author(s):
Stefan Brass
Keyword(s):
Magic Sets
◽
Sld Resolution
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
◽
Cited By ~ 11
Author(s):
Mario Alviano
◽
Wolfgang Faber
Keyword(s):
Magic Sets
◽
Answer Set
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
◽
Cited By ~ 10
Author(s):
Ryuzo Hasegawa
◽
Katsumi Inoue
◽
Yoshihiko Ohta
◽
Miyuki Koshimura
Keyword(s):
Theorem Proving
◽
Top Down
◽
Bottom Up
◽
Magic Sets
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
◽
Cited By ~ 3
Author(s):
Paulo J. Azevedo
Keyword(s):
Magic Sets
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
◽
Cited By ~ 28
Author(s):
Kenneth A. Ross
Keyword(s):
Magic Sets
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
◽
Cited By ~ 290
Author(s):
Francois Bancilhon
◽
David Maier
◽
Yehoshua Sagiv
◽
Jeffrey D Ullman
Keyword(s):
Logic Programs
◽
Magic Sets
Download Full-text
Magic sets revisited
Journal of Computer Science and Technology
◽
10.1007/bf02943154
◽
1997
◽
Vol 12
(4)
◽
pp. 346-365
◽
Cited By ~ 2
Author(s):
Yangjun Chen
Keyword(s):
Magic Sets
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
◽
Cited By ~ 43
Author(s):
Kenneth A. Ross
Keyword(s):
Magic Sets
Download Full-text
Magic sets
Deductive Databases and Their Applications
◽
10.1201/9781482267914-14
◽
1998
◽
pp. 159-182
Keyword(s):
Magic Sets
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close