‘Selective Programming’: Response to ‘From Felicitous Models to Answer Set Programming’ by V. Lifschitz

In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 97-124 (2023)
  Copy   BIBTEX

Abstract

I make use of the truthmaker framework in providing a selective semantics for programs with disjunction and compare it to the minmalist semantics.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-29415-0_6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

From Felicitous Models to Answer Set Programming.Vladimir Lifschitz - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 79-96.
Logic Programming: Proceedings.John Lloyd - 1995 - MIT Press.
Author’s Response: Programming as a Playground for Computational Thinking Development.Jiří Vaníček - 2019 - Constructivist Foundations 14 (3):379-381.
Recursive Programming Techniques.William H. Burge - 1975 - Addison Wesley Publishing Company.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Logic Programming: Expanding the Horizons.A. Dodd, Richard Owens & S. B. Torrance - 1991 - Intellect Books.
Programming or Problem Solving with Computers?Maciej M. Sysło - 2019 - Constructivist Foundations 14 (3):373-376.
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Rules in programming languages and networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
Programming with Constraints: An Introduction.Kim Marriott & Peter J. Stuckey - 1998 - MIT Press.
Logic Programming Languages: Constraints, Functions, and Objects.Krzysztof R. Apt & J. J. M. M. Rutten - 1993 - MIT Press.
From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Computation as Logic.René Lalement - 1993 - Prentice-Hall.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989
What is answer set programming?Vladimir Lifschitz - unknown

Analytics

Added to PP
2023-11-27

Downloads
2 (#1,793,260)

6 months
2 (#1,221,975)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references