Spain

ECAI 2020

Verifying Strategic Abilities in Multi-agent Systems via First-order Entailment

satisfaction modulo theory

semantic entailment

alternating-time temporal logic

verification of strategic abilities

first-order logic

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).  

![](https://assets.underline.io/uploads/markdown_image/1/image/ce4604bd54468a006164d16e080204fb.jpg)

Please click on the button below to register for this event.

If you are registered and see this page please check the account email you are logged in with. It must be the same as for the registration.

If you still have trouble accessing the contact please contact support at aamas2021@underline.io 

AAMAS 2021

technical paper

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.

A unified and unsupervised framework for bilingual phrase alignment on specialized comparable corpora

Capturing Word Order in Averaging Based Sentence Embeddings

Towards Lossless Binary Convolutional Neural Networks Using Piecewise Approximation

Fine-grained Text Sentiment Transfer via Dependency Parsing

Embedding the Trust Degrees of Agents in Abstract Argumentation

Model-Free Non-Stationarity Detection and Adaptation in Reinforcement Learning

On-Time Delivery in Crowdshipping Systems: An Agent-Based Approach Using Streaming Data

Extending a Fuzzy Polarity Propagation Method for Multi-Domain Sentiment Analysis with Word Embedding and POS Tagging

Ludii - The Ludemic General Game System

Property Invariant Embedding for Automated Reasoning

https://d3smihljt9218e.cloudfront.net/transcript/1099/subtitle/51811b3f7cbcfa66f85dad0540305487.vtt

English (automatic)

Downloads

Next from ECAI 2020

A unified and unsupervised framework for bilingual phrase alignment on specialized comparable corpora

Similar lecture

Alternating-time Temporal 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

A unified and unsupervised framework for bilingual phrase alignment on specialized comparable corpora

Similar lecture

Alternating-time Temporal Logic

Downloads