Temporal logic of actions - PDFSEARCH.IO - Document Search Engine

Temporal logic of actions
Results: 10

#	Item
1	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
2	Specifying and Verifying Concurrent C Programs with TLA+ Amira Methni1,4(B) , Matthieu Lemerre2 , Belgacem Ben Hedia1 , Serge Haddad3 , and Kamel Barkaoui4 1 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:33:18 Computer programming Data types Call stack Stack Model checking Pointer Temporal logic of actions Final Software engineering Computing Subroutines
3	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
4	Goal specification using temporal logic in presence of non-deterministic actions Chitta Baral Matt Barry Department of Computer Sc. and Engg. Advance Tech Development Lab Arizona State University Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2007-09-11 20:03:24 Mathematics Linear temporal logic CTL* Model theory Modal logic Structure Temporal logic Logic Mathematical logic
5	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
6	Reasoning about programs by exploiting the environment Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:54:30 Model theory Philosophical logic Concurrency Temporal logic Temporal logic of actions First-order logic Modal logic FO If and only if Logic Mathematical logic Mathematics
7	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
8	Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Information Theoretical computer science Model checking Formal methods Temporal logic of actions Temporal logic Leslie Lamport Specification language Communications protocol Concurrency Computing Computer science
9	The Temporal Logic of Actions LESLIE LAMPORT Digital Equipment Corporation Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-27 16:01:37 Predicate logic Semantics Formal languages Temporal logic Function Quantification Temporal logic of actions Well-formed formula First-order logic Logic Mathematics Mathematical logic
10	PDF Document Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2007-10-21 18:30:11 Universal quantification Temporal logic of actions Expected value Logic Mathematics Mathematical logic Function

UPDATE