Mid-sized axiomatizations of commonsense problems: A case study in egg cracking (Q5945925)

From MaRDI portal
scientific article; zbMATH DE number 1657936
Language Label Description Also known as
English
Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
scientific article; zbMATH DE number 1657936

    Statements

    Mid-sized axiomatizations of commonsense problems: A case study in egg cracking (English)
    0 references
    0 references
    14 October 2001
    0 references
    commonsense reasoning
    0 references
    initial specification problem
    0 references
    unobtainable state problem
    0 references

    Identifiers