Información de la Revista
Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programmingEditor: |
Cambridge University Press |
ISSN: |
1471-0684 |
Vistas: |
6663 |
Seguidores: |
0 |
Solicitud de Artículos
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.
Última Actualización Por Dou Sun en 2019-04-27
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
Mathematical Programming | 3.995 | Springer | 0025-5610 | |
VLSI Design | Hindawi | 1065-514X | ||
c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
b | Journal of Functional Programming | 1.37 | Cambridge University Press | 0956-7968 |
Magnetic Resonance Imaging | 2.546 | Elsevier | 0730-725X | |
b | Science of Computer Programming | 0.863 | Elsevier | 0167-6423 |
Mathematical Programming Computation | Springer | 1867-2949 | ||
c | IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE | 1549-8328 |
IEEE Robotics and Automation Letters | IEEE | 2377-3766 | ||
Mechanical Systems and Signal Processing | 6.823 | Elsevier | 0888-3270 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
Mathematical Programming | 3.995 | Springer |
VLSI Design | Hindawi | |
International Journal on Document Analysis and Recognition | 2.085 | Springer |
Journal of Functional Programming | 1.37 | Cambridge University Press |
Magnetic Resonance Imaging | 2.546 | Elsevier |
Science of Computer Programming | 0.863 | Elsevier |
Mathematical Programming Computation | Springer | |
IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE |
IEEE Robotics and Automation Letters | IEEE | |
Mechanical Systems and Signal Processing | 6.823 | Elsevier |
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
LION | Learning and Intelligent OptimizatioN Conference | 2019-02-17 | 2019-05-27 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
ICSR | International Conference on Software and Systems Reuse | 2022-02-04 | 2022-06-15 |
I2MTC | International Instrumentation and Measurement Technology Conference | 2023-12-08 | 2024-05-20 |
AISC' | International Conference on Artificial Intelligence, Soft Computing | 2023-07-08 | 2023-07-22 |
DEPEND | International Conference on Dependability | 2013-08-25 | |
MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
I-SPAN | International Symposium on Pervasive Systems, Algorithms, and Networks | 2019-05-31 | 2019-09-16 |
ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2024-10-11 | 2025-04-27 |
Recomendaciones