BOOK-CHAPTER
Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework
Niels PahlaviStephen Muggleton
Year: 2014 IMPERIAL COLLEGE PRESS eBooks Pages: 209-216
Keywords:
Datalog Order (exchange) Computer science Programming language Business
Metrics
5
Cited By
1.78
FWCI (Field Weighted Citation Impact)
0
Refs
0.85
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Database Systems and Queries
Physical Sciences → Computer Science → Computer Networks and Communications
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Bayesian Modeling and Causal Inference
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Datalog vs first-order logic
Journal: Journal of Computer and System Sciences Year: 1994 Vol: 49 (3)Pages: 562-588
BOOK-CHAPTER
From First-Order to Higher-Order Modal Logic
Oxford University Press eBooks Year: 2013 Pages: 195-261
JOURNAL ARTICLE
Fixpoint extensions of first-order logic and datalog-like languages
Year: 2003 Pages: 71-79
BOOK-CHAPTER
First-order automation for higher-order-logic theorem proving
Lecture notes in computer science Year: 1994 Pages: 97-112