Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
671	CS109B Notes for LectureWhy Logic? Models reasoning, mathematical proofs, hu Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:08 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Interpretation Function Propositional variable Logic Mathematical logic Mathematics
672	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic
673	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
674	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Boolean algebra Propositional calculus Well-formed formula Logical connective FO Propositional formula First-order logic Logic Mathematical logic Logical syntax
675	18.312: Algebraic Combinatorics Lionel Levine Lecture 12 Lecture date: March 17, 2011 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2011-08-19 00:40:35 Algebra Algebraic logic Incidence algebra Order theory Boolean algebra Lattice Fuzzy logic Residuated lattice Residuated Boolean algebra Abstract algebra Mathematics Algebraic structures
676	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
677	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
678	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
679	TopSpeed ODBC Interface — syntax statement ::= CREATE create \| DROP drop \| SELECT select orderby \| INSERT insert \| DELETE delete \| UPDATE update \| passthroughSQL passthroughSQL ::= any statement supported by the backen Add to Reading List Source URL: www.softvelocity.com Language: English - Date: 2008-11-04 18:15:17 Query languages Null Boolean algebra SQL Boolean data type Select Expr Computing SQL keywords Data management
680	CS109B Notes for LectureTautologies Logical expressions that evaluate to TRUE for any truth-assignment. Embody reasoning principles. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:11 Mathematical logic Logical truth Boolean algebra Semantics Tautology Substitution Truth table Proof by contradiction Contradiction Logic Propositional calculus Mathematics

UPDATE