Logic Programming

DOI10.1007/B99475zbMATH Open1104.68388OpenAlexW2523427404MaRDI QIDQ5313187

Remko Tronçon, Gerda Janssens, Henk Vandecasteele

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation

Recommendations

• Title not available (Why is that?) 👍 👎
• Efficient evaluation for a subset of recursive queries 👍 👎
• Lazy Evaluation and Delimited Control 👍 👎
• Lazy Execution of Boolean Queries 👍 👎
• Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation 👍 👎
• Lazy evaluation and delimited control 👍 👎
• Fast Frequent Querying with Lazy Control Flow Compilation 👍 👎
• Automated Reasoning with Analytic Tableaux and Related Methods 👍 👎

This page was built for publication: Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313187)