Interval temporal logic - PDFSEARCH.IO - Document Search Engine

Interval temporal logic
Results: 15

#	Item
1	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic
2	ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-04-17 15:47:52 Algorithm Mathematical logic Theoretical computer science Graph of a function Mathematics Academia Abstraction
3	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
4	Point-Interval Logic Inference Mechanism General Temporal Problem An Inference Mechanism for Point-Interval Logic Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2008-05-17 10:05:33 Reasoning Abstraction Logic Interval temporal logic Inference Temporal logic
5	Learning Temporal Rules from State Sequences Frank H¨oppner Department of Electrical Engineering and Computer Science University of Applied Sciences, Emden Add to Reading List Source URL: public.fh-wolfenbuettel.de Language: English - Date: 2002-05-07 07:19:28 Data management Data mining Confidence interval Temporal logic Interval Pattern Antiderivative Statistics Design Association rule learning
6	1 Chapter 6 Testing 1. Neyman Pearson Tests 2. Unbiased Tests; Conditional Tests; Permutation Tests Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-04-08 14:52:07 Econometrics Market research Measurement Psephology Fisher information Symbol Linear temporal logic Statistics Biostatistics Confidence interval
7	1 Chapter 6 Testing 1. Neyman Pearson Tests 2. Unbiased Tests; Conditional Tests; Permutation Tests Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-03-13 12:44:18 Econometrics Market research Measurement Psephology Fisher information Symbol Linear temporal logic Statistics Biostatistics Confidence interval
8	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
9	Journal of Articial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:18 Non-classical logic Knowledge representation Artificial intelligence Philosophical logic Model theory Temporal logic Description logic Interval temporal logic Modal logic Logic Science Mathematical logic
10	From: AAAI-88 Proceedings. Copyright ©1988, AAAI (www.aaai.org). All rights reserved. Prevention Techniques Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-09 19:25:29 Association rule learning Mathematics Structure Abstraction Data mining Temporal logic Interval