F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
431	On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨ Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2010-11-03 11:40:59 Circuit complexity Computational complexity theory Boolean algebra Complexity classes Implicant Logic in computer science Boolean circuit Circuit ACC0 Theoretical computer science Mathematics Applied mathematics
432	A SAT-based Sudoku Solver? Tjark Weber Institut f¨ ur Informatik, Technische Universit¨ at M¨ unchen Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-02-08 07:29:22 Recreational mathematics Theoretical computer science NP-complete problems Sudoku Backtracking Propositional calculus Sudoku algorithms Mathematics Logic puzzles Logic
433	Common Logic A Framework for a Family Of Logic-Based Languages John F. Sowa 19 May 2008 Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2008-10-30 13:57:13 Diagrams Philosophy of science Philosophical logic Mathematical logic Conceptual graph Common logic First-order logic Charles Sanders Peirce Semantics Logic Science Philosophy
434	A S IM P L E A L GO RI T H M F O R I DE N T IF Y I N G AB B R EV I A TI O N DE FI N I TI O N S IN B IO M EDI CA L T E X T A R I E L S . S C H W A R TZ M AR TI A . H E A R S T Add to Reading List Source URL: biotext.berkeley.edu Language: English - Date: 2003-11-26 12:01:50 Pattern matching Analysis of algorithms Algorithm Mathematical logic Natural language processing Recall Regular expression Time complexity Theoretical computer science Applied mathematics Computer science
435	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
436	An extended model of natural logic Bill MacCartney and Christopher D. Manning Abstract We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without f Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-12-01 16:54:33 Semantics Model theory Logical consequence Predicate logic Entailment First-order logic Textual entailment Quantification Interpretation Logic Mathematical logic Philosophical logic
437	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
438	Can Artificial Intelligence Improve Human Reasoning A Review by of George F. Luger Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2013-01-13 23:22:12 Cognition Epistemology Artificial intelligence Mathematical logic Logic programming Logic Reason Strong AI Algorithm Science Knowledge Reasoning
439	~ LnKTAZI£U 9~ ~Ed~ Robert K~als~i Department o f Cclpuing Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
440	Noname manuscript No. (will be inserted by the editor) Temporarily Hidden Bit Commitment and Lottery Applications David M. Goldschlag · Stuart G. Stubblebine · Paul F. Syverson Add to Reading List Source URL: www.syverson.org Language: English - Date: 2012-03-07 08:53:12 Mathematical logic Commitment scheme Lottery Function Image Inverse function Cryptographic hash function Preimage attack Surjective function Mathematics Cryptography Functions and mappings

UPDATE