PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Characterizing Implications of Injective Partial Orders
José Balcázar and Gemma Garriga
In: ICCS 2007(2007).


It is known that implications in powerset-based closure systems correspond to Horn approximations in propositional logic frameworks. Here we focus on the problem of implications between injective partial orders. We set up the definitions that allow one to apply standard constructions of implications, and formally characterize the propositional theory obtained. We describe also some experimental applications of our development.

PDF - Requires Adobe Acrobat Reader or other PDF viewer.
EPrint Type:Conference or Workshop Item (Paper)
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:4494
Deposited By:Gemma Garriga
Deposited On:13 March 2009