Rule of inference - PDFSEARCH.IO - Document Search Engine

Rule of inference
Results: 86

#	Item
1	TOWARD WEBSCALE, RULE-BASED INFERENCE ON THE SEMANTIC WEB VIA DATA PARALLELISM By Jesse Weaver A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2013-03-05 17:07:26
2	Type Inference and Rule Dependencies in Xcerpt Wlodzimierz Drabent1,2 , Artur Wilk1 MayDept. of Computer and Information Science, Add to Reading List Source URL: rewerse.net - Date: 2008-10-16 09:18:32
3	ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s Add to Reading List Source URL: cs.bath.ac.uk - Date: 2016-12-16 05:02:50
4	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
5	Assessing Data Mining Results via Swap Randomization ARISTIDES GIONIS Yahoo! Research HEIKKI MANNILA University of Helsinki and Helsinki University of Technology Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2011-11-03 16:35:56 Statistics Data Information Data mining Bioinformatics Association rule learning Data management Data analysis Statistical inference Data set Resampling Biclustering
6	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
7	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
8	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic
9	Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS Motivation Hoare-style assertions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-28 10:05:14 Logic Logic in computer science Theoretical computer science Mathematical logic Separation logic Assertion Rule of inference
10	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference