Journal Information
Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
Publisher:
Cambridge University Press
ISSN:
1471-0684
Viewed:
1263
Tracked:
0

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 Programming2.090Springer0025-5610
VLSI DesignHindawi1065-514X
cInternational Journal on Document Analysis and Recognition0.885Springer1433-2833
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Magnetic Resonance Imaging2.112Elsevier0730-725X
bScience of Computer Programming1.088Elsevier0167-6423
Mathematical Programming Computation Springer1867-2949
IEEE Robotics and Automation LettersIEEE2377-3766
Mechanical Systems and Signal Processing4.37Elsevier0888-3270
cPervasive and Mobile Computing2.769Elsevier1574-1192
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
I2MTCInternational Instrumentation and Measurement Technology Conference2014-09-292014-12-052015-05-11
AISC'International Conference on Artificial Intelligence, Soft Computing2020-02-292020-03-052020-03-21
cbb1ICSRInternational Conference on Software and Systems Reuse2020-06-192020-08-172020-11-09
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 Systems2020-08-142020-11-192021-04-16
Recommendation