Optimizations and extensions for the horn transaction logic programs

Authors:
Paul Fodor
Affiliations:
Department of Computer Science, Stony Brook University, Stony Brook, NY
Venue:
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Year:
2008

Citing 3
Cited 0

OLD resolution with tabulation

Proceedings on Third international conference on logic programming
Memoing for logic programs

Communications of the ACM
An overview of transaction logic

Theoretical Computer Science - Special issue on formal methods in databases and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Spatial scaffolding is a naturally occurring human teaching behavior, in which teachers use their bodies to spatially structure the learning environment to direct the attention of the learner. Robotic systems can take advantage of simple, highly reliable ...