1 resultado para IS implementation
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- University of Cagliari UniCA Eprints (1)
- Aberystwyth University Repository - Reino Unido (3)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (3)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (16)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (11)
- Aquatic Commons (14)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (14)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (8)
- Aston University Research Archive (10)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (4)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (40)
- Boston University Digital Common (5)
- Brock University, Canada (10)
- Bucknell University Digital Commons - Pensilvania - USA (4)
- Cambridge University Engineering Department Publications Database (12)
- CentAUR: Central Archive University of Reading - UK (52)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (15)
- Cochin University of Science & Technology (CUSAT), India (5)
- Coffee Science - Universidade Federal de Lavras (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (22)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Dalarna University College Electronic Archive (9)
- Deakin Research Online - Australia (134)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (12)
- Digital Commons - Montana Tech (1)
- Digital Commons @ DU | University of Denver Research (7)
- Digital Peer Publishing (3)
- DigitalCommons@The Texas Medical Center (27)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (9)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (7)
- Greenwich Academic Literature Archive - UK (10)
- Helda - Digital Repository of University of Helsinki (16)
- Indian Institute of Science - Bangalore - Índia (34)
- Instituto Politécnico de Bragança (1)
- Instituto Politécnico do Porto, Portugal (10)
- Martin Luther Universitat Halle Wittenberg, Germany (4)
- Massachusetts Institute of Technology (8)
- Memoria Académica - FaHCE, UNLP - Argentina (6)
- National Center for Biotechnology Information - NCBI (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (69)
- Queensland University of Technology - ePrints Archive (170)
- RepoCLACAI - Consorcio Latinoamericano Contra el Aborto Inseguro (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (3)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (29)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (11)
- SAPIENTIA - Universidade do Algarve - Portugal (7)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- Universidad de Alicante (7)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (62)
- Universitat de Girona, Spain (7)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (7)
- Université de Montréal, Canada (2)
- University of Connecticut - USA (3)
- University of Michigan (4)
- University of Queensland eSpace - Australia (18)
- University of Washington (3)
- WestminsterResearch - UK (3)
Resumo:
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.