期刊信息
Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
出版商:
Cambridge University Press
ISSN:
1471-0684
浏览:
7104
关注:
1
征稿
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. 
最后更新 Dou Sun 在 2019-04-27
相关期刊
CCF全称影响因子出版商ISSN
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.100Elsevier0730-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 Processing7.900Elsevier0888-3270
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
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 Conference2023-12-082024-01-242024-05-20
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 Systems2024-10-112025-01-152025-04-27
推荐