Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
1	Propositional Update Operators based on Formula/Literal Dependence ANDREAS HERZIG IRIT-CNRS, Toulouse JEROME LANG LAMSADE-CNRS, Paris Add to Reading List Source URL: www.lamsade.dauphine.fr Language: English - Date: 2014-04-24 06:08:59
2	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
3	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
4	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
5	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:03:54 Logic Mathematics Abstraction Automated theorem proving Smooth functions Logic programming Logical truth Propositional calculus Substitution Well-formed formula Distribution Constructible universe
6	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
7	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
8	École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-10-28 05:35:30 Mathematical logic Mathematics Logic Boolean algebra First-order logic Propositional calculus FO Quantifier Boolean satisfiability problem True quantified Boolean formula Model theory Peano axioms
9	SAT-solving in practice Koen Claessen, Niklas Een, Mary Sheeran and Niklas S¨orensson Abstract— Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-04-25 07:47:00
10	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference