Knowledge Representation and Automated Reasoning | AMiner期刊详情 | AMiner

Knowledge Representation and Automated Reasoning | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（66）

排序

时间引用

1Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets.

Girma Tariku,Isabella Ghiglieno, Anna Simonetto, Gianni Gilioli,Ivan Serina

2024

引用

2Information Flows During Constraint Satisfaction Search with Dynamic Heuristics: Information from Preprocessing.

Richard J. Wallace

2024

引用

3Development of Natural Strategies in Strategic Logics (short Paper).

Marco Aruta,Vadim Malvone,Aniello Murano

2024

引用

4Towards Automated Planning of Level Structures for Digital Interventions.

Lorenzo J. James,Emanuele De Pellegrin,Laura Genga,Barbara Montagne,Pieter Van Gorp,Ronald P. A. Petrick

2024

引用

5What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations.

Matteo Salis,Gabriele Sartor, Marco Pellegrino,Stefano Ferraris, Abdourrahmane M. Atto,Rosa Meo

2024

引用

6Stronger Integration of Circuit and Alldifferent Propagators for the Hamiltonian Cycle Problem.

Alessandro Bertagnon,Marco Gavanelli

2024

引用

7Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short Paper).

Angelo Ferrando,Vadim Malvone

2024

引用

8Translating Requirements in Property Specification Patterns Using LLMs.

Dario Guidotti,Laura Pandolfo,Tiziana Fanni, Katiuscia Zedda,Luca Pulina

2024引用：1

引用

9A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short Paper).

Megan Robinson, Saikat Ghosh,Parikshit Goswami, Mauro Vallati

2024

引用

10Strategic Reasoning for BitML Smart Contracts.

Luigi Bellomarini,Marco Favorito,Giuseppe Galano

2024

引用

11Many-valued Temporal Description Logics with Typicality: an Abridged Report (short Paper).

Mario Alviano,Marco Botta,Roberto Esposito,Laura Giordano,Daniele Theseider Dupré

2024

引用

12Reasoning about Real-Time and Probability on Obstruction Logic.

Jean Leneutre,Vadim Malvone, James Ortiz

2024

引用

13Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short Paper).

Ermanno Zuccarini

2024

引用

14Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short Paper).

Michal Tomasz Godziszewski,Davide Catta,Aniello Murano

2024

引用

15Automata-based LTL_f Satisfiability Checking Via ASP.

Andrea Cuteri,Giuseppe Mazzotta, Rafael Peñaloza,Francesco Ricca

2024

引用

16The Distributed Architecture of SkRobot for Efficient Robotic Agents.

Giovanni De Gasperis, Daniele Di Ottavio,Stefania Costantini,Patrizio Migliarini

2024

引用

17A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short Paper).

Chiara Camilla Rambaldi Migliore,Giovanni Iacca, Marco Roveri

2024

引用

18Recent Answer Set Programming Applications to Scheduling Problems in Digital Health.

Paola Cappanera,Simone Caruso,Carmine Dodaro,Giuseppe Galatà,Marco Gavanelli,Marco Maratea,Cinzia Marte,Marco Mochi,Maddalena Nonato,Marco Roma

2024引用：1

引用

19Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models.

Tewabe Chekole Workneh, Matteo Cristani,Claudio Tomazzoli

2024

引用

20Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control.

Dario Guidotti,Laura Pandolfo,Luca Pulina

2024

引用

高被引作者

作者	引用	发文
Enrico Tronci	48	2
Toni Mancini	48	2
Eugene Freuder	33	1
Richard J. Wallace	33	2
Diarmuid Grimes	33	1
Thanasis Balafoutis	29	1
Kostas Stergiou	29	1
Nicola Leone	26	2
Alberto Finzi	25	1
Riccardo Guarneri	25	1

高产作者

作者	引用	发文
Marco Maratea	14	6
Vadim Malvone	0	4
Marco Mochi	6	4
Giuseppe Galatà	11	4
Ivan Serina	17	3
Ivan Porro	10	3
Francesco Ricca	8	3
Aniello Murano	0	3
Vincenzo Auletta	2	2
Alfonso Emilio Gerevini	17	2

相关期刊

No data