1 resultado para default provisions
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Filtro por publicador
- JISC Information Environment Repository (1)
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Research Repository at Institute of Developing Economies (3)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (3)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (2)
- Aquatic Commons (2)
- Archive of European Integration (218)
- Aston University Research Archive (9)
- Biblioteca Digital - Universidad Icesi - Colombia (1)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Bibloteca do Senado Federal do Brasil (5)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (12)
- Boston College Law School, Boston College (BC), United States (1)
- Boston University Digital Common (2)
- Brock University, Canada (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (12)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- Cornell: DigitalCommons@ILR (1)
- Deakin Research Online - Australia (20)
- Digital Commons at Florida International University (3)
- Digital Peer Publishing (2)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Duke University (1)
- Düsseldorfer Dokumenten- und Publikationsservice (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (6)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (1)
- Infoteca EMBRAPA (1)
- Institute of Public Health in Ireland, Ireland (1)
- Memoria Académica - FaHCE, UNLP - Argentina (6)
- National Center for Biotechnology Information - NCBI (3)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (4)
- Queensland University of Technology - ePrints Archive (385)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (26)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (3)
- School of Medicine, Washington University, United States (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (7)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Université de Montréal, Canada (3)
- University of Connecticut - USA (3)
- University of Michigan (144)
- University of Queensland eSpace - Australia (4)
- WestminsterResearch - UK (2)
Resumo:
The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected.