Logic

Results: 27485



#Item
1Logic / Non-classical logic / Mathematical logic / Metaphysics / Philosophical logic / Artificial intelligence / Description logic / Information science / Model theory / Modal logic / First-order logic / Web Ontology Language

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
2Software 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

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
3Computing / Network protocols / Information and communications technology / Internet of things / Web of Things / World Wide Web / Computer network / USB / Protocol stack / Internet protocol suite

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
4Formal methods / Logic in computer science / Temporal logic / Runtime verification

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
5Mathematics / Theoretical computer science / Algebra / Linear programming / Formal methods / Constraint programming / Declarative programming / Invariant / Satisfiability modulo theories / Linear inequality / Inequality

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
6Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

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
7Software engineering / Computer programming / Computing / Artificial neural network / Computational neuroscience / Market research / Market segmentation / Mathematical psychology / Autoencoder / Feature learning / Logic programming / Prolog

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
8Temporal logic / Logic in computer science / Model checkers / Linear temporal logic / Computation tree logic / Model checking / PAT / Synthesis / Mathematics

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
9Software 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

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
10Proof assistants / Theoretical computer science / Logic in computer science / Mathematical logic / Isabelle / Logic for Computable Functions / Mathematics / Resolution / Constructible universe / Theorem prover / LCF / Formal methods

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
UPDATE