uu.seUppsala universitets publikasjoner
Endre søk
Begrens søket
1 - 17 of 17
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Berts, Kim-Erik
    et al.
    Åbo Akademi, Åbo, Finland.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Matematiken och Wittgenstein: en introduktion i matematikens filosofi2010Bok (Annet vitenskapelig)
  • 2.
    Dongol, Brijesh
    et al.
    Department of Computer Science, The University of Sheffield, UK.
    Hayes, Ian James
    School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia.
    Meinicke, Larissa
    School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia.
    Solin, Kim
    School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia.
    Towards an algebra for real-time programs2012Inngår i: Relational and Algebraic Methods in Computer Science - 13th International Conference, Springer, 2012, s. 50-65Konferansepaper (Fagfellevurdert)
    Abstract [en]

    We develop an algebra for an interval-based model that has been shown to be useful for reasoning about real-time programs. In that model, a system’s behaviour over all time is given by a stream (mapping each time to a state) and the behaviour over an interval is determined using an interval predicate, which maps an interval and a stream to a Boolean. Intervals are allowed to be open/closed at either end and adjoining (i.e., immediately adjacent) intervals do not share any common points but are contiguous over their boundary. Values of variables at the ends of open intervals are determined using limits, which allows the possible piecewise continuity of a variable at the boundaries of an interval to be handled in a natural manner. What sort of an algebra does this model give rise to? In this paper, we take a step towards answering that question by investigating an algebra of interval predicates.

  • 3. Meinicke, Larissa Anne
    et al.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Refinement Algebra for Probabilistic Programs2010Inngår i: Formal Aspects of Computing, ISSN 0934-5043, E-ISSN 1433-299X, Vol. 22, nr 1, s. 3-31Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    We identify a refinement algebra for reasoning about probabilistic program transformations in a total-correctness setting. The algebra is equipped with operators that determine whether a program is enabled or terminates respectively. As well as developing the basic theory of the algebra we demonstrate how it may be used to explain key differences and similarities between standard (i.e. non-probabilistic) and probabilistic programs and verify important transformation theorems for probabilistic action systems.

  • 4.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    A Sketch of a Dynamic Epistemic Semiring2010Inngår i: Information and Computation, ISSN 0890-5401, E-ISSN 1090-2651, Vol. 208, nr 5, s. 594-604Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper proposes a semiring formulation for reasoning about an agent’s changing beliefs: a dynamic epistemic semiring (DES). A DES is a modal semiring extended with epistemic-action operators. The paper concentrates on the revision operator by proposing an axiomatisation, developing a basic calculus and deriving the classical AGM revision axioms in the algebra. Iterated action is also considered.

  • 5. Solin, Kim
    Abstract Algebra of Program Refinement2007Doktoravhandling, monografi (Annet vitenskapelig)
  • 6.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Dual Choice and Iteration in an Abstract Algebra of Action2012Inngår i: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 100, nr 3, s. 607-630Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper presents an abstract-algebraic formulation of action facilitating reasoning about two opposing agents. Two dual nondeterministic choice operators are formulated abstract-algebraically: angelic (or user) choice and demonic (or system) choice. Iteration operators are also defined. As an application, Hoare-style correctness rules are established by means of the algebra. A negation operator is also discussed.

  • 7.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Encoding and Decoding in Refinement Algebra2015Inngår i: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / [ed] Wolfram Kahl, Michael Winter and José N. Oliveira, Springer Berlin/Heidelberg, 2015Konferansepaper (Fagfellevurdert)
  • 8.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Gombrowicz mot vetenskapen och existentialismen2017Inngår i: Nya Argus, ISSN 0027-7126, Vol. 110, nr 1-2, s. 32-37Artikkel i tidsskrift (Annet (populærvitenskap, debatt, mm))
  • 9.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Mathematicism in Computability Theory2014Inngår i: Church's Thesis: Logic, Mind and Nature / [ed] Adam Olszewski, Bartosz Brozek, Piotr Urbanczyk, Krakow: Copernicus Center Press , 2014, s. 55-113Kapittel i bok, del av antologi (Fagfellevurdert)
  • 10.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Mathematics and religion: on a remark by Simone Weil2012Inngår i: Logic in Theology / [ed] Bartosz Brozek, Adam Olszewski, Mateusz Hohol, Krakow: Copernicus Center Press , 2012, s. 219-236Kapittel i bok, del av antologi (Fagfellevurdert)
  • 11.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    Modal semirings with operators for knowledge representation2013Inngår i: Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Montreal, Quebec, Canada: Scitepress , 2013, s. 197-202Konferansepaper (Fagfellevurdert)
  • 12.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Normal forms in total correctness for while programs and action systems2011Inngår i: Journal of Logic and Algebraic Programming, ISSN 1567-8326, E-ISSN 1873-5940, Vol. 80, nr 6, s. 362-375Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    A classical while-program normal-form theorem is derived in demonic refinement algebra. In contrast to Kozen's partial-correctness proof of the theorem in Kleene algebra with tests, the derivation in demonic refinement algebra provides a proof that the theorem holds in total correctness. A normal form for action systems is also discussed.

  • 13.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Om olika hållningar till matematiken2019Inngår i: Gensvar: Essäer för Göran Torrkulla / [ed] Mio Lindman, Salla Peltonen, Hugo Strandberg, Åbo: Åbo Akademi , 2019, s. 153-163Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 14.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Rush Rhees on Wittgenstein's Philosophy of Mathematics2018Inngår i: Philosophy of Logic and Mathematics: 41st International Wittgenstein Symposium / [ed] Gabriele M. Mras; Paul Weingartner; Bernhard Ritter, 2018, s. 233-235Konferansepaper (Fagfellevurdert)
  • 15.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen.
    The Mathematician as Mathematics: Theories of Computation in Light of Wittgenstein's Thought2013Doktoravhandling, monografi (Annet vitenskapelig)
    Abstract [en]

    Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.

    The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. Emphasis is put on the difference between technical work and philosophical work. Philosophical work starts in the lifeworld and is akin to anthropology. The descriptions needed in this work can be given by considering our language use and by drawing up objects of comparison. It is nonetheless important not to confuse philosophical problems with problems of a purely intellectual character, since problems in philosophy can be described as bearing similarities to moral problems.

    In the second part, which is the main part of the dissertation, the classical theories of computation are considered against the background of the first part. The chapter starts by briefly tracing the historical development of the theories back to Hilbert. It is noted that Hilbert was concerned with epistemological questions. After this, it is investigated how well these epistemological questions were dealt with in the theories of computation that followed. In particular, work by Gödel, Church, and Turing is considered. Topics that are discussed are the very idea of mathematically analysing mathematical activity itself, the concept of finite procedure, what is natural in mathematics, and the idea that computations should be described as transitions between states.

    The third part is about a more recent theory of computation: abstract state machines. It is shown that many of the aspects of the classical theories that were problematic from an epistemological perspective are carried over to the abstract state machines. This includes the notion of state. Other topics are the idea of axiomatising computability, and the use of abstract state machines for proving Church's thesis.

    Download (jpg)
    presentationsbild
  • 16.
    Solin, Kim
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    Vetenskapen är sig själv nog: Quine och naturalismen2017Inngår i: Från Skaradjäkne till Uppsalaprofessor: Festskrift till Lars-Göran Johansson i samband med hans pensionering / [ed] George Masterton, Keizo Matsubara, Kim Solin, Uppsala: Dept. of Philosophy, Uppsala University, Sweden , 2017Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 17.
    Solin, Kim
    et al.
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Historisk-filosofiska fakulteten, Filosofiska institutionen, Avdelningen för teoretisk filosofi.
    von Wright, Joakim
    Enabledness and termination in refinement algebra2009Inngår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 74, nr 8, s. 654-668Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Refinement algebras are abstract algebras for reasoning about programs in a total correctness framework. We extend a reduct of von Wright's demonic refinement algebra with two operators for modelling enabledness and termination of programs. We show how the operators can be used for expressing relations between programs and apply the algebra to reasoning about action systems.

1 - 17 of 17
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf