RCRA — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
09:15-09:30
Opening
RCRA
Location:
C4.02
09:30-10:30
Constraint Satisfaction, SAT e Heuristics
RCRA
Location:
C4.02
| 09:30-09:50 |
Symmetry Breaking Constraints for SAT Solving (abstract) 20 min
1 Charles University, Faculty of Mathematics and Physics
2 Czech Technical University in Prague
|
| 09:50-10:10 |
Components of information flow underlying heuristic decisions in constraint satisfaction search (abstract) 20 min
1 University College Cork
|
| 10:10-10:30 |
Neural Network Based Analysis of Amenability of CSPs to Different Heuristic Actions (abstract) 20 min
1 University College Cork
|
10:30-11:00
Coffee Break
RCRA
Location:
C4.02
11:00-12:00
AI Reasoning, Explainability e LLMs
RCRA
Location:
C4.02
| 11:00-11:20 |
Efficient Interpretability Reasoning for Decision Trees (abstract) 20 min
1 ICREA & Univ. Lleida
2 Monash University
|
| 11:20-11:40 |
Contextualizing Large Language Models Alongside Specialized Information Extraction and Question Answering Systems (abstract) 20 min
1 University of Nebraska Omaha
|
| 11:40-12:00 |
Declarative Communication Filters for Controlled LLM Integration in Logic-Based Multi-Agent Systems (abstract) 20 min
1 Univaq
|
12:00-12:15
Closing
RCRA
Location:
C4.02
12:15-14:00
Lunch
RCRA
Location:
C4.02
15:30-16:30
Coffee Break
RCRA
Location:
C4.02