Spain

ECAI 2020

Explicit Negation in Linear-Dynamic Equilibrium Logic

linear dynamic logic

answer set programming

temporal reasoning

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

Rapidly finding the Best Arm using Variance

Permutation Learning via Lehmer Codes

Evaluation of Analogical Arguments by Choquet Integral

Fair in the eyes of others

Foreground detection by probabilistic mixture models using semantic information from deep networks

Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining

The Impact of Linguistic Knowledge in Different Strategies to Learn Cross-Lingual Distributional Models

Speeding up Word Mover’s Distance and its variants via properties of distances between embeddings

Learning First-Order Symbolic Representations from the Structure of the State Space

Evolutionary Bi-objective Optimization for the Dynamic Chance-Constrained Knapsack Problem Based on Tail Bound Objectives

https://d3smihljt9218e.cloudfront.net/transcript/1043/subtitle/82d90ac60d89c79897355b4541e44628.vtt

English (automatic)

Explicit Negation in Linear-Dynamic Equilibrium Logic

Downloads

Next from ECAI 2020

Rapidly finding the Best Arm using Variance

Similar lecture

Implementing Dynamic Answer Set Programming over finite traces

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Explicit Negation in Linear-Dynamic Equilibrium Logic

.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

Rapidly finding the Best Arm using Variance

Similar lecture

Implementing Dynamic Answer Set Programming over finite traces

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Downloads