#first-order-logic News & Analysis

2 articles tagged with #first-order-logic. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · May 116/10

🧠

Parallel Lifted Planning via Semi-Naive Datalog Evaluation

Researchers have developed a parallel lifted planning algorithm using semi-naive Datalog evaluation that significantly accelerates classical AI planning by combining rule-level and grounding-level parallelism. The approach achieves up to 6-fold speedup on 8 cores and solves more planning tasks than existing baselines, particularly on computationally intensive grounding operations.

AINeutralarXiv – CS AI · Mar 54/10

🧠

RLJP: Legal Judgment Prediction via First-Order Logic Rule-enhanced with Large Language Models

Researchers propose RLJP, a new framework for Legal Judgment Prediction that combines first-order logic rules with large language models to improve AI-based legal decision making. The system uses a three-stage approach including Confusion-aware Contrastive Learning to dynamically optimize judgment rules and showed superior performance on public datasets.