Artificial Intelligence

Authors and titles for July 2010

[1] arXiv:1007.0412 [pdf, other]

Title: Improving Iris Recognition Accuracy By Score Based Fusion Method

Ujwalla Gawande, Mukesh Zaveri, Avichal Kapur

Comments: this http URL

Journal-ref: International Journal of Advancements in Technology, Vol 1, No 1 (2010)

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1007.0546 [pdf, other]

Title: Computational Model of Music Sight Reading: A Reinforcement Learning Approach

Keyvan Yahya, Pouyan Rafiei Fard

Comments: This paper is withdrawn by author due to incomplete justification of the model

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[3] arXiv:1007.0602 [pdf, other]

Title: On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry

George Katsirelos, Nina Narodytska, Toby Walsh

Comments: To appear in the Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010)

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[4] arXiv:1007.0603 [pdf, other]

Title: Decomposition of the NVALUE constraint

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Comments: To appear in the Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming 2010 (CP 2010). An earlier version appeared in the Proceedings of the Eighth International Workshop on Constraint Modelling and Reformulation, held alongside the 15th International Conference on Principles and Practice of Constraint Programming (CP 2009)

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1007.0604 [pdf, other]

Title: Symmetry within and between solutions

Toby Walsh

Comments: Keynote talk to appear in the Proceedings of the Eleventh Pacific Rim International Conference on Artificial Intelligence (PRICAI-10)

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1007.0614 [pdf, other]

Title: Online Cake Cutting

Toby Walsh

Comments: To appear in Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010)

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1007.0637 [pdf, other]

Title: Local search for stable marriage problems with ties and incomplete lists

Mirco Gelain, Maria Silvia Pini, Francesca RossI, Kristen Brent Venable, Toby Walsh

Comments: 12 pages, Proc. PRICAI 2010 (11th Pacific Rim International Conference on Artificial Intelligence), Byoung-Tak Zhang and Mehmet A. Orgun eds., Springer LNAI

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1007.0690 [pdf, other]

Title: A unified view of Automata-based algorithms for Frequent Episode Discovery

Avinash Achar, Srivatsan Laxman, P. S. Sastry

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1007.0728 [pdf, other]

Title: Artificial Learning in Artificial Memories

John Robert Burger

Comments: 7 pages, 4 figures

Subjects: Artificial Intelligence (cs.AI); Neurons and Cognition (q-bio.NC)

[10] arXiv:1007.0776 [pdf, other]

Title: Is Computational Complexity a Barrier to Manipulation?

Toby Walsh

Comments: To appear in Proceedings of 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI 2010)

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[11] arXiv:1007.0859 [pdf, other]

Title: Local search for stable marriage problems

M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, T. Walsh

Comments: 12 pages, Proc. COMSOC 2010 (Third International Workshop on Computational Social Choice)

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1007.0940 [pdf, other]

Title: An axiomatic formalization of bounded rationality based on a utility-information equivalence

Pedro A. Ortega, Daniel A. Braun

Comments: 22 pages, 4 figures, 1 table

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[13] arXiv:1007.1024 [pdf, other]

Title: Model Counting in Product Configuration

Andreas Kübler (Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany), Christoph Zengler (Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany), Wolfgang Küchlin (Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany)

Comments: In Proceedings LoCoCo 2010, arXiv:1007.0831

Journal-ref: EPTCS 29, 2010, pp. 44-53

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[14] arXiv:1007.1766 [pdf, other]

Title: An svm multiclassifier approach to land cover mapping

Gidudu Anthony, Hulley Gregg, Marwala Tshilidzi

Comments: ASPRS 2008 Annual Conference Portland, Oregon. April 28 - May 2, 2008

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1007.2364 [pdf, other]

Title: A Note on Semantic Web Services Specification and Composition in Constructive Description Logics

Loris Bozzato, Mauro Ferrari (DICOM - Università degli Studi dell'Insubria)

Comments: 15 pages, 2 figures. Part of this work will appear as a position paper in Proceedings of 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[16] arXiv:1007.2534 [pdf, other]

Title: A general method for deciding about logically constrained issues

Rosa Camps, Xavier Mora, Laia Saumell

Comments: Several substantial improvements have been included. The outline structure of the article has also undergone some changes

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1007.3159 [pdf, other]

Title: Logic-Based Decision Support for Strategic Environmental Assessment

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

Comments: 17 pages, 1 figure, 26th Int'l. Conference on Logic Programming (ICLP'10)

Journal-ref: Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6), 643-658, 2010

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1007.3223 [pdf, other]

Title: Testing and Debugging Techniques for Answer Set Solver Development

Robert Brummayer, Matti Järvisalo

Comments: 18 pages

Journal-ref: Theory and Practice of Logic Programming, 10(4-6):741-758, 2010

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[19] arXiv:1007.3515 [pdf, other]

Title: Query-driven Procedures for Hybrid MKNF Knowledge Bases

José Júlio Alferes, Matthias Knorr, Terrance Swift

Comments: 48 pages with 1 figures, submitted to ACM TOCL

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1007.3663 [pdf, other]

Title: A decidable subclass of finitary programs

Sabrina Baselice, Piero A. Bonatti

Journal-ref: Theory and Practice of Logic Programming (2010), 10:481-496 Cambridge University Press

Subjects: Artificial Intelligence (cs.AI)

[21] arXiv:1007.3700 [pdf, other]

Title: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study

Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

Comments: 16 pages, 1 figure, International Conference on Logic Programming 2010

Journal-ref: Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, July 2010, pages 675-690

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[22] arXiv:1007.3884 [pdf, other]

Title: New Results for the MAP Problem in Bayesian Networks

Cassio P. de Campos

Comments: A couple of typos were fixed, as well as the notation in part of section 4, which was misleading. Theoretical and empirical results have not changed

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)

[23] arXiv:1007.4040 [pdf, other]

Title: Loop Formulas for Description Logic Programs

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen

Comments: 29 pages, 1 figures (in pdf), a short version appeared in ICLP'10

Journal-ref: yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Loop formulas for description logic programs. TPLP 10(4-6): 531-545 (2010)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[24] arXiv:1007.4767 [pdf, other]

Title: Formalization of Psychological Knowledge in Answer Set Programming and its Application

Marcello Balduccini, Sara Girotto

Comments: 26th Int'l. Conference on Logic Programming (ICLP'10)

Journal-ref: Theory and Practice of Logic Programming, 10(4-6), 725-740, 2010

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[25] arXiv:1007.4868 [pdf, other]

Title: Predicting Suicide Attacks: A Fuzzy Soft Set Approach

Athar Kharal

Comments: Submitted manuscript

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1007.5024 [pdf, other]

Title: A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics

James P. Delgrande

Journal-ref: Theory and Practice of Logic Programming, 10, 4--6, 2010, pp. 565-580

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1007.5104 [pdf, other]

Title: An Empirical Study of Borda Manipulation

Jessica Davies, George Katsirelos, Nina Narodystka, Toby Walsh

Comments: To appear in Proceedings of the Third International Workshop on Computational Social Choice

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1007.5114 [pdf, other]

Title: Where are the hard manipulation problems?

Toby Walsh

Comments: Invited tutorial at the Third International Workshop on Computational Social Choice 2010

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[29] arXiv:1007.5120 [pdf, other]

Title: Stable marriage problems with quantitative preferences

Maria Silvia Pini, Francesca Rossi, Brent Venable, Toby Walsh

Comments: To appear in Proceedings of Third International Workshop on Computational Social Choice, Dusseldorf, Germany, September 13-16, 2010

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[30] arXiv:1007.5130 [pdf, other]

Title: Resource-Optimal Planning For An Autonomous Planetary Vehicle

Giuseppe Della Penna (1), Benedetto Intrigila (2), Daniele Magazzeni (3), Fabio Mercorio (1) ((1) University of L'Aquila, Italy, (2) University of Rome, Italy and (3) University of Chieti, Italy)

Comments: 15 pages, 4 figures

Journal-ref: International Journal of Artificial Intelligence & Applications 1.3 (2010) 15-29

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1007.5180 [pdf, other]

Title: CLP-based protein fragment assembly

Alessandro Dal Palu', Agostino Dovier, Federico Fogolari, Enrico Pontelli

Comments: special issue dedicated to ICLP 2010

Journal-ref: Theory and Practice of Logic Programming, special issue dedicated to ICLP 2010. 10(4-6): pp 709-724, July 2010

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Programming Languages (cs.PL); Quantitative Methods (q-bio.QM)

[32] arXiv:1007.5421 [pdf, other]

Title: Inference with Constrained Hidden Markov Models in PRISM

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Journal-ref: TPLP 2010, 10 (4-6) 449-464

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[33] arXiv:1007.1268 (cross-list from cs.NI) [pdf, other]

Title: Application of Data Mining to Network Intrusion Detection: Classifier Selection Model

Huy Nguyen, Deokjai Choi

Comments: Presented at The 11th Asia-Pacific Network Operations and Management Symposium (APNOMS 2008)

Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)

[34] arXiv:1007.1270 (cross-list from cs.NI) [pdf, other]

Title: How to Maximize User Satisfaction Degree in Multi-service IP Networks

Huy Nguyen, Tam Van Nguyen, Deokjai Choi

Comments: Presented at The First Asia Conference on Intelligent Information and Database Systems April, 1-3, 2009, Dong Hoi City, Quang Binh province, Vietnam

Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)

[35] arXiv:1007.2449 (cross-list from cs.LG) [pdf, other]

Title: A Brief Introduction to Temporality and Causality

Kamran Karimi

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[36] arXiv:1007.3858 (cross-list from cs.PL) [pdf, other]

Title: CHR(PRISM)-based Probabilistic Logic Learning

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato

Journal-ref: Theory and Practice of Logic Programming, 10(4-6), 433-447, 2010

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)