Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
641	EPISODIC LOGIC: NATURAL LOGIC + REASONING Karl Stratos, Lenhart K. Schubert, and Jonathan Gordon Department of Computer Science, University of Rochester, Rochester, New York 14627, USA {jlee164, schubert, jgordon}@cs.roc Add to Reading List Source URL: cs.rochester.edu - Date: 2011-08-30 11:13:20
642	Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara Add to Reading List Source URL: ceur-ws.org - Date: 2016-08-12 03:27:47
643	Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs Andr´e Platzer April 2011 CMU-CS Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu - Date: 2011-04-25 20:05:44
644	Contract agreements via logic Massimo Bartoletti Tiziana Cimoli Paolo Di Giamberardino Add to Reading List Source URL: www.cs.unibo.it - Date: 2013-06-01 06:50:46
645	Switching Logic Synthesis for Reachability∗ Ankur Taly Ashish Tiwari Computer Science Dept., Stanford University Add to Reading List Source URL: theory.stanford.edu - Date: 2011-03-08 18:45:54
646	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-10-19 12:38:16
647	Transfer in Reinforcement Learning via Markov Logic Networks Lisa Torrey, Jude Shavlik, Sriraam Natarajan, Pavan Kuppili, Trevor Walker Computer Sciences Department University of Wisconsin-Madison Abstract Add to Reading List Source URL: pages.cs.wisc.edu - Date: 2008-05-14 11:59:37
648	Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection Paul Tarau1 1 Department of Computer Science and Engineering Add to Reading List Source URL: logic.cse.unt.edu - Date: 2012-10-26 11:14:39
649	Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democritus to Augustine. By Luca Castagnoli Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democrit Add to Reading List Source URL: www.nyu.edu - Date: 2012-10-06 03:25:44

UPDATE