Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-73681-3_42 | ICCS |
Keywords | Field | DocType |
propositional theory,powerset-based closure system,horn approximation,propositional logic framework,injective partial orders,injective partial order,experimental application,characterizing implications,standard construction,lattice theory,data mining,association rule,data model,partial order | Mathematical optimization,Injective function,Algebra,Computer science,Propositional calculus,Pure mathematics | Conference |
Volume | ISSN | Citations |
4604 | 0302-9743 | 1 |
PageRank | References | Authors |
0.38 | 7 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| José L. Balcázar | 1 | 701 | 62.06 |
| Gemma C. Garriga | 2 | 144 | 10.25 |