Skip to search formSkip to main contentSkip to account menu

Ramification problem

Known as: Ramification 
In philosophy and artificial intelligence (especially, knowledge based systems), the ramification problem is concerned with the indirect consequences… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Artificial intelligenceFrame problemKnowledge-based engineeringNon-monotonic logic

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Genomic regions involved in productivity of two interspecific poplar families in Europe. 2. Biomass production and its relationships with tree architecture and phenology
Short-rotation coppice of hybrid poplar is a promising renewable feedstock for biofuel production. Breeding for high biomass in… 
2009
2009
Further remarks on local discriminants
Using Kummer theory for a finite extension K of \Qp(\zeta)(where p is a prime number and \zeta a primitive p-th root of~1), we… 
2009
2009
Divergência genética entre acessos de mandioca-de-mesa coletados no município de Cianorte, região Noroeste do Estado do Paraná
Com o objetivo de avaliar a divergencia genetica entre 43 acessos de mandioca-de-mesa ( Manihot esculenta Crantz), coletados na… 
2008
2008
Covers of elliptic curves and slopes of effective divisors on the moduli space of curves
Consider genus g curves that admit degree d covers to elliptic curves only branched at one point with a fixed ramification type… 
2005
2005
Online monitoring of the final, divergent growth phase in the step-growth polymerization of polyamines
Using automatic, continuous online monitoring of polymerization reactions (ACOMP) the final, divergent growth phase (FDGP) of the… 
2004
2004
Crystallization of antimony nanoparticles: Pattern formation and fractal growth
The spontaneous formation of complex interfacial patterns from thermally deposited Sb4 clusters on HOPG is controlled by the… 
2004
2004
Quantitative Beziehungen zwischen der Verzweigungsdichte und Länge von Capillaren im Neocortex der Ratte während der postnatalen Entwicklung
SummaryThe average length of the capillary endothelial cells (LE), the capillary length (CL) and the number of vascular… 
2001
2001
E-RES: Reasoning about Actions, Events and Observations
The language Ɛ for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend… 
1996
1996
Verification Using Uninterpreted Functions and Finite Instantiations
One approach to address the state explosion problem in verification of microprocessors with wide datapaths is to model variables… 
1931
1931
Sur la théorie des groupes de décomposition, d'inertie et de ramification
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)