首页 国际期刊 数学期刊 期刊详情(非官网)
400-808-1701

Theory And Practice Of Logic Programming

Theory And Practice Of Logic Programming杂志,由Cambridge University Press出版,于2001年创刊,Bimonthly,出版语言English,ISSN:1471-0684,E-ISSN:1475-3081。

投稿咨询
Theory And Practice Of Logic Programming
Theory And Practice Of Logic Programming
Theory And Practice Of Logic Programming
SCI SCIE EI

发文地区与机构

近年国家 / 地区发文量统计

国家 / 地区 发文量
Italy 44
USA 32
GERMANY (FED REP GER) 24
Spain 22
Austria 16
France 11
Australia 7
England 6
Turkey 6
Scotland 4

近年机构发文量统计

机构 发文量
UNIVERSITY OF CALABRIA 27
UNIVERSITY OF POTSDAM 13
TECHNISCHE UNIVERSITAT WIEN 12
UNIVERSITY OF GENOA 10
UNIVERSITY OF KLAGENFURT 8
IMDEA SOFTWARE INST 7
COMPLUTENSE UNIVERSITY OF MADRID 6
UNIVERSIDAD POLITECNICA DE MADRID 6
UNIVERSIDADE DA CORUNA 6
ARIZONA STATE UNIVERSITY 5

文章引用情况

1
Logic programming as a service

引用次数:1

2
Scaling-up reasoning and advanced analytics on BigData

引用次数:1

3
Tree dimension in verification of constrained Horn clauses
4
Stepwise debugging of answer-set programs
5
Logic plus control: On program construction and verification
6
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
7
plasp 3: Towards Effective ASP Planning
8
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
9
Web-STAR: A Visual Web-based IDE for a Story Comprehension System
10
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages