VARDIFEST22 TALK ABSTRACTS: KEYWORD INDEX

( | |

(iterated) admissibility | |

A | |

Accuracy | |

Aerospace | |

Algorithmic Game Theory | |

algorithmic graph theory | |

all I know | |

AND-OR graph | |

archery | |

Artificial intelligence | |

assumptions | |

Autoencoding | |

Automata | |

Automata Theory | |

Automata-Theoretic Approach | |

automated numerical planning and scheduling | |

Automated reasoning | |

Aviation | |

B | |

B\"uchi automata | |

BDD | |

Bell Labs | |

best-effort synthesis | |

bisimulation | |

Boolean synthesis | |

Branching Time | |

C | |

category theory | |

CAV | |

Combinations of Logic and Machine Learning | |

Combinations of Solvers and Gradient Descent | |

combinatorial structures | |

Comparators | |

complexity over structures | |

computability over structures | |

computable queries | |

computational complexity | |

Consistency Analysis | |

constraint logic programming | |

constraint satisfaction | |

constraint satisfaction problems | |

contextuality | |

Cooperation in MAS | |

Counting | |

Cyber-physical systems | |

D | |

Data Complexity | |

Databases | |

databases as logical theories | |

decidability | |

Decision Diagrams | |

Descriptive Complexity | |

Deterministic Emerson-Lei automata | |

Determinization | |

Differential Privacy | |

Dimensionality reduction | |

Divide-and-Conquer | |

Dynamic Logic | |

E | |

Energy Efficiency | |

Epistemic Logic | |

Evolution | |

expressive power | |

F | |

Fair simulation | |

Finite model theory | |

finite-variable logics | |

firmware | |

first-order logic | |

fixpoint logic | |

Formal | |

formal methods | |

formal verification | |

G | |

game | |

game theory | |

gang membership | |

graph databases | |

Graph games | |

graph theory | |

H | |

hardware | |

Hardware Verification | |

hybrid systems | |

I | |

incomplete information | |

Interaction | |

K | |

k-consistency | |

Knowledge Acquisition | |

Knowledge compilation | |

L | |

languages | |

law enforcement | |

Legal Contracts | |

Limit-Deterministic Buchi Automata | |

Linear Time | |

Linear Time Logic on Finite Traces | |

Linear-time Temporal Logic on Finite and Infinite Traces | |

logic | |

Logic and finite model theory | |

Logic and Law | |

Logical theories | |

Logics for Multi-Agent Systems | |

Logics for the strategic reasoning | |

Loop termination | |

losslessness | |

LTL | |

LTL model checking | |

LTL over finite traces | |

LTLf | |

M | |

machine learning | |

Manufacturing | |

Markov decision processes | |

Mechanism Design | |

Mechanized Logic | |

message passing | |

Minimal Independent Sets | |

misconceptions | |

model checking | |

Model-Free Reinforcement Learning | |

Module checking | |

Multi-agent systems | |

Multi-Agent Systems (MAS) | |

N | |

Neurosymbolic AI | |

O | |

Omega Automata | |

Open Problems | |

ordinary differential equations | |

P | |

PCTL | |

Planning | |

Program verification | |

proof checking | |

proof of unsatisfiability | |

property language design | |

Q | |

QPTIME | |

Quantitative reasoning | |

quantum mechanics | |

Query Evaluation | |

query rewriting | |

R | |

Rational Synthesis | |

rationality | |

reactive synthesis | |

Reactive systems | |

Reasoning | |

Recollections | |

reconfigurable interaction | |

Register automata | |

Regular expressions | |

Regular path queries | |

relational complexity | |

relational databases | |

relational machines | |

representation learning | |

S | |

Safety | |

SAT-based reasoning | |

satisfiability | |

satisfiability checking | |

Satisfiability Solvers | |

SDD | |

sheaves and cohomology | |

situation calculus | |

Skolem Problem | |

SMT Solving | |

Species Interaction Code | |

specification | |

Strategic Reasoning | |

Strategy Logic | |

Strongly Connected Components (SCCs) | |

Survival of the Fitted | |

Synthesis | |

Synthesis under Environment Specifications | |

T | |

Temporal Logic | |

Temporal logics | |

temporal reasoning | |

toasts | |

Training Deep Neural Networks | |

transition systems | |

translation | |

U | |

Undergraduate research project | |

Uniform sampling | |

user studies | |

V | |

Vardi | |

Vardifest | |

Verification | |

view-based query answering | |

view-based query processing | |

W | |

Weisfeiler-Leman | |

Z | |

ZDD |