Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
981	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
982	2016 West Virginia AmeriCorps Significant Changes to the NOFO (Formula Grant) NOFO Number of Members Threshold Funding Priority Areas Notice Priority Add to Reading List Source URL: www.volunteerwv.org Language: English - Date: 2016-01-27 09:20:26 Logic model Susquehanna Valley Federal assistance in the United States
983	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic
984	Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap Add to Reading List Source URL: romain.vuillemot.net Language: English - Date: 2016-07-06 10:07:48 Chemistry Separation processes Sewerage Water treatment Philosophy Logic Exonumia Metalogic Token coin Flocculation Typetoken distinction Sedimentation
985	Query Graphs with Cuts: Mathematical Foundations Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Graph theory Mathematics Discrete mathematics Diagrams Charles Sanders Peirce Philosophical logic Logic Existential graph Graph Conceptual graph Ear decomposition Entitative graph
986	C:uments and SettingsoomeDocumentsiclese or narrow scopee or narrow scope.wpd Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2006-09-07 13:09:54 Philosophy Logic Cognitive science Philosophical logic Epistemology Rational choice theory Autonomy Philosophy of mind Rationality Isought problem Reason Modal logic
987	Contents Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-08-07 18:59:36 Mathematical analysis Mathematics Probability theory Measure theory Mathematical logic Boolean algebra Sigma-algebra Borel set Probability space Pi system
988	The semantics of poetry: a distributional reading Aur´elie Herbelot University of Cambridge, Computer Laboratory J.J. Thomson Avenue, Cambridge CB1 8AZ United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-26 06:49:42 Semantics Linguistics Logic Academia Philosophical logic Meaning Philosophy of language Grammar Distributional semantics Linguistic competence Word sense Pragmatics
989	Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-12-16 16:04:19 Logic Graphical models Mathematics Mathematical logic Structured prediction Markov random field Probability theory Non-classical logic Logic in computer science Bayesian network Random field Fuzzy logic
990	179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:41 Mathematical analysis Mathematics Analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Exponentiation Distribution Derivative