Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
631	Reasoning on Data-Aware Business Processes with Constraint Logic Maurizio Proietti and Fabrizio Smith National Research Council, IASI ”Antonio Ruberti” - Via dei Taurini 19, 00185 Roma, Italy {maurizio.proietti, fabr Add to Reading List Source URL: ceur-ws.org - Date: 2014-11-12 06:08:42
632	Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-01-15 13:49:06
633	Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of Add to Reading List Source URL: web.cecs.pdx.edu - Date: 2014-01-24 04:02:53
634	Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 1: Terms, Substitutions, Unification, Propositional Logic) Add to Reading List Source URL: cs.bath.ac.uk - Date: 2012-01-04 16:05:08
635	Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-02-11 11:26:12
636	Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Add to Reading List Source URL: www.cs.uni-potsdam.de - Date: 2012-06-27 10:05:03
637	Fine Grained Weight Learning in Markov Logic Networks Vibhav Gogate Parag Singla Dept. of Comp. Sci. & Engg. Add to Reading List Source URL: www.cse.iitd.ac.in - Date: 2016-07-06 07:51:40
638	Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas Add to Reading List Source URL: logic.cse.unt.edu - Date: 2011-01-23 15:58:50
639	Journal of Logic, Language and Information A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors Tobias Kuhn Add to Reading List Source URL: attempto.ifi.uzh.ch - Date: 2013-09-23 06:46:50
640	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-06-12 08:05:15

UPDATE