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

Mirosław Truszczyński

University of Kentucky

35H指数
301论文数
7.1K被引数
收录论文 7
发表时间
logo
New models for generating hard random boolean formulas and disjunctive logic programs
errartificial intelligence review
IF4.6
err2020-02-01
err4
errOAAI
errAmendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
err分享
err收藏
On abstract modular inference systems and solvers
errartificial intelligence review
IF4.6
err2016-07-01
err7
errOAAI
errLierler, Yuliya; Truszczynski, Miroslaw
err分享
err收藏
Answer Set Programming at a Glance
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-12-01
err582
PREAI
errBrewka, Gerhard; Eiter, Thomas; Truszczynski, Miroslaw
err分享
err收藏
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
errartificial intelligence review
IF4.6
err2010-11-01
err25
PREAI
errTruszczynski, Miroslaw
err分享
err收藏
Logic programs with abstract constraint atoms: The role of computations
errartificial intelligence review
IF4.6
err2010-03-01
err30
errOAAI
errLiu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczynski, Miroslaw
err分享
err收藏
Uniform semantic treatment of default and autoepistemic logics
errartificial intelligence review
IF4.6
err2003-01-01
err64
errOAAI
errDenecker, M; Marek, VW; Truszczynski, M
err分享
err收藏
Annotated revision programs带注释的修订程序
errartificial intelligence review
IF4.6
err2002-06-01
err4
errOAAI
errMarek, V; Pivkina, I; Truszczynski, M
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
T
Thomas Eiter
H 指数: 61 · 论文数: 555
M
Marc Denecker
H 指数: 37 · 论文数: 392
E
Enrico Pontelli
H 指数: 31 · 论文数: 427
F
Francesco Ricca
H 指数: 30 · 论文数: 234
T
Tran Cao Son
H 指数: 29 · 论文数: 325
查看更多