Journal Information
Theory and Practice of Logic Programming (TPLP)
Cambridge University Press
Call For Papers
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming. 
Last updated by Dou Sun in 2019-04-27
Related Journals
CCFFull NameImpact FactorPublisherISSN
Mathematical Programming3.995Springer0025-5610
VLSI DesignHindawi1065-514X
cInternational Journal on Document Analysis and Recognition2.085Springer1433-2833
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Magnetic Resonance Imaging2.546Elsevier0730-725X
bScience of Computer Programming0.863Elsevier0167-6423
Mathematical Programming Computation Springer1867-2949
cIEEE Transactions on Circuits and Systems I: Regular Papers4.140IEEE1549-8328
IEEE Robotics and Automation LettersIEEE2377-3766
Mechanical Systems and Signal Processing6.823Elsevier0888-3270
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
LIONLearning and Intelligent OptimizatioN Conference2019-02-172019-03-172019-05-27
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
cbb1ICSRInternational Conference on Software and Systems Reuse2022-02-042022-03-062022-06-15
I2MTCInternational Instrumentation and Measurement Technology Conference2014-09-292014-12-052015-05-11
AISC'International Conference on Artificial Intelligence, Soft Computing2023-07-082023-07-222023-07-22
b4DEPENDInternational Conference on Dependability 2013-05-172013-08-25
MCCMBMoscow Conference on Computational Molecular Biology2019-03-102019-04-012019-07-27
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2019-05-312019-06-142019-09-16
aa*a1ASPLOSInternational Conference on Architectural Support for Programming Languages and Operating Systems2023-11-232024-03-062024-04-28