Voting theory in answer set programming

Proceedings of the 20th Workshop on Logic Programming, WLP 2006

Volumn , Issue , 2006, Pages 45-53

  Konczak, Kathrin ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

ANSWER SET PROGRAMMING; DIAGNOSTIC MODEL; INCOMPLETE PREFERENCE RELATIONS; RESEARCH GROUPS; SCHEDULING PROBLEM; VOTING THEORY; WINNER DETERMINATION;

LOGIC PROGRAMMING;

EID: 84893467991     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. S. Brams and P. Fishburn. Handbook of Social Choice and Welfare, volume 1, chapter Voting procedures. Elsevier, 2003.
2. T. Dell'Armi, W. Faber, G. Ielpa, N. Leone, and G. Pfeifer. Aggregate functions in disjunctive logic programming: Semantics, complexity, and implementation in dlv. In G. Gottlob and T. Walsh, editors, IJCAI-03, pages 847-852. Morgan Kaufmann, 2003.
3. DLV. http://www.dbai.tuwien.ac.at/proj/dlv/.
4. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the International Conference on Logic Programming, pages 1070-1080. The MIT Press, 1988.
5. K. Konczak and J. Lang. Voting procedures with incomplete preferences. In R. Brafman and U. Junker, editors, IJCAI-05 Workshop on Advances in Preference Handling, pages 124-129, 2005.
6. J. Lang. Logical preference representation and combinatorial vote. Annals of Mathematics and Artificial Intelligence, 42(1):37-71, 2004.
7. T. Syrjänen. Including diagnostic information in conǧuration models. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv, and P. Stuckey, editors, First International Conference on Computational Logic (CL 2000), volume 1861 of Lecture Notes in Computer Science, pages 837-851. Springer, 2000.
8. Tommi Syrjänen. A rule-based formal model for software conǧuration. Research Report A55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, 1999.