Spain

ECAI 2020

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

decision procedures

extension enumeration

acceptance problems

dynamic argumentation framework

abstract argumentation

implementation

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

An Advance on Variable Elimination with Applications to Tensor-Based Computation

Data-Empowered Argumentation (DEAr) for  Dialectically Explainable Predictions

Modelling Belief-Revision Functions at Extended Languages

Randomized Kernel Multi-view Discriminant Analysis

Refinement of Unsupervised Cross-Lingual Word Embeddings

Regret-Based Elicitation for Solving Multi-Objective Knapsack Problems with Rank-Dependent Aggregators

Learning Kernel-based Embeddings in Graph Neural Networks

Multimodal Transfer Learning-based Approaches for Retinal Vascular Segmentation

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

New measures of inclusion between fuzzy sets in terms of the φ-index of inclusion

https://d3smihljt9218e.cloudfront.net/transcript/1238/subtitle/6c45d24918dd5bf95d581c35d6bbbc5d.vtt

English (automatic)

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Downloads

Next from ECAI 2020

An Advance on Variable Elimination with Applications to Tensor-Based Computation

Similar lecture

Strong Refinements for Hard Problems in Argumentation Dynamics

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

.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

An Advance on Variable Elimination with Applications to Tensor-Based Computation

Similar lecture

Strong Refinements for Hard Problems in Argumentation Dynamics

Downloads