1 resultado para omega-limit
em Nottingham eTheses
Filtro por publicador
- ABACUS. Repositorio de Producción Científica - Universidad Europea (1)
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (5)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (7)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- Aquatic Commons (9)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archive of European Integration (10)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (3)
- Aston University Research Archive (21)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (18)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (20)
- Biblioteca Valenciana Digital - Ministerio de Educación, Cultura y Deporte - Valencia - Espanha (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (34)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (11)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (51)
- CentAUR: Central Archive University of Reading - UK (41)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (39)
- Cochin University of Science & Technology (CUSAT), India (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- Deakin Research Online - Australia (113)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (3)
- Digital Commons - Michigan Tech (2)
- Digital Commons at Florida International University (3)
- DigitalCommons - The University of Maine Research (1)
- DigitalCommons@The Texas Medical Center (2)
- DigitalCommons@University of Nebraska - Lincoln (1)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (10)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (4)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (85)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (2)
- Memorial University Research Repository (1)
- National Center for Biotechnology Information - NCBI (17)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (11)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (36)
- Queensland University of Technology - ePrints Archive (154)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositorio Institucional de la Universidad de Málaga (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (75)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- School of Medicine, Washington University, United States (2)
- Scielo España (2)
- Universidad de Alicante (1)
- Universidad Politécnica de Madrid (12)
- Universidade Complutense de Madrid (1)
- Universitat de Girona, Spain (1)
- Université de Lausanne, Switzerland (2)
- Université de Montréal (1)
- Université de Montréal, Canada (2)
- University of Connecticut - USA (2)
- University of Michigan (66)
- University of Queensland eSpace - Australia (18)
- University of Southampton, United Kingdom (2)
- Worcester Research and Publications - Worcester Research and Publications - UK (3)
Resumo:
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use this framework to motivate the comparison of three recent proof planning systems, lclam, OMEGA and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.