Negation - PDFSEARCH.IO - Document Search Engine

Negation
Results: 484

#	Item
81	3URFHHGLQJVRIWKHQG1RUWK$PHULFDQ&RQIHUHQFHRQ&KLQHVH/LQJXLVWLFV1$&&/ WKHWK,QWHUQDWLRQDO&RQIHUHQFHRQ &KLQHVH/LQJXLVWLFV,$&/9RO&OHPHQV/( &0//LXHGV+DUYDUG8QLYH Add to Reading List Source URL: naccl.osu.edu Language: English - Date: 2014-11-17 14:51:18 Negation Propositional calculus Semantics Mystery Auxiliary verb Copula Logic Linguistics Boolean algebra Grammar
82	Conjunctive Queries with Negation over DL-Lite: A Closer Look V´ıctor Guti´errez-Basulto1 , Yazm´ın Iba˜nez-Garc´ıa2 , Roman Kontchakov3 , and Egor V. Kostylev4 1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-05-27 13:45:10 Symbol Algebraic geometry Field theory Valuation
83	MONDE Rwanda Le génocide rwandais et sa négation Le génocide de 1994 au Rwanda est le résultat d’une idéologie Add to Reading List Source URL: www.ldh-france.org Language: French - Date: 2014-10-20 10:48:25
84	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
85	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics
86	Jordan Journal of Modern Languages and Literature Vol. 5, No. 2, 2013, ppJJMLL Acts of Negation: Modality and Spatiality in The Satanic Verses Ebtisam Ali Sadiq King Saud University, Riyadh, Saudi Arabia Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2014-02-18 08:31:01 Fatwas Knights Bachelor Postcolonial literature Salman Rushdie The Satanic Verses Satanic Verses Muhammad Sudanese teddy bear blasphemy case Ruhollah Khomeini Islam Religion Islam in the United Kingdom
87	Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:13:18 Natural deduction Sequent calculus Cut-elimination theorem Sequent Rule of inference First-order logic Mathematical proof KeY Negation Logic Mathematical logic Proof theory
88	Negation Scope Delimitation in Clinical Text Using Three Approaches: NegEx, PyConTextNLP and SynNeg Hideyuki Tanushi1 , Hercules Dalianis1 , Martin Duneld1 , Maria Kvist1,2 , Maria Skeppstedt1 , Sumithra Velupillai1 (1) Add to Reading List Source URL: www.diva-portal.org Language: English - Date: 2013-10-31 05:33:58 Computational linguistics Boolean algebra Negation Parsing Treebank Auxiliary verb Logic programming Syntax Linguistics Grammar Semantics
89	Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Mathematics Boolean algebra Semantics Logical connectives Tautology Truth table Conjunctive normal form Negation Sage Logic Propositional calculus Mathematical logic
90	An Update on Query Answering with Restricted Forms of Negation V´ıctor Guti´errez-Basulto1 , Yazm´ın Iba˜nez-Garc´ıa2 , and Roman Kontchakov3 1 3 Add to Reading List Source URL: www.informatik.uni-bremen.de - Date: 2012-09-13 08:44:06

UPDATE