umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A categorical approach to the extension of social choice functions
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2010 (Engelska)Ingår i: Information processing and management of uncertainty in knowledge-based systems: applications, pt II / [ed] Hüllermeier, Eyke, Kruse, Rudolf, Hoffmann, Frank, Springer, 2010, s. 261-270Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad over the appropriate category, and variable substitutions as morphisms in the Kleisli category of that particular term monad.

Ort, förlag, år, upplaga, sidor
Springer, 2010. s. 261-270
Serie
Communications in Computer and Information Science, ISSN 1865-0929 ; 81
Nyckelord [en]
Choice function, monad, Kleisli category, substitution
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-109031ISI: 000290642600026ISBN: 978-3-642-14057-0 (tryckt)OAI: oai:DiVA.org:umu-109031DiVA, id: diva2:857345
Konferens
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, JUN 28-JUL 02, 2010, Dortmund, GERMANY
Tillgänglig från: 2015-09-28 Skapad: 2015-09-17 Senast uppdaterad: 2018-06-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Eklund, Patrik

Sök vidare i DiVA

Av författaren/redaktören
Eklund, Patrik
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 176 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf