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.
Review
2010
Review
2010
An Almost Ideal Demand System for Food
1. This is a micro-data based study of demand for food in the framework of a static, utility maximizing, and partial model that… 
2010
2010
A fully automatic and efficient technique for liver segmentation from abdominal CT images
As a mean for liver investigation, abdominal CT images have been widely studied in the recent years. Processing CT image includes… 
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… 
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… 
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… 
1996
1996
On the expressive power of variable-confined logics
In this paper we study the comparative expressive power of variable-confined logics, that is, logics with a fixed finite number… 
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)