FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Baumeister, Joachim	Conflict Handling in Product Configuration using Answer Set Programming
Boukhobza, Taha	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
Broda, Krysia	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
C
Capon, Chloé	Computing H-Partitions in ASP and Datalog
Costantini, Stefania	Epistemic Logic Programs: a Novel Perspective and some Extensions
E
Erdem, Esra	Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms
F
Formisano, Andrea	Epistemic Logic Programs: a Novel Perspective and some Extensions
H
Hahn, Susana	plingo: A system for probabilistic reasoning in clingo based on lpmln
Herud, Konstantin	Conflict Handling in Product Configuration using Answer Set Programming
I
Iatrou, Evan	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
J
Janhunen, Tomi	plingo: A system for probabilistic reasoning in clingo based on lpmln
K
Kaminski, Roland	plingo: A system for probabilistic reasoning in clingo based on lpmln
L
Lecomte, Nicolas	Computing H-Partitions in ASP and Datalog
Lifschitz, Vladimir	Translating Definitions into the Language of Logic Programming: A Case Study
R
Romero, Javier	On the generalization of learnt constraints in ASP solving for temporal domains plingo: A system for probabilistic reasoning in clingo based on lpmln
Rueckschloss, Kilian	Correct Causal Inference in Probabilistic Logic Programming
Ruehling, Nicolas	plingo: A system for probabilistic reasoning in clingo based on lpmln
Russo, Alessandra	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
S
Sabuncu, Orkunt	Conflict Handling in Product Configuration using Answer Set Programming
Schaub, Torsten	On the generalization of learnt constraints in ASP solving for temporal domains Conflict Handling in Product Configuration using Answer Set Programming plingo: A system for probabilistic reasoning in clingo based on lpmln ASP in Industry, here and there
Shen, Jun	Constrained Default Logic Programming
Smail-Tabbone, Malika	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
Strauch, Klaus	On the generalization of learnt constraints in ASP solving for temporal domains
T
Tuckey, David	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
V
Vaginay, Athénaïs	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
W
Ward, Francis Rhys	A Casual Perspective on AI Deception
Wijsen, Jef	Computing H-Partitions in ASP and Datalog
Z
Zhang, Shutao	Constrained Default Logic Programming
Zhang, Zhizheng	Constrained Default Logic Programming Assumable Answer Set Programming

Disclaimer | Powered by EasyChair Smart Program