來(lái)源：學(xué)術(shù)之家整理 2025-03-18 15:39:50
《Theory And Practice Of Logic Programming》中文名稱：《邏輯程序設(shè)計(jì)理論與實(shí)踐》，創(chuàng)刊于2001年，由Cambridge University Press出版商出版，出版周期Bimonthly。
《邏輯編程理論與實(shí)踐》強(qiáng)調(diào)邏輯編程的理論和實(shí)踐。邏輯編程適用于人工智能和計(jì)算機(jī)科學(xué)的所有領(lǐng)域，是它們的基礎(chǔ)。涵蓋的主題包括使用邏輯編程的人工智能應(yīng)用、邏輯編程方法、系統(tǒng)的規(guī)范、分析和驗(yàn)證、歸納邏輯編程、多關(guān)系數(shù)據(jù)挖掘、自然語(yǔ)言處理、知識(shí)表示、非單調(diào)推理、語(yǔ)義網(wǎng)推理、數(shù)據(jù)庫(kù)、實(shí)現(xiàn)和架構(gòu)以及約束邏輯編程。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外LOGIC工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| 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 |
| 國(guó)家/地區(qū) | 發(fā)文量 |
| Italy | 44 |
| USA | 32 |
| GERMANY (FED REP GER) | 24 |
| Spain | 22 |
| Austria | 16 |
| France | 11 |
| Australia | 7 |
| England | 6 |
| Turkey | 6 |
| Scotland | 4 |
| 文章引用名稱 | 引用次數(shù) |
| 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 |
| 被引用期刊名稱 | 數(shù)量 |
| 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 |
| 引用期刊名稱 | 數(shù)量 |
| 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 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。
