Items where Subject is "Computation"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: A | B | C | D | E | F | G | H | I | K | L | M | N | P | R | S | U | V | W | Z
Number of items at this level: 75.

A

PP-2017-12: Airiau, Stéphane and Bonzon, Elise and Endriss, Ulle and Maudet, Nicolas and Rossit, Julien (2017) Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity. [Pre-print]

PP-2009-39: Airiau, Stéphane and Endriss, Ulle (2009) Iterated Majority Voting. [Report]

PP-2014-10: Andreka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2014) Changing a semantics: opportunism or courage? [Report]

B

PP-2010-16: Bouveret, Sylvain and Endriss, Ulle and Lang, Jérôme (2010) Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods. [Report]

PP-2012-04: Brandt, Felix and Conitzer, Vincent and Endriss, Ulle (2012) Computational Social Choice. [Report]

PP-2016-05: Brandt, Felix and Conitzer, Vincent and Endriss, Ulle and Lang, Jérôme and Procaccia, Ariel D. (2016) Introduction to Computational Social Choice. [Report]

C

PP-2014-15: Cailloux, Olivier and Endriss, Ulle (2014) Eliciting a Suitable Voting Rule via Examples. [Report]

PP-2017-11: Chen, Weiwei and Endriss, Ulle (2017) Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. [Pre-print]

PP-2006-43: Chevaleyre, Yann and Endriss, Ulle and Estivie, Sylvia and Maudet, Nicolas (2006) Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity. [Report]

PP-2009-35: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2009) Preference Handling in Combinatorial Domains: From AI to Social Choice. [Report]

PP-2006-55: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2006) A Short Introduction to Computational Social Choice. [Report]

MoL-2017-03: Coopmans, Tim (2017) Robust self-testing of (almost) all pure two-qubit states. [Report]

PP-2016-07: Costantini, Marco and Groenland, Carla and Endriss, Ulle (2016) Judgment Aggregation under Issue Dependencies. [Report]

D

MoL-2016-18: Drumm, Eli (2016) Readtable-Macro Transducer-Chain Parsing. [Report]

MoL-2017-24: de Hoop, Zeno (2017) Context-Free Processes and Push-Down Processes. [Report]

E

X-2011-02: Elkind, Edith and Endriss, Ulle and Lang, Jérôme (2011) IJCAI-2011 Workshop on Social Choice and Artificial Intelligence. [Report]

PP-2012-02: Endriss, Ulle (2012) Computational Social Choice: Prospects and Challenges. [Report]

PP-2016-06: Endriss, Ulle (2016) Judgment Aggregation. [Report]

PP-2013-07: Endriss, Ulle (2013) Reduction of Economic Inequality in Combinatorial Domains. [Report]

PP-2014-17: Endriss, Ulle (2014) Social Choice Theory as a Foundation for Multiagent Systems. [Report]

PP-2013-12: Endriss, Ulle (2013) Voting on Actions with Uncertain Outcomes. [Report]

PP-2013-08: Endriss, Ulle and Fernández, Raquel (2013) Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model. [Report]

X-2008-12: Endriss, Ulle and Goldberg, Paul W. (2008) Computational Social Choice 2008. [Report]

PP-2013-11: Endriss, Ulle and Grandi, Umberto (2013) Binary Aggregation by Selection of the Most Representative Voter. [Report]

PP-2014-14: Endriss, Ulle and Grandi, Umberto (2014) Collective Rationality in Graph Aggregation. [Report]

PP-2017-01: Endriss, Ulle and Grandi, Umberto (2017) Graph Aggregation. [Pre-print] (In Press)

PP-2012-29: Endriss, Ulle and Grandi, Umberto and Porello, Daniele (2012) Complexity of Judgment Aggregation. [Report]

PP-2010-02: Endriss, Ulle and Grandi, Umberto and Porello, Daniele (2010) Complexity of Judgment Aggregation: Safety of the Agenda. [Report]

PP-2016-18: Endriss, Ulle and Grandi, Umberto and de Haan, Ronald and Lang, Jérôme (2016) Succinctness of Languages for Judgment Aggregation. [Report]

X-2006-04: Endriss, Ulle and Lang, Jérôme (2006) Computational Social Choice 2006. [Report]

PP-2009-37: Endriss, Ulle and Pini, Maria Silvia and Rossi, Francesca and Venable, K. Brent (2009) Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness. [Report]

PP-2015-23: Endriss, Ulle and de Haan, Ronald (2015) Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young. [Report]

PP-2014-13: Endriss, Ulle and de Haan, Ronald and Szeider, Sefan (2014) Parameterized Complexity Results for Agenda Safety in Judgment Aggregation. [Report]

PP-2017-04: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2017) Completeness for mu-calculi: a coalgebraic approach. [Pre-print] (Unpublished)

PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)

F

PP-2006-58: Fernández, Raquel and Endriss, Ulle (2006) Abstract Models for Dialogue Protocols. [Report]

PP-2016-39: Fontaine, Gaëlle and Venema, Yde (2016) Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties. [Pre-print] (Submitted)

G

PP-2017-08: Galeotti, Lorenzo and Nobrega, Hugo (2017) Towards computable analysis on the generalised real line. [Pre-print] (In Press)

PP-2011-04: Geist, Christian and Endriss, Ulle (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. [Report]

MoL-2016-26: Gogoladze, Kristina (2016) Evidence-Based Belief Revision for Non-Omniscient Agents. [Report]

PP-2011-13: Grandi, Umberto and Endriss, Ulle (2011) Binary Aggregation with Integrity Constraints. [Report]

PP-2009-40: Grandi, Umberto and Endriss, Ulle (2009) First-Order Logic Formalisation of Arrow's Theorem. [Report]

PP-2013-09: Grandi, Umberto and Endriss, Ulle (2013) Lifting Integrity Constraints in Binary Aggregation. [Report]

H

PP-2014-16: Hashemi, Vahid and Endriss, Ulle (2014) Measuring Diversity of Preferences in a Group. [Report]

PP-2004-17: Honing, Henkjan (2004) Is there a perception-based alternative to kinematic models of tempo rubato? [Report]

PP-2014-18: Honingh, Aline and Burgoyne, John Ashley and van Kranenburg, Peter and Volk, Anja (2014) Strengthening Interdisciplinarity in MIR: Four Examples of Using MIR Tools for Musicology. [Report]

I

MoL-2016-09: in 't Veld, Sander (2016) Temporal Logics, Automata and the Modal $\mu$-Calculus. [Report]

K

MoL-2017-06: Koek, Merlijn (2017) Extensions Of The Garden-hose Model. [Report]

PP-2014-11: Kruger, Justin and Endriss, Ulle and Fernandez, Raquel and Qing, Ciyang (2014) Axiomatic Analysis of Aggregation Methods for Collective Annotation. [Report]

PP-2010-19: Kurzen, Lena (2010) Eleusis: Complexity and Interaction in Inductive Inference. [Report]

L

MoL-2017-29: Landerreche, Esteban (2017) Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain. [Report]

PP-2006-27: Löwe, Benedikt (2006) Space bounds for infinitary computation. [Report]

M

X-2016-06: Marzion, Evan (2016) Constructive Notions of Cofiniteness. [Report]

PP-2016-38: McWhirter, Sarah and Szymanik, Jakub (2016) Constructing Semantic Automata for Quantifier Iterations. [Report]

N

MoL-2016-19: Novaro, Arianna (2016) Judgment Aggregation in Dynamic Logic of Propositional Assignments. [Report]

P

PP-2011-14: Porello, Daniele and Endriss, Ulle (2011) Ontology Merging as Social Choice. [Report]

PP-2012-30: Porello, Daniele and Endriss, Ulle (2012) Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption. [Report]

R

PP-2012-05: Reijngoud, Annemieke and Endriss, Ulle (2012) Voter Response to Iterated Poll Information. [Report]

S

PP-2017-09: Schneckenburger, Sebastian and Dorn, Britta and Endriss, Ulle (2017) The Atkinson Inequality Index in Multiagent Resource Allocation. [Pre-print]

PP-2006-53: Sevenster, Merlijn and Tulenheimo, Tero (2006) Finite model theory for partially ordered connectives. [Report]

PP-2017-18: Shi, Chenwei and Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) Argument-based Belief in Topological Structures. [Pre-print]

PP-2017-17: Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) The Creation and Change of Social Networks: a logical study based on group size. [Pre-print] (In Press)

PP-2017-16: Smets, Sonja and Velázquez-Quesada, Fernando R. (2017) How to Make Friends: A Logical Approach to Social Group Creation. [Pre-print]

PP-2008-43: Szymanik, Jakub (2008) The Computational Complexity of Quantified Reciprocals. [Report]

PP-2007-37: Szymanik, Jakub (2007) A Strong Meaning Hypothesis from a Computational Perspective. [Report]

PP-2009-19: Szymanik, Jakub and Zajenkowski, Marcin (2009) Improving methodology of quantifier comprehension experiments. [Report]

PP-2009-46: Szymanik, Jakub and Zajenkowski, Marcin (2009) Quantifiers and Working Memory. [Report]

U

PP-2009-10: Uckelman, Joel and Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme (2009) Representing Utility Functions via Weighted Goals. [Report]

V

PP-2017-07: Velázquez-Quesada, Fernando R. (2017) Reliability-Based Preference Dynamics: Lexicographic Upgrade. [Pre-print] (In Press)

PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]

PP-2013-03: van Benthem, Johan (2013) Computation as Social Agency: What and How. [Report]

PP-2016-40: van Benthem, Johan (2015) Feeling the Rythms of a Field. [Pre-print]

W

MoL-2017-15: Wagemaker, Jana (2017) Gossip in NetKAT. [Report]

MoL-2017-22: Wang, Shuai (2017) Turing Learning with Nash Memory. [Report]

Z

PP-2009-50: Zuidema, Willem (2009) A syllable frequency list for Dutch. [Report]

This list was generated on Sat Nov 25 00:30:29 2017 CET.