3 papers
math.GN2025
On completeness of Hausdorff hyperspaces
Ján Komara
The Hausdorff hyperspace of a metric space consists of all its non-empty bounded closed sets and it is equipped with the Pompeiu--Hausdorff set distance. We present a simpler novel…
cs.LO2022
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
Ján Komara
In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in quer…
cs.LO2022
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
Ján Komara
This report presents an elementary theory of unification for positive conjunctive queries. A positive conjunctive query is a formula constructed from propositional constants, equat…