Interval temporal logic - PDFSEARCH.IO - Document Search Engine

Interval temporal logic
Results: 15

#	Item
11	Annotating and Reasoning about Time and Events Jerry Hobbs James Pustejovsky USC/ISI Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2002-10-09 09:57:21 Science Ontology Metaphysics Philosophy of time Knowledge representation TimeML Interval temporal logic Temporal logic Time Technical communication Computing Measurement
12	An Efficient Characterization of Fuzzy Temporal Interval Relations Steven Schockaert, Martine De Cock, and Etienne E. Kerre Abstract— Fuzzy temporal interval relations have been defined to support temporal knowledge re Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2006-04-18 16:27:19 Fuzzy logic Constructible universe
13	Imprecise Temporal Interval Relations Steven Schockaert, Martine De Cock, and Etienne E. Kerre Department of Applied Mathematics and Computer Science Fuzziness and Uncertainty Modelling Research Unit Ghent University, Kr Add to Reading List Source URL: www.fuzzy.ugent.be Language: English - Date: 2005-10-28 11:18:04 Fuzzy control system Fuzzy mathematics Fuzzy classification Fuzzy logic Logic Fuzzy set
14	Verify Your Runs Klaus Havelund and Allen Goldberg Kestrel Technology, Palo Alto, California, USA http://www.kestreltechnology.com 1 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:25 Applied mathematics Temporal logic Software development Runtime verification Formal verification Model checking Abstract state machines Interval temporal logic Java Pathfinder Formal methods Theoretical computer science Logic in computer science
15	Could packing be specified in terms of closed-open interval semantics without having to commit to granularity ? Erwin Smout Introduction “Temporal Data and the Relational Model”1, by Hugh Darwen, Chris Date & Nikos L Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2014-03-17 07:42:40 Data management Logic Relational model Finitary relation Tuple Universal quantification Constructible universe Uniqueness quantification Equivalence relation Mathematics Quantification Mathematical logic

UPDATE