Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms

&
Artificial Intelligence 329 (C):104083 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104083

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Extensions of arithmetic for proving termination of computations.Clement F. Kent & Bernard R. Hodgson - 1989 - Journal of Symbolic Logic 54 (3):779-794.
Evolution of Dynamic Reconfigurable Neural Networks: Energy Surface Optimality Using Genetic Algorithms.Robert E. Dorsey & John D. Johnson - 1997 - In D. Levine & W. Elsberry (eds.), Optimality in Biological and Artificial Networks? Lawrence Erlbaum. pp. 185.
Lewis’s revised conditional analysis revisited.Eline Busck Gundersen - 2017 - Synthese 194 (11):1-18.
Specific aspects of substantiation in termination of criminal case.Makhmudov Sunnat - unknown
Optimierung und ökonomisierung im kontext Von evolutionstheorie und phylogenetischer rekonstruktion.Klaus Bonik, Wolfgang Friedrich Gutmann & D. Stefan Peters - 1977 - Acta Biotheoretica 26 (2):75-119.
Termination Proofs for Logic Programs.Lutz Plümer - 1990 - Springer.
Dependent choice as a termination principle.Thomas Powell - 2020 - Archive for Mathematical Logic 59 (3-4):503-516.
On proving the termination of algorithms by machine.Christoph Walther - 1994 - Artificial Intelligence 71 (1):101-157.
Measuring power of algorithms, computer programs and information automata.Mark Semenovich Burgin (ed.) - 2010 - New York: Nova Science Publishers.
Towards a Robuster Interpretive Parsing: Learning from Overt Forms in Optimality Theory.Tamás Biró - 2013 - Journal of Logic, Language and Information 22 (2):139-172.
Optimality modeling in a suboptimal world.Angela Potochnik - 2009 - Biology and Philosophy 24 (2):183-197.
Algorithms from THE BOOK.Kenneth Lange - 2020 - Philadelphia, PA: The Society for Industrial and Applied Mathematics.
Algorithms and their others: Algorithmic culture in context.Paul Dourish - 2016 - Big Data and Society 3 (2).
Plans And Decisions.John L. Pollock - 2004 - Theory and Decision 57 (2):79-107.
Optimality justifications and the optimality principle: New tools for foundation‐theoretic epistemology.Gerhard Schurz - 2022 - Noûs 56 (4):972-999.

Analytics

Added to PP
2024-02-07

Downloads
4 (#1,627,077)

6 months
4 (#796,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references