F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
21	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
22	I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2003-04-22 21:23:23 Philosophy Epistemology Metaphysics Causality Philosophy of science Formal epistemology Reasoning Bayesian network Probabilistic logic Determinism Causal model Abductive reasoning
23	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol
24	DIGITAL IC-PROJECT, LTH, SWEDEN, MAYA hardware implementation of an MP3 decoder Irina F¨altman, Marcus Hast, Andreas Lundgren, Suleyman Malki, Erik Montnemery, Anders R˚angevall, Add to Reading List Source URL: www.mp3-tech.org Language: English - Date: 2009-06-28 10:47:16 Computing Digital circuits Electronic engineering Data compression Audio codecs Logic block MPEG-1 Huffman coding Field-programmable gate array Lookup table Counter
25	OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Semantic Web Logic Computing Information science Knowledge engineering Knowledge representation Technical communication Web Ontology Language Ontology Resource Description Framework Description logic Interpretation
26	The Emergence of Organizations and Markets edited by John F. Padgett and Walter W. Powell The Emergence of Organizations and Markets by John F. Padgett; Walter W. Powell Review by: James N. Baron American Journal of Soci Add to Reading List Source URL: woodypowell.com Language: English - Date: 2014-05-13 13:04:12 Sociology Science Guggenheim Fellows Behavioural sciences Organizational theory Systems theory Institutional logic Social constructionism Social network Lynette Spillman Economic sociology
27	Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Computing Concurrent computing Data management Parallel computing Electronic design automation Distributed computing SimGrid Big data Data grid Simulation Data-intensive computing Logic simulation
28	Scott F. Aikin, Ph.D. Curriculum Vitae (SummerAssistant Professor of Philosophy, Vanderbilt University AOS: Epistemology, Pragmatism, Ancient Philosophy AOC: Argumentation Theory, Philosophy of Religion Add to Reading List Source URL: as.vanderbilt.edu Language: English - Date: 2016-06-07 16:19:29 Philosophy Epistemology American philosophers Critical thinking Pragmatists Epistemologists Logic Robert B. Talisse Draft:Scott Aikin Argumentation theory Pragmatism Laurence BonJour
29	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
30	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean

UPDATE