Monotonicity

Results: 113



#Item
91Textual entailment / WordNet / Semantics / Entailment / Bitext word alignment / Inference / Monotonicity of entailment / First-order logic / Knowledge representation and reasoning / Logic / Science / Logical consequence

Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2006-10-09 13:21:20
92Knowledge / Textual entailment / Inference / Entailment / Bitext word alignment / Monotonicity of entailment / Abductive reasoning / Machine learning / Alignment / Logic / Logical consequence / Science

Learning Alignments and Leveraging Natural Logic Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Compu

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2007-10-09 18:25:59
93Textual entailment / Entailment / Monotonicity of entailment / Inference / Generalized quantifier / Semantic reasoner / Argument / Implicature / Monotonic function / Logic / Logical consequence / Science

Modeling Semantic Containment and Exclusion in Natural Language Inference Bill MacCartney Stanford University [removed] Abstract

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2008-05-30 18:00:51
94Non-classical logic / Programming paradigms / Logical consequence / Reasoning / Monotonicity of entailment / Monotonic function / Intelligence / Non-monotonic logic / Logic / Mathematical analysis / Science

Your Computer is Stupid The field of artificial intelligence is progressing. TU Vienna is a major center of this line of research. Several conferences on this topic will be held during the “Vienna Summer of Logic”. T

Add to Reading List

Source URL: vsl2014.at

Language: English - Date: 2014-07-02 08:56:42
95Estimation theory / M-estimators / Interpolation / Poisson regression / Isotonic regression / Maximum likelihood / Akaike information criterion / B-spline / Statistics / Regression analysis / Econometrics

Generalized Monotonic Regression The R code is used to perform analysis for semiparametric Poisson regression with monotonicity constraints log (X,Z,C)  logC  X T   (Z) The code can be extended to gene

Add to Reading List

Source URL: chs.unr.edu

Language: English - Date: 2014-08-06 19:26:55
96Convex analysis / Projected dynamical system / Hilbert space / Convex function / Calculus of variations / Sturm–Liouville theory / Characterizations of the exponential function / Mathematical analysis / Mathematics / Operator theory

MONOTONICITY AND EXISTENCE OF PERIODIC ORBITS FOR PROJECTED DYNAMICAL SYSTEMS ON HILBERT SPACES MONICA-GABRIELA COJOCARU Abstract. We present here results about the existence of periodic orbits for projected dynamical sy

Add to Reading List

Source URL: www.uoguelph.ca

Language: English - Date: 2004-10-19 13:42:12
97Deduction / Logical consequence / Propositional calculus / Automated theorem proving / Sequent calculus / Amenable group / Monotonicity of entailment / Entailment / Linear logic / Logic / Mathematical logic / Proof theory

LNCS[removed]A Linear Logic of Authorization and Knowledge

Add to Reading List

Source URL: www.ece.cmu.edu

Language: English - Date: 2012-06-20 08:58:08
98Deduction / Logical consequence / Propositional calculus / Geometric group theory / Entailment / Monotonicity of entailment / Amenable group / Sequent calculus / Linear logic / Logic / Mathematical logic / Proof theory

A Linear Logic of Authorization and Knowledge⋆ Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter Carnegie Mellon University Abstract. We propose a logic for specifying security policies at

Add to Reading List

Source URL: www.ece.cmu.edu

Language: English - Date: 2012-06-20 08:58:08
99Statistical theory / Kaplan–Meier estimator / Maximum likelihood / Estimator / Expectation–maximization algorithm / Bootstrapping / Efficient estimator / Statistics / Estimation theory / Statistical inference

Submitted to the Annals of Applied Statistics COMBINING ISOTONIC REGRESSION AND EM ALGORITHM TO PREDICT GENETIC RISK UNDER MONOTONICITY CONSTRAINT By Jing Qin∗,¶ , Tanya P. Garcia∗,†,k , Yanyuan Ma∗∗ , Ming-X

Add to Reading List

Source URL: www.stat.tamu.edu

Language: English - Date: 2014-01-27 11:11:27
100Quantification / Predicate logic / Semantics / Finite model theory / Philosophical logic / Generalized quantifier / FO / Sentence / Model theory / Logic / Mathematical logic / Theoretical computer science

Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation

Add to Reading List

Source URL: www.illc.uva.nl

Language: English - Date: 2013-12-13 13:15:40
UPDATE