1 resultado para Tangibility of assets. Asset classes. Machinery
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer (1)
- University of Cagliari UniCA Eprints (1)
- Aberystwyth University Repository - Reino Unido (4)
- Academic Research Repository at Institute of Developing Economies (3)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (9)
- Aquatic Commons (19)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (3)
- Archive of European Integration (8)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (9)
- Aston University Research Archive (18)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (9)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (10)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (24)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (24)
- Boston University Digital Common (1)
- Brock University, Canada (7)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (8)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (10)
- CentAUR: Central Archive University of Reading - UK (66)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (9)
- Cochin University of Science & Technology (CUSAT), India (9)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (9)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Deakin Research Online - Australia (57)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons at Florida International University (26)
- Digital Knowledge Repository of Central Drug Research Institute (1)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (4)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (7)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (5)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (3)
- Harvard University (5)
- Helda - Digital Repository of University of Helsinki (17)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Indian Institute of Science - Bangalore - Índia (33)
- Instituto Gulbenkian de Ciência (1)
- Instituto Politécnico de Bragança (2)
- Instituto Politécnico do Porto, Portugal (11)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (3)
- Massachusetts Institute of Technology (1)
- National Center for Biotechnology Information - NCBI (41)
- Open University Netherlands (5)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (7)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (9)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (39)
- Queensland University of Technology - ePrints Archive (116)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- Repositório digital da Fundação Getúlio Vargas - FGV (38)
- Repositório Institucional da Universidade de Aveiro - Portugal (7)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (31)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (6)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- School of Medicine, Washington University, United States (1)
- South Carolina State Documents Depository (2)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (1)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (14)
- Universidad Politécnica de Madrid (12)
- Universidade de Lisboa - Repositório Aberto (4)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (10)
- Universidade Metodista de São Paulo (2)
- Universidade Técnica de Lisboa (3)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (7)
- Université de Montréal, Canada (39)
- University of Michigan (41)
- University of Queensland eSpace - Australia (13)
- University of Washington (1)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.