0
0
来源：学术之家整理 2025-03-18 15:39:50
《Theory And Practice Of Logic Programming》中文名称：《逻辑程序设计理论与实践》，创刊于2001年，由Cambridge University Press出版商出版，出版周期Bimonthly。
《逻辑编程理论与实践》强调逻辑编程的理论和实践。逻辑编程适用于人工智能和计算机科学的所有领域，是它们的基础。涵盖的主题包括使用逻辑编程的人工智能应用、逻辑编程方法、系统的规范、分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义网推理、数据库、实现和架构以及约束逻辑编程。
旨在及时、准确、全面地报道国内外LOGIC工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。
| 机构名称 | 发文量 |
| UNIVERSITY OF CALABRIA | 27 |
| UNIVERSITY OF POTSDAM | 13 |
| TECHNISCHE UNIVERSITAT ... | 12 |
| UNIVERSITY OF GENOA | 10 |
| UNIVERSITY OF KLAGENFUR... | 8 |
| IMDEA SOFTWARE INST | 7 |
| COMPLUTENSE UNIVERSITY ... | 6 |
| UNIVERSIDAD POLITECNICA... | 6 |
| UNIVERSIDADE DA CORUNA | 6 |
| ARIZONA STATE UNIVERSIT... | 5 |
| 国家/地区 | 发文量 |
| Italy | 44 |
| USA | 32 |
| GERMANY (FED REP GER) | 24 |
| Spain | 22 |
| Austria | 16 |
| France | 11 |
| Australia | 7 |
| England | 6 |
| Turkey | 6 |
| Scotland | 4 |
| 文章引用名称 | 引用次数 |
| Multi-shot ASP solving with ... | 7 |
| A Trajectory Calculus for Qu... | 4 |
| Founded (Auto) Epistemic Equ... | 3 |
| Exploiting Answer Set Progra... | 3 |
| Optimizing Answer Set Comput... | 2 |
| Shared aggregate sets in ans... | 2 |
| Temporal Answer Set Programm... | 2 |
| Phylotastic: An Experiment i... | 2 |
| A Distributed Approach to LA... | 2 |
| Incremental Answer Set Progr... | 2 |
| 被引用期刊名称 | 数量 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 42 |
| J ARTIF INTELL RES | 24 |
| ANN MATH ARTIF INTEL | 20 |
| FUND INFORM | 19 |
| INT J APPROX REASON | 15 |
| MACH LEARN | 8 |
| J INTELL MANUF | 5 |
| AUTON ROBOT | 4 |
| CONCURR COMP-PRACT E | 4 |
| 引用期刊名称 | 数量 |
| THEOR PRACT LOG PROG | 161 |
| ARTIF INTELL | 101 |
| COMMUN ACM | 24 |
| NEW GENERAT COMPUT | 23 |
| ANN MATH ARTIF INTEL | 22 |
| J ACM | 21 |
| J LOGIC COMPUT | 20 |
| ACM T COMPUT LOG | 19 |
| J ARTIF INTELL RES | 19 |
| FUND INFORM | 15 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
