Induction in First-Order Logic with Temporal Metric Operators

Torres, P; and Ursu, Marian F.. 2011. 'Induction in First-Order Logic with Temporal Metric Operators'. In: Proceedings of the 21st Conference on Inductive Logic Programming. UNDEFINED. [Conference or Workshop Item]
Copy
Item Type Conference or Workshop Item (Paper)
Departments, Centres and Research Units Computing
Date Deposited 25 Jan 2016 18:19
Last Modified 25 Jan 2016 18:19

Explore Further

Full text not available from this repository.

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads