Negation - PDFSEARCH.IO - Document Search Engine

Negation
Results: 484

#	Item
371	Ann Math Artif Intell[removed]:363–388 DOI[removed]s10472[removed]An introduction to fuzzy answer set programming Davy Van Nieuwenborgh · Martine De Cock · Dirk Vermeir Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2007-11-16 12:32:25 Mathematics Logic programming Logic in computer science Artificial intelligence Rules of inference Negation as failure Stable model semantics T-norm Interpretation Logic Mathematical logic Fuzzy logic
372	A core language for fuzzy answer set programming Jeroen Janssena,1,∗, Steven Schockaertb,2,∗∗, Dirk Vermeira,∗∗, Martine De Cockb,∗∗ a Department of Computer Science, Vrije Universiteit Brussel Pleinlaan 2, Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 05:38:49 Logic programming Logic in computer science Fuzzy logic Functions and mappings Stable model semantics Answer set programming Negation Combinatory logic Closure operator Mathematical logic Mathematics Logic
373	Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions Kim Bautersa,, Steven Schockaertb , Martine De Cocka , Dirk Vermeirc a Department of Applied Mathematics and Compu Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:22:11 Semantics Philosophical logic Stable model semantics Model theory Answer set programming Modal logic Term algebra Negation Interpretation Logic programming Logic Mathematical logic
374	Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:30:28 Non-classical logic Modal logic Artificial intelligence Autoepistemic logic Stable model semantics Negation as failure Default logic Non-monotonic logic Fuzzy logic Logic Mathematical logic Logic programming
375	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
376	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
377	A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed] Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2003-11-28 09:54:28 Rule of inference Sequent calculus Cut-elimination theorem Deep inference First-order logic Sequent Negation Atomic formula Inference Logic Mathematical logic Proof theory
378	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
379	Analysis of the effect of negation on information retrieval of medical data Bevan Koopman∗ Australian e-Health Research Centre CSIRO QLD 4029 Australia [removed] Add to Reading List Source URL: koopman.id.au Language: English - Date: 2012-02-01 21:19:13 Negation Relevance feedback Document retrieval Precision and recall Tf*idf Gerard Salton Relevance Information science Information retrieval Science
380	Negative Concord and Restructuring in Palestinian Arabic: A Comparison of TAG and CCG Analyses Frederick M. Hoyt Linguistics Department University of Texas at Austin 1 University Station B5100 Add to Reading List Source URL: fmhoyt.colliertech.org Language: English - Date: 2011-12-12 22:35:32 Parts of speech Double negative Control Verb Auxiliary verb Negation Grammatical polarity Predicate Linguistics Grammar Semantics

UPDATE