Výsledky vyhledávání - "van Eijck, J"

Publikováno v: Stanford Encyclopedia of Philosophy
ISSUE=Fall 2014 Edition;TITLE=Stanford Encyclopedia of Philosophy

Social procedures that have algorithmic aspects can often beimproved by redesign. This holds for voting and other peacefuldecision making procedures, for match-making, for auctioning, for fairdivision of estates, and for many procedures of distributi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::b21764409ed339bc51c582a9b6ee9d65
https://research.rug.nl/en/publications/c063b65c-5d97-4daf-9d62-66f414b930cd

Zobrazit plný text záznamu

Knowing Values and Public Inspection

Autor: van Eijck, J., Gattinger, M., Wang, Y., Ghosh, S., Prasad, S.

Publikováno v: Logic and Its Applications ISBN: 9783662540688
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings, 77-90
STARTPAGE=77;ENDPAGE=90;TITLE=Logic and Its Applications

We present a basic dynamic epistemic logic of “knowing the value”. Analogous to public announcement in standard DEL, we study “public inspection”, a new dynamic operator which updates the agents’ knowledge about the values of constants. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b68b93c94a001415da6f2d3505a41207
https://doi.org/10.1007/978-3-662-54069-5_7

Zobrazit plný text záznamu

Akademický článek

Tableau reasoning and programming with dynamic first order logic.

Autor: van Eijck, J¹, Heguiabehere, J¹, Ó Nualláin, B¹

Publikováno v: Logic Journal of the IGPL. 2000, Vol. 9 Issue 3, p411-445. 35p.

Zobrazit plný text záznamu

Akademický článek

Typed logics with states.

Autor: van Eijck, J¹

Publikováno v: Logic Journal of the IGPL. 1997, Vol. 5 Issue 5, p623-645. 23p.

Zobrazit plný text záznamu

A geometric look at manipulation

Autor: van Eijck, J., Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642223587
CLIMA
CLIMA XII 2011
CLIMA XII 2011, Jul 2011, Barcelona, Spain. pp.92--104
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings, 92-104
STARTPAGE=92;ENDPAGE=104;TITLE=Computational Logic in Multi-Agent Systems

We take a fresh look at voting theory, in particular at the notion of manipulation, by employing the geometry of the Saari triangle. This yields a geometric proof of the Gibbard/Satterthwaite theorem, and new insight into what it means to manipulate

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c2bc499873d205dbac771b42f3961d5
https://doi.org/10.1007/978-3-642-22359-4_8

Zobrazit plný text záznamu

Implementing Semantic Theories

Autor: van Eijck, J., Lappin, S., Fox, C.

Publikováno v: The Handbook of Contemporary Semantic Theory, 455-491
ISSUE=2;STARTPAGE=455;ENDPAGE=491;TITLE=The Handbook of Contemporary Semantic Theory
Handbook of Contemporary Semantic Theory, The
Handbook of Contemporary Semantics, Second Edition
Shalom Lappin and Chris Fox. Handbook of Contemporary Semantics, Second Edition, Wiley, pp.455--491, 2015

In this chapter, a semantic theory is taken to be a collection of rules for specifying the interpretation of a class of natural language expressions. The chapter uses Haskell as the implementation language. It demonstrates that implementing a Montagu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b04156355194f9bd97eca0809aa6f484
https://dare.uva.nl/personal/pure/en/publications/implementing-semantic-theories(a99379c5-7adb-4e9a-a331-0dd54aa4a065).html

Zobrazit plný text záznamu

Elements of epistemic crypto logic

Autor: van Eijck, J., Gattinger, M.

Publikováno v: AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey, 3, 1795-1796

Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::f1eae11dda0ceaa3f134b634617fb389
https://dare.uva.nl/personal/pure/en/publications/elements-of-epistemic-crypto-logic(81c4a31e-9037-4b07-bb2e-587a034bd74b).html

Zobrazit plný text záznamu

Strategies in Social Software

Autor: van Eijck, J., van Benthem, J., Ghosh, S., Verbrugge, R.

Publikováno v: Modeling Strategic Reasoning: Logics, Games and Communities
J. van Benthem and S. Ghosh and R. Verbrugge. Modeling Strategic Reasoning: Logics, Games and Communities, 8972, Springer, 2015, LNCS
Lecture Notes in Computer Science ISBN: 9783662485392
Models of Strategic Reasoning
Models of Strategic Reasoning: Logics, Games, and Communities, 292-317
STARTPAGE=292;ENDPAGE=317;TITLE=Models of Strategic Reasoning

Viewing the way society has defined its rules and mechanisms as “social software”, we want to understand how people behave given their understanding of the societal rules and given their wish to further their interest as they conceive it, and how

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::820ca29d72fa5415621880ebacc0cf01
https://dare.uva.nl/personal/pure/en/publications/strategies-in-social-software(d1aade1d-5b80-4b04-830e-b66e3966136d).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání