A Man - PDFSEARCH.IO - Document Search Engine

A Man
Results: 7644

#	Item
1	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
2	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
3	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
4	A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:44 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference
5	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:31 Artificial intelligence Logic Cognitive science Automated reasoning Reasoning Accountability Technology Automated theorem proving Explainable Artificial Intelligence Xai Inference
6	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
7	Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:53 Artificial intelligence Cognitive science Logic Cognition Cybernetics Automated reasoning Automated theorem proving Computational neuroscience Explainable Artificial Intelligence Mark E. Stickel Reason Inference
8	Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:08:32 Mathematics Algebra Theoretical computer science Finite automata Linear algebra Finite-state transducer Dynamic programming Edit distance Trace Finite-state machine Shortest path problem Levenshtein distance
9	Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-31 12:00:20 Theoretical computer science Formal methods Mathematical logic School of Computer Science University of Manchester Mathematics Logic in computer science Automated theorem proving Formal verification SPASS Andrei Voronkov Vampire First-order logic
10	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation