Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
1	Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:55:15 Logic Non-classical logic Mathematical logic Metaphysics Philosophical logic Artificial intelligence Description logic Information science Model theory Modal logic First-order logic Web Ontology Language
2	MLP on Wednesday, July 18th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2018-10-21 10:52:58 Software engineering Computer programming Computing Computational neuroscience Object-oriented programming languages Cross-platform software Software testing Program analysis Software bug Type system Artificial neural network Fuzzing
3	2016 Real Time Logic LLC Copyright 2016 INTRODUCTION Add to Reading List Source URL: realtimelogic.com Language: English - Date: 2016-01-05 18:49:40 Computing Network protocols Information and communications technology Internet of things Web of Things World Wide Web Computer network USB Protocol stack Internet protocol suite
4	Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Formal methods Logic in computer science Temporal logic Runtime verification
5	Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2016-06-28 04:33:45 Mathematics Theoretical computer science Algebra Linear programming Formal methods Constraint programming Declarative programming Invariant Satisfiability modulo theories Linear inequality Inequality
6	Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Logic in computer science Automated theorem proving Formal methods Constraint programming Logic programming Resolution Unification Satisfiability modulo theories Andrei Voronkov
7	Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Software engineering Computer programming Computing Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Autoencoder Feature learning Logic programming Prolog
8	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:56:24 Temporal logic Logic in computer science Model checkers Linear temporal logic Computation tree logic Model checking PAT Synthesis Mathematics
9	Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Theoretical computer science Computing Formal methods Logic in computer science Software testing Electronic design automation Formal verification Abstract interpretation KeY Satisfiability modulo theories Model checking
10	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods