FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

(
(iterated) admissibility	That's All I know: On the Effectiveness of Logic in Game Theory
A
Accuracy	Verifying Accuracy Claims of Differential Privacy Algorithms
advisor	Comments from Giuseppe, Kuldeep, and Kristin
Aerospace	Logic-driven approaches for smart, safe and energy-efficient aviation
Algorithmic Game Theory	Strategy Logic: Origin, Results, and Open Questions
algorithmic graph theory	On the Effectiveness of Logic in Algorithmic Graph Theory
all I know	That's All I know: On the Effectiveness of Logic in Game Theory
AND-OR graph	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
archery	A Toast for Moshe at the FLoC VardiFest
artificial intelligence
assumptions
Autoencoding	Natural Autoencoding
Automata	Automata-Based Quantitative Reasoning The Joy of Automata
automata theory	The Safety Fragment of LTL Between Determinism and Nondeterminism
Automata-Theoretic Approach	LTLf Synthesis Under Environment Specifications
automated numerical planning and scheduling	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
automated reasoning	On the Extraordinary Effectiveness of Logic in Strategic Reasoning
Aviation	Logic-driven approaches for smart, safe and energy-efficient aviation
B
B\"uchi automata	Divide-and-Conquer Determinization for B\"uchi Automata
BDD	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" Boolean Synthesis via Decision Diagrams
Bell Labs	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
best-effort synthesis
bisimulation	Bisimulation Games Played in Fibered Categories
Boolean synthesis	Boolean Synthesis via Decision Diagrams
Branching Time	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
C
category theory	Bisimulation Games Played in Fibered Categories
CAV	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
collaboration	Comments from Giuseppe, Kuldeep, and Kristin
Combinations of Logic and Machine Learning
Combinations of Solvers and Gradient Descent
combinatorial structures	On the Effectiveness of Logic in Algorithmic Graph Theory
Comment	A Comment to Moshe by Ron Fagin
Comparators	Automata-Based Quantitative Reasoning
complexity	On the unusual effectiveness of automata in logic
complexity over structures	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982)
computability over structures	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982)
computable queries	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982)
computational complexity	Data Path Queries over Embedded Graph Databases Fixpoint Logics, Relational Machines, and Computational Complexity
Computer Science	How to be an ethical computer scientist
Consistency Analysis	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
constraint logic programming	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
constraint satisfaction	From Kochen-Specker to Feder-Vardi
constraint satisfaction problems	On the Effectiveness of Logic in Algorithmic Graph Theory
contextuality	From Kochen-Specker to Feder-Vardi
Cooperation in MAS	An Epistemic Logic for modelling Cooperative Agents
counting	To Count or Not to Count: A Personal Perspective
Cyber-physical systems	Synthesis of plans for teams of manufacturing robots
D
Data Complexity	Data Complexity and Expressive Power of Ontological Reasoning Formalisms Towards Algebraic Techniques for Descriptive Complexity
database dependencies	Moshe Y. Vardi's First Love
database query languages	Moshe Y. Vardi's First Love
database theory	Moshe Y. Vardi's First Love
Databases	Data Complexity and Expressive Power of Ontological Reasoning Formalisms
databases as logical theories	Approximations of Certain Answers in First-Order Logic
decidability	Verifying Accuracy Claims of Differential Privacy Algorithms On the unusual effectiveness of automata in logic
decision diagrams	Boolean Synthesis via Decision Diagrams
Descriptive Complexity	Towards Algebraic Techniques for Descriptive Complexity Descriptive complexity and inexpressibly proofs
Deterministic Emerson-Lei automata	Divide-and-Conquer Determinization for B\"uchi Automata
Determinization	Divide-and-Conquer Determinization for B\"uchi Automata The Joy of Automata
differential privacy	Verifying Accuracy Claims of Differential Privacy Algorithms
Dimensionality reduction	Natural Autoencoding
Divide-and-conquer	Divide-and-Conquer Determinization for B\"uchi Automata
Dynamic Logic	Towards Algebraic Techniques for Descriptive Complexity
E
Energy Efficiency	Logic-driven approaches for smart, safe and energy-efficient aviation
epistemic logic	An Epistemic Logic for modelling Cooperative Agents
Ethics	How to be an ethical computer scientist
Evolution	Natural Autoencoding
expressive power	Data Complexity and Expressive Power of Ontological Reasoning Formalisms
F
Fair simulation	Between Determinism and Nondeterminism
finite automata	On the unusual effectiveness of automata in logic
Finite Model Theory	Data Path Queries over Embedded Graph Databases Strategy Logic: Origin, Results, and Open Questions
finite-variable logics	From Kochen-Specker to Feder-Vardi
firmware	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
first-order logic	Approximations of Certain Answers in First-Order Logic
fixpoint logic	Fixpoint Logics, Relational Machines, and Computational Complexity
Formal	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
formal methods	Capturing abscondings
formal verification	The Safety Fragment of LTL
G
game	Bisimulation Games Played in Fibered Categories
game theory	Capturing abscondings
gang membership	A Toast for Moshe at the FLoC VardiFest
Graph databases	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” Rewriting of Regular Path Queries: The first paper of the four Italians
Graph games	Between Determinism and Nondeterminism
graph theory	Capturing abscondings
H
hardware	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Hardware Verification	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst
hybrid systems	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
I
incomplete information	Approximations of Certain Answers in First-Order Logic
Interaction	Natural Autoencoding
Invited Talk	On the Effectiveness of Logic in Robotics On how the past illuminates the future
K
k-consistency	From Kochen-Specker to Feder-Vardi
Kavraki	On the Effectiveness of Logic in Robotics
Knowledge Acquisition	Logic-driven approaches for smart, safe and energy-efficient aviation
Knowledge Compilation	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Kupferman	On how the past illuminates the future
L
languages	Logic and Languages for Representation Learning
law enforcement	Capturing abscondings
Legal Contracts	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Limit-Deterministic Buchi Automata	An Automata-Theoretic Approach to Model-Free Reinforcement Learning
Linear Time	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
Linear Time Logic on Finite Traces
Linear-time Temporal Logic on Finite and Infinite Traces	LTLf Synthesis Under Environment Specifications
Logic	Logic and Languages for Representation Learning Bisimulation Games Played in Fibered Categories From Logic to Neurosymbolic AI On the Effectiveness of Logic in Algorithmic Graph Theory Logic-driven approaches for smart, safe and energy-efficient aviation On the unusual effectiveness of automata in logic
Logic and finite model theory	To Count or Not to Count: A Personal Perspective
Logic and Law	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Logical theories	Data Path Queries over Embedded Graph Databases
Logics for Multi-Agent Systems	Automated Synthesis of Mechanisms
Logics for the strategic reasoning	Formal Aspects of Strategic Reasoning in MAS
Loop termination	A Brief Glimpse of the Skolem Landscape
losslessness	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians”
LTL	An Automata-Theoretic Approach to Model-Free Reinforcement Learning Little Tricky Logic: Misconceptions in the Understanding of LTL The Safety Fragment of LTL SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
LTL model checking	To Count or Not to Count: A Personal Perspective
LTL over finite traces	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
LTLf	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
M
machine learning	From Logic to Neurosymbolic AI
Manufacturing	Synthesis of plans for teams of manufacturing robots
Markov decision processes	Strategy synthesis for Global Window PCTL
Mechanism Design	Automated Synthesis of Mechanisms
Mechanized Logic	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
message passing	Modelling with Reconfigurable Communication Interfaces
Minimal Independent Sets	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst
misconceptions	Little Tricky Logic: Misconceptions in the Understanding of LTL
model checking	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic" Modelling with Reconfigurable Communication Interfaces Formal Aspects of Strategic Reasoning in MAS
Model-Free Reinforcement Learning	An Automata-Theoretic Approach to Model-Free Reinforcement Learning
Module checking	Formal Aspects of Strategic Reasoning in MAS
monadic NP	Descriptive complexity and inexpressibly proofs
Multi-Agent Systems	Formal Aspects of Strategic Reasoning in MAS
Multi-Agent Systems (MAS)	An Epistemic Logic for modelling Cooperative Agents
N
Neurosymbolic AI	From Logic to Neurosymbolic AI
O
Omega Automata	A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
Open Problems	Strategy Logic: Origin, Results, and Open Questions
ordinary differential equations	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
P
PCTL	Strategy synthesis for Global Window PCTL
Planning	Logic-driven approaches for smart, safe and energy-efficient aviation
Program Verification	A Brief Glimpse of the Skolem Landscape
proof checking	Understandable Proofs of Unsatisfiability
proof of unsatisfiability	Understandable Proofs of Unsatisfiability
property language design	Little Tricky Logic: Misconceptions in the Understanding of LTL
Q
QPTIME	Computability and Complexity over Finite Unordered Structures; e.g., Graphs (1979-1982)
quantitative reasoning	Automata-Based Quantitative Reasoning
quantum mechanics	From Kochen-Specker to Feder-Vardi
Query Evaluation	Towards Algebraic Techniques for Descriptive Complexity
Query rewriting	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians”
R
Rational Synthesis	On the Extraordinary Effectiveness of Logic in Strategic Reasoning
rationality	That's All I know: On the Effectiveness of Logic in Game Theory
reactive synthesis	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Reactive systems	Formal Aspects of Strategic Reasoning in MAS
Reasoning	Logic-driven approaches for smart, safe and energy-efficient aviation
Recollections	To Count or Not to Count: A Personal Perspective
reconfigurable interaction	Modelling with Reconfigurable Communication Interfaces
Register automata	Data Path Queries over Embedded Graph Databases
Regular expressions	Rewriting of Regular Path Queries: The first paper of the four Italians
Regular path queries	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians” Data Path Queries over Embedded Graph Databases Rewriting of Regular Path Queries: The first paper of the four Italians
relational complexity	Fixpoint Logics, Relational Machines, and Computational Complexity
relational databases	Approximations of Certain Answers in First-Order Logic Moshe Y. Vardi's First Love
relational machines	Fixpoint Logics, Relational Machines, and Computational Complexity
representation learning	Logic and Languages for Representation Learning
Ron Fagin	A Comment to Moshe by Ron Fagin
S
safety	The Safety Fragment of LTL
SAT-based reasoning	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
Satisfiability	Understandable Proofs of Unsatisfiability
satisfiability checking	SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
Satisfiability Solvers	Bridging Practice and Theory in SAT: Moshe Vardi the Catalyst
SDD	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Series-parallel graphs	The Joy of Automata
sheaves and cohomology	From Kochen-Specker to Feder-Vardi
situation calculus	Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
Skolem Problem	A Brief Glimpse of the Skolem Landscape
SMT Solving	Checking Legal Contracts - On a Not So Usual Application of Mechanized Logic
Species Interaction Code	Natural Autoencoding
Specification	Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Strategic Reasoning	Formal Aspects of Strategic Reasoning in MAS Automated Synthesis of Mechanisms
Strategy Logic	Formal Aspects of Strategic Reasoning in MAS Strategy Logic: Origin, Results, and Open Questions On the Extraordinary Effectiveness of Logic in Strategic Reasoning
Strongly Connected Components (SCCs)	Divide-and-Conquer Determinization for B\"uchi Automata
Survival of the Fitted	Natural Autoencoding
Synthesis	Synthesis of plans for teams of manufacturing robots Strategy synthesis for Global Window PCTL On the Extraordinary Effectiveness of Logic in Strategic Reasoning SAT-based Reasoning Techniques for LTL over Finite and Infinite Traces
Synthesis under Environment Specifications	LTLf Synthesis Under Environment Specifications
T
Temporal Logic	On the Extraordinary Effectiveness of Logic in Strategic Reasoning On the unusual effectiveness of automata in logic
Temporal Logics	Formal Aspects of Strategic Reasoning in MAS
temporal reasoning	On the Effectiveness of Logic in Algorithmic Graph Theory
toasts	A Toast for Moshe at the FLoC VardiFest
Training Deep Neural Networks
transition systems	Modelling with Reconfigurable Communication Interfaces
translation	A Toast for Moshe at the FLoC VardiFest
U
user studies	Little Tricky Logic: Misconceptions in the Understanding of LTL
V
Vardi	Data Complexity and Expressive Power of Ontological Reasoning Formalisms How to be an ethical computer scientist
Vardifest	A Comment to Moshe by Ron Fagin On the Effectiveness of Logic in Robotics On how the past illuminates the future Comments from Giuseppe, Kuldeep, and Kristin
Verification	Verifying Accuracy Claims of Differential Privacy Algorithms Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
view-based query answering	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians”
view-based query processing	Rewriting, Answering, and Losslessness: A Clarification by the “Four Italians”
W
Weisfeiler-Leman	From Kochen-Specker to Feder-Vardi
X
ximplified proofs	Descriptive complexity and inexpressibly proofs
Z
ZDD	Boolean Synthesis via Decision Diagrams

Disclaimer | Powered by EasyChair Smart Program