ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (5)
  • logic programming  (3)
  • Anther dimensions  (2)
  • Springer  (5)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Sexual plant reproduction 9 (1996), S. 228-232 
    ISSN: 1432-2145
    Keywords: Male transmission ; Anther dimensions ; Pollen dimensions ; Pistil dimensions ; Sesame ; Sesamum indicum
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract Measurements of anther (length, width, depth), pollen grain (percent fertility, polar diameter, equatorial diameter, polar diameter/equatorial diameter ratio, volume) and pistil (stigma length, style length, ovary length, total pistil length, stigma width, style width, ovary width) were taken on 12 diverse sesame (Sesamum indicum L.) genotypes on each of four collection dates in 1994. Highly significant differences among genotype means were obtained for all characters except polar diameter. Highly significant differences among environment (collection date) means were found for ten of the 15 characters measured. Highly significant genotype x environment interactions were obtained for all characters except anther length. For the anther characters measured, relatively high repeatability values were found, ranging from 99.8% for length to 87.6% for depth. For the pollen grain characters measured, the repeatability values ranged from 67.6% for percent fertility to 23.1% for polar diameter. For the pistil characters measured, the repeatability values ranged from 94.0% for style width to 49.6% for total pistil length. These results indicate that genotype and environment influence anther, pollen grain and pistil characters. Variation in some of these morphological aspects could influence the consistency and interpretation of male transmission studies on both the applied and evolutionary levels.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Sexual plant reproduction 9 (1996), S. 228-232 
    ISSN: 1432-2145
    Keywords: Key words Male transmission ; Anther dimensions ; Pollen dimensions ; Pistil dimensions ; Sesame ; Sesamum indicum
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract  Measurements of anther (length, width, depth), pollen grain (percent fertility, polar diameter, equatorial diameter, polar diameter/equatorial diameter ratio, volume) and pistil (stigma length, style length, ovary length, total pistil length, stigma width, style width, ovary width) were taken on 12 diverse sesame (Sesamum indicum L.) genotypes on each of four collection dates in 1994. Highly significant differences among genotype means were obtained for all characters except polar diameter. Highly significant differences among environment (collection date) means were found for ten of the 15 characters measured. Highly significant geno- type × environment interactions were obtained for all characters except anther length. For the anther characters measured, relatively high repeatability values were found, ranging from 99.8% for length to 87.6% for depth. For the pollen grain characters measured, the repeatability values ranged from 67.6% for percent fertility to 23.1% for polar diameter. For the pistil characters measured, the repeatability values ranged from 94.0% for style width to 49.6% for total pistil length. These results indicate that genotype and environment influence anther, pollen grain and pistil characters. Variation in some of these morphological aspects could influence the consistency and interpretation of male transmission studies on both the applied and evolutionary levels.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 20 (1998), S. 107-142 
    ISSN: 1573-0670
    Keywords: nonmonotonic reasoning ; negation ; logic programming ; autoepistemic logic of beliefs
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called 'classical'. Subsequently, several researchers proposed different, often incompatible, forms of symmetric negation for various semantics of logic programs and deductive databases. To the best of our knowledge, however, no systematic study of symmetric negation in non-monotonic reasoning was ever attempted in the past. In this paper we conduct such a systematic study of symmetric negation. We introduce and discuss two natural, yet different, definitions of symmetric negation: one is called strong negation and the other is called explicit negation. For logic programs with the stable semantics, both symmetric negations coincide with Gelfond–Lifschitz' 'classical negation'. We study properties of strong and explicit negation and their mutual relationship as well as their relationship to default negation 'not', and classical negation '¬'. We show how one can use symmetric negation to provide natural solutions to various knowledge representation problems, such as theory and interpretation update, and belief revision. Rather than to limit our discussion to some narrow class of nonmonotonic theories, such as the class of logic programs with some specific semantics, we conduct our study so that it is applicable to a broad class of non-monotonic formalisms. In order to achieve the desired level of generality, we define the notion of symmetric negation in the knowledge representation framework of AutoEpistemic logic of Beliefs, introduced by Przymusinski.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    ISSN: 1573-0670
    Keywords: AI ; automated: reasoning/programming/theorem proving ; computational logic ; error correction ; induction, inference rules ; intelligent robot ; knowledge representation ; knowledge-based software ; logic programming ; multisensor integration and fusion ; object-oriented reasoning ; predicate calculus, program: synthesis/verification ; robotics, strategy ; verification, very high level languages
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of articles, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals listed. Although individually the goals of each field present a wide spectrum, collectively the fields share the interest of automating the process known as reasoning.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 2 (1986), S. 329-390 
    ISSN: 1573-0670
    Keywords: Automated reasoning ; logic programming ; theorem proving ; knowledge representation ; heuristics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper describes automated reasoning in a PROLOG Euclidean geometry theorem-prover. It brings into focus general topics in automated reasoning and the ability of Prolog in coping with them.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...