logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
N

Nicola Leone

University of Calabria

47H指数
384论文数
9.5K被引数
收录论文 14
发表时间
logo
Semi-equilibrium models for paracoherent answer set programs
errartificial intelligence review
IF4.6
err2016-05-01
err22
errOAAI
errAmendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, Joao
err分享
err收藏
Magic Sets for disjunctive Datalog programs
errartificial intelligence review
IF4.6
err2012-08-01
err26
errOAAI
errAlviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
err分享
err收藏
Semantics and complexity of recursive aggregates in answer set programming
errartificial intelligence review
IF4.6
err2011-01-01
err154
errOAAI
errFaber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
err分享
err收藏
Optimal models of disjunctive-logic 'programs: Semantics, complexity, and computation
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err2004-04-01
err10
PREAI
errLeone, N; Scarcello, F; Subrahmanian, VS
err分享
err收藏
Enhancing disjunctive logic programming systems by SAT checkers
errartificial intelligence review
IF4.6
err2003-12-01
err30
PREAI
errKoch, C; Leone, N; Pfeifer, G
err分享
err收藏
A logic programming approach to knowledge-state planning, II:: The DLVK system
errartificial intelligence review
IF4.6
err2003-03-01
err68
PREAI
errEiter, T; Faber, W; Leone, N; Pfeifer, G; Polleres, A
err分享
err收藏
Knowledge representation and logic programming
errartificial intelligence review
IF4.6
err2002-06-01
err10
PREAI
errGelfond, M; Leone, N
err分享
err收藏
Logic programming and knowledge representation - The A-Prolog perspective逻辑编程和知识表示-A-Prolog视角
errartificial intelligence review
IF4.6
err2002-06-01
err108
errOAAI
errGelfond, M; Leone, N
err分享
err收藏
A comparison of structural CSP decomposition methods
errartificial intelligence review
IF4.6
err2000-12-01
err180
errOAAI
errGottlob, G; Leone, N; Scarcello, F
err分享
err收藏
Enhancing disjunctive datalog by constraints
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err2000-01-01
err110
PREAI
errBuccafurri, F; Leone, N; Rullo, P
err分享
err收藏
Enhancing model checking in verification by AI techniques
errartificial intelligence review
IF4.6
err1999-08-01
err60
PREAI
errBuccafurri, F; Eiter, T; Gottlob, G; Leone, N
err分享
err收藏
Semantics and complexity of abduction from default theories从默认理论中诱因的语义和复杂性
errartificial intelligence review
IF4.6
err1997-02-01
err27
errOAAI
errEiter, T; Gottlob, G; Leone, N
err分享
err收藏
A deductive environment for dealing with objects and nonmonotonic reasoning
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err1997-01-01
err1
PREAI
errLeone, N; Rullo, P; Mecchia, A; Rossi, G
err分享
err收藏
COMPLEX - AN OBJECT-ORIENTED LOGIC PROGRAMMING SYSTEM
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err1992-01-01
err13
PREAI
errGRECO, S; LEONE, N; RULLO, P
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Georg Gottlob
H 指数: 68 · 论文数: 540
V
V. S. Subrahmanian
H 指数: 64 · 论文数: 580
T
Thomas Eiter
H 指数: 61 · 论文数: 555
A
Axel Polleres
H 指数: 50 · 论文数: 354
C
Christoph Koch
H 指数: 43 · 论文数: 228
查看更多