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

João Marques‐Silva

icrea

47H指数
394论文数
10.0K被引数
收录论文 17
发表时间
logo
Modelling and optimising switching on a physical binary sorter物理二进制分类器上的建模和优化切换
errAnnals of Operations Research
IF4.5
err2026-02-03
err0
errOAAI
errJosep Maria Salvia Hornos; Cèsar Fernández Camón; Carles Mateu Piñol; Joao Marques-Silva; Ivet Rafegas Fonoll; Josep Cirera Balcells
err分享
err收藏
Formal Explanations of Black-Box Ranking Functions黑箱排序函数的形式化解释
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errChiariello, Francesco; Marques-Silva, Joao
err分享
err收藏
Uncovering and Correcting XAI's Misconceptions Logic to the Rescue揭示并纠正XAI的逻辑误区：逻辑的援手
errINTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING-IDEAL 2025, PT II
IF0
err2026-01-01
err0
PREAI
errMarques-Silva, Joao
err分享
err收藏
Explanations of Unsatisfiability Beyond Minimal Subsets不满足性的解释超越最小子集
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errMartinez-Naredo, Pablo; Mencia, Raul; Marques-Silva, Joao; Mencia, Carlos
err分享
err收藏
Synergies between machine learning and reasoningAn introduction by the Kay R. Amel group
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2024-08-01
err1
errOAAI
errBaaj, Ismail; Bouraoui, Zied; Cornuejols, Antoine; Denaeux, Thierry; Destercke, Sebastien; Dubois, Didier; Lesot, Marie-Jeanne; Marques-Silva, Joao; Mengin, Jerome; Prade, Henri; Schockaert, Steven; Serrurier, Mathieu; Strauss, Olivier; Vrain, Christel
err分享
err收藏
On the failings of Shapley values for explainability关于Shapley值的可解释性不足
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2024-08-01
err13
PREAI
errHuang, Xuanxiang; Marques-Silva, Joao
err分享
err收藏
On computing probabilistic abductive explanations
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2023-08-01
err6
errOAAI
errIzza, Yacine; Huang, Xuanxiang; Ignatiev, Alexey; Narodytska, Nina; Cooper, Martin; -Silva, Joao Marques
err分享
err收藏
No silver bullet: interpretable ML models must be explained
errFRONTIERS IN ARTIFICIAL INTELLIGENCE
IF4.7
err2023-04-24
err6
errOAAI
errMarques-Silva, Joao; Ignatiev, Alexey
err分享
err收藏
Tractability of explaining classifier decisions
errartificial intelligence review
IF4.6
err2023-03-01
err7
errOAAI
errCooper, Martin C.; Marques-Silva, Joao
err分享
err收藏
Propositional proof systems based on maximum satisfiability
errartificial intelligence review
IF4.6
err2021-11-01
err6
PREAI
errBonet, Maria Luisa; Buss, Sam; Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
err分享
err收藏
Auditing static machine learning anti-Malware tools against metamorphic attacks
errCOMPUTERS & SECURITY
IF5.4
err2021-03-01
err9
PREAI
errGibert, Daniel; Mateu, Carles; Planes, Jordi; Marques-Silva, Joao
err分享
err收藏
Minimal sets on propositional formulae. Problems and reductions
errartificial intelligence review
IF4.6
err2017-11-01
err21
errOAAI
errMarques-Silva, Joao; Janota, Mikolas; Mencia, Carlos
err分享
err收藏
Solving QBF with counterexample guided refinement
errartificial intelligence review
IF4.6
err2016-05-01
err66
errOAAI
errJanota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
err分享
err收藏
On the query complexity of selecting minimal sets for monotone predicates
errartificial intelligence review
IF4.6
err2016-04-01
err23
PREAI
errJanota, Mikolas; Marques-Silva, Joao
err分享
err收藏
Algorithms for computing minimal equivalent subformulas
errartificial intelligence review
IF4.6
err2014-11-01
err10
errOAAI
errBelov, Anton; Janota, Mikolas; Lynce, Ines; Marques-Silva, Joao
err分享
err收藏
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-07-01
err109
errOAAI
errCordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao
err分享
err收藏
Haplotype inference with pseudo-Boolean optimization基于伪布尔优化的单倍型推断
errANNALS OF OPERATIONS RESEARCH
IF4.5
err2009-12-09
err14
PREAI
errGraca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Didier Dubois
H 指数: 107 · 论文数: 1.1K
H
Henri Prade
H 指数: 89 · 论文数: 853
T
Thierry Denœux
H 指数: 55 · 论文数: 392
M
Martin Cooper
H 指数: 40 · 论文数: 332
A
Arlindo L. Oliveira
H 指数: 33 · 论文数: 247
查看更多