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]

No full text available

Item Type:

Conference or Workshop Item (Paper)

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
2011["eprint_fieldopt_dates_date_type_shown" not defined]

Item ID:

16428

Date Deposited:

25 Jan 2016 18:19

Last Modified:

25 Jan 2016 18:19

URI:

https://research.gold.ac.uk/id/eprint/16428

Edit Record Edit Record (login required)