Research
Home
Browse Papers
Researchers
Subscriber
Free Tools
Submit Paper
Login
Register
Research
Papers
Researchers
Subscribers
Tools
Submit Paper
Research
Computer Science
PDF Available
Non-peer-reviewed Preprint
Structural Resolution for Logic Programming
P. Johann
,
E. Komendantskaya
,
V. Komendantskiy
·
Published 2015-07-21
Expertini
/
Research
/
Computer Science
/
Structural Resolution for Logic Programming
📄 Download PDF
🔖 Bookmark Paper
Share:
Abstract
We introduce a Three Tier Tree Calculus (3TC) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use 3TC to define a new -- structural -- version of resolution for logic programming.
Keywords
Computer Science
📄 Full Paper Available as PDF
This paper is available as a downloadable PDF.
📄 Download PDF
✨ AI Plain-English Summary
Get a plain-English summary of this paper generated by AI (5 free per day).
Generate Summary
Comments (0)
No comments yet. Be the first to comment.
Login to Comment
Related Papers
Computer Science
PDF
A Model for Web Page Usage Mining Based on Segmentation
2012
Computer Science
PDF
Core-Periphery Structure in Networks
2012
Computer Science
PDF
Risk Assessment Techniques and Survey Method for COTS Components
2012
Computer Science
PDF
Beyond the Bethe Free Energy of LDPC Codes via Polymer Expansions
2012
Subscriber Register
or
Subscriber
Researcher
Full Name*
Email Address*
Institution / University
Please leave this field blank
Password*
8+ characters, with uppercase, number & special character.
Confirm Password*
You are successfully registered.
Register
Already have an account? Login Now
Subscriber Login
or
Subscriber
Researcher
Email
Password
You have successfully logged in.
Remember me
Forgot password?
Log In
Don't have an account? Create Now
Reset Password
Email
Password Reset email successfully sent.
Reset Password
This will send a password reset link to your registered email address.
✕
Research
