On Horn axiomatizations for sequential data

DOI10.1007/978-3-540-30570-5_15MaRDI QIDQ5316596zbMATH OpenOpenAlexFDO

Authors José L. Balcázar, Gemma Casas-Garriga

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104421

zbMATH Keywords

association rulesclosure operatorspropositional Horn theoriessequential patterns

Mathematics Subject Classification ID

Data structures (68P05) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Horn axiomatizations for sequential data
• Higher order temporal rules
• Logic of association rules
• Constraint based mining of first order sequences in SeqLog
• On mining ordering rules

Cited in

(3)

• PRISM: an effective approach for frequent sequence mining via prime-block encoding
• Mining frequent closed rooted trees
• Horn axiomatizations for sequential data

This page was built for publication: On Horn axiomatizations for sequential data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316596)