• Login
    Search 
    •   Athenaeum Home
    • Institute for Artificial Intelligence
    • Search
    •   Athenaeum Home
    • Institute for Artificial Intelligence
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-4 of 4

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Defaults in domain theory 

    Zhang, Guo-Qiang; Rounds, William C. (University of Georgia, 1994-12-07)
    This paper uses ideas from artificial intelligence to show how default notions can be defined over Scott domains. We combine these ideas with ideas arising in domain theory to shed some light on the properties of ...
    Thumbnail

    Attunement to constraints in nonmonotonic reasoning 

    Rounds, William C.; Zhang, Guo-Qiang (University of Georgia, 1994-12-07)
    Thumbnail

    Nonmonotonic consequence in default model theory 

    Zhang, Guo-Qiang; Rounds, William C. (University of Georgia, 1994-12-07)
    Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter’s work on default logic, it is a very different, in some ...
    Thumbnail

    Logical considerations on default semantics 

    Rounds, William C.; Zhang, Guo-Qiang (University of Georgia, 1994-12-07)
    We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a constructive method of building models, not theories. To allow reasoning in first order systems, we equip standard ...

    About Athenaeum | Contact Us | Send Feedback
     

     

    Browse

    All of AthenaeumCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    AuthorRounds, William C. (4)
    Zhang, Guo-Qiang (4)
    Date Issued1994 (4)Has File(s)Yes (4)

    About Athenaeum | Contact Us | Send Feedback