Sign in
Jeny Jacob
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Markov Logic
Horn Clauses
Propositional Logic
Graph Theory
Top Venues
CoRR
ICLA
CALDAM
</>
Publications
</>
Lekshmi Kamal K. Sheela
,
Manoj Changat
,
Jeny Jacob
The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability.
CALDAM
(2024)
Jeny Jacob
,
Manoj Changat
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability.
ICLA
(2023)
Jérémie Chalopin
,
Manoj Changat
,
Victor Chepoi
,
Jeny Jacob
First-order logic axiomatization of metric graph theory.
CoRR
(2022)