1.1k citations
- Data61AU52 papers
- Commonwealth Scientific and Industrial Research OrganisationAU37 papers
- Australia Telescope National FacilityAU30 papers
- Australian National UniversityAU25 papers
- The University of SydneyAU24 papers
- Swinburne University of TechnologyAU23 papers
- Centre for Quantum Computation and Communication TechnologyAU22 papers
- Australian Defence Force AcademyAU18 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- The University of QueenslandAU17 papers
- Australian Research CouncilAU14 papers
- The University of MelbourneAU14 papers
Showing 2011 · cs.AIShow all
2 papers · 2 filters
cs.AI2011★ 42 cited
Dominating Manipulations in Voting with Partial Information
Vincent Conitzer, Toby Walsh, Lirong Xia
We consider manipulation problems when the manipulator only has partial information about the votes of the nonmanipulators. Such partial information is described by an information…
cs.AI2011
Translation-based Constraint Answer Set Solving
Christian Drescher, Toby Walsh
We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves…