Login / Signup
Lucia Landi
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Integrity Constraints
Inference Rules
Evolutionary Algorithm
Temporal Information
Top Venues
Ann. Pure Appl. Log.
AiML
</>
Publications
</>
Nick Bezhanishvili
,
Luca Carai
,
Silvio Ghilardi
,
Lucia Landi
-Inference Rules: interpolation, model completion, and contact algebras.
Ann. Pure Appl. Log.
174 (1) (2023)
Nick Bezhanishvili
,
Silvio Ghilardi
,
Lucia Landi
-rules: The Case of Contact Algebras.
AiML
(2020)