Spain

ECAI 2020

Macro Operator Synthesis for ADL Domains

macro synthesis

task planning

situation calculus

macro planning

planning

ECAI2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI, including:




**An extensive programme of workshops, tutorials, and invited speakers**

**The Prestigious Applications of Intelligent Systems conference (PAIS)**

**The Frontiers in AI track sessions**

**The Lab To Market event**

**The Women in AI time**

**The EU Challenges forum**

… and many more!

ECAI 2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI.

technical paper

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential Diagnosis

On Partial Multi-Task Learning

Toward Metrics for Differentiating Out-of-Distribution Sets

Planning for Compilation of a Quantum Algorithm for Graph Coloring

Document and Word Representations Generated by Graph Convolutional Network and BERT for Short Text Classification

Mining Insights from Large-scale Corpora Using Fine-tuned Language Models

Branch Location Problems with Maximum Satisfiability

Simplifying Graph Attention Networks with Source-Target Separation

Private Knowledge Transfer via Model Distillation with Generative Adversarial Networks

https://d3smihljt9218e.cloudfront.net/transcript/1143/subtitle/d30c38a956a0ed0d0798e8c30ca710a0.vtt

English (automatic)

Downloads

Next from ECAI 2020

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Similar lecture

Agent Abstraction via Forgetting in the Situation Calculus

.css-70qvj9{display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;-webkit-align-items:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;}Downloads

Next from ECAI 2020

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Similar lecture

Agent Abstraction via Forgetting in the Situation Calculus

Downloads