Search results

Page title matches

• Inference
  ...rence'' (album)|the process in statistics and machine learning|Statistical inference}} ...nce to a [[Universal (metaphysics)|universal]] conclusion. A third type of inference is sometimes distinguished, notably by [[Charles Sanders Peirce]], contradi ...
  23 KB (3,189 words) - 04:35, 2 June 2025
• Deductive inference
  33 bytes (3 words) - 19:11, 8 October 2010
• Deep inference
  ...ctural complexity is unbounded; in this article we will use '''non-shallow inference''' to refer to calculi that have structural complexity greater than the seq ...ll related to the [[cut-elimination theorem]]. The first calculus of deep inference was proposed by [[Kurt Schütte]],<ref>Kurt Schütte. Proof Theory. Springer- ...
  2 KB (278 words) - 08:40, 4 March 2024
• Constraint inference
  In [[constraint satisfaction]], '''constraint inference''' is a relationship between constraints and their consequences. A set of c [[Category:Inference]] ...
  3 KB (434 words) - 14:44, 9 November 2022
• Inference engine
  ...the knowledge base could trigger additional rules in the inference engine. Inference engines work primarily in one of two modes either special rule or facts: [[ ...ition]], [[natural language processing]], and [[autonomous vehicles]]. The inference phase in these applications is typically characterized by a high volume of ...
  11 KB (1,610 words) - 01:41, 24 February 2024
• Logical inference
  #REDIRECT [[Inference]] ...
  23 bytes (2 words) - 17:56, 18 April 2006
• Abductive inference
  33 bytes (3 words) - 00:26, 12 January 2004
• Bayesian Inference
  #REDIRECT [[Bayesian inference]] ...
  97 bytes (10 words) - 15:48, 9 June 2017
• Region inference
  #REDIRECT [[Region-based memory management#Region inference]] ...
  172 bytes (20 words) - 05:54, 30 April 2017
• Statistical inference
  '''Statistical inference''' is the process of using [[data analysis]] to infer properties of an unde ...red to as ''inference'' (instead of ''prediction''); see also [[predictive inference]]. ...
  48 KB (6,355 words) - 12:44, 21 September 2025
• Inference rule
  #REDIRECT [[Rule of inference]] ...
  67 bytes (9 words) - 02:22, 10 January 2025
• Bayesian inference
  {{Short description|Method of statistical inference}} ...[[sport]], and [[law]]. In the philosophy of [[decision theory]], Bayesian inference is closely related to subjective probability, often called "[[Bayesian prob ...
  73 KB (10,595 words) - 17:08, 17 November 2025
• Inference procedure
  #REDIRECT [[inference]] ...
  23 bytes (2 words) - 10:19, 9 December 2007
• Design Inference
  #REDIRECT [[The Design Inference]] ...
  34 bytes (4 words) - 13:24, 1 July 2005
• Transductive inference
  44 bytes (4 words) - 10:15, 9 June 2008
• Type inference
  '''Type inference''', sometimes called '''type reconstruction''',<ref name="TAPL">{{cite book ...guages, this means that most types have to be declared explicitly. '''Type inference''' aims to alleviate this burden, freeing the author from declaring types t ...
  32 KB (4,714 words) - 23:38, 27 June 2025
• Inference rules
  #REDIRECT [[Rule of inference]] {{R adr|Inference rule}} ...
  98 bytes (14 words) - 02:27, 10 January 2025
• The Design Inference
  | name = The Design Inference | image = Design inference.jpg ...
  8 KB (1,186 words) - 07:56, 3 January 2025
• Ontology Inference Layer
  '''OIL''' ('''Ontology Inference Layer''' or '''Ontology Interchange Language''') can be regarded as an [[on [[de:Ontology Inference Layer]] ...
  1 KB (165 words) - 20:09, 10 September 2023
• Rules of inference
  #REDIRECT [[Rule of inference]] ...
  66 bytes (9 words) - 04:02, 29 January 2020

Page text matches

• Inference rules
  #REDIRECT [[Rule of inference]] {{R adr|Inference rule}} ...
  98 bytes (14 words) - 02:27, 10 January 2025
• Deep inference
  ...ctural complexity is unbounded; in this article we will use '''non-shallow inference''' to refer to calculi that have structural complexity greater than the seq ...ll related to the [[cut-elimination theorem]]. The first calculus of deep inference was proposed by [[Kurt Schütte]],<ref>Kurt Schütte. Proof Theory. Springer- ...
  2 KB (278 words) - 08:40, 4 March 2024
• Logical inference
  #REDIRECT [[Inference]] ...
  23 bytes (2 words) - 17:56, 18 April 2006
• Infer
  #REDIRECT [[Inference]] ...
  23 bytes (2 words) - 12:00, 30 July 2021
• Inference procedure
  #REDIRECT [[inference]] ...
  23 bytes (2 words) - 10:19, 9 December 2007
• Bayesian methods
  #REDIRECT [[Bayesian inference]] ...
  32 bytes (3 words) - 17:16, 23 March 2006
• Bayesian analysis
  #redirect [[Bayesian inference]] ...
  32 bytes (3 words) - 13:27, 12 June 2004
• Statistical analysis
  #REDIRECT [[Statistical inference]] ...
  35 bytes (3 words) - 14:28, 27 May 2020
• Classical statistics
  #REDIRECT [[Frequentist inference]] ...
  35 bytes (3 words) - 22:06, 13 April 2012
• Extended composition
  #redirect [[Constraint inference]] ...
  34 bytes (3 words) - 14:42, 23 March 2006
• Frequentist statistics
  #REDIRECT [[Frequentist inference]] ...
  35 bytes (3 words) - 15:59, 18 February 2010
• Constraint projection
  #redirect [[Constraint inference]] ...
  34 bytes (3 words) - 14:42, 23 March 2006
• Inferential Statistics
  #REDIRECT [[Statistical inference]] ...
  35 bytes (3 words) - 06:18, 17 January 2007
• Constraint composition
  #redirect [[Constraint inference]] ...
  34 bytes (3 words) - 14:42, 23 March 2006
• Non-parametric inference
  #REDIRECT [[Statistical inference]] ...
  35 bytes (3 words) - 21:59, 27 February 2015
• Bayesian method
  #REDIRECT [[Bayesian inference]] ...
  32 bytes (3 words) - 17:15, 23 March 2006
• Frequentist
  #REDIRECT [[Frequentist inference]] ...
  35 bytes (3 words) - 14:18, 18 February 2010
• Inferential statistics
  #REDIRECT [[Statistical inference]] ...
  35 bytes (3 words) - 16:10, 12 March 2009
• Inferences
  #REDIRECT [[Inference]]{{R from plural}} ...
  40 bytes (5 words) - 23:38, 9 November 2014
• Universal Variables
  #REDIRECT [[Rule of inference]] ...
  31 bytes (4 words) - 19:30, 16 May 2006