Artificial Intelligence

Authors and titles for September 2013

[1] arXiv:1309.0363 [pdf, other]

Title: Sigma Point Belief Propagation

Florian Meyer, Ondrej Hlinka, Franz Hlawatsch

Comments: 5 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)

[2] arXiv:1309.0659 [pdf, other]

Title: Majority Rule for Belief Evolution in Social Networks

Yi Zhou

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[3] arXiv:1309.1226 [pdf, other]

Title: Graded Causation and Defaults

Joseph Y. Halpern, Christopher Hitchcock

Comments: To appear, British Journal for the Philosophy of Science

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1309.1227 [pdf, other]

Title: Compact Representations of Extended Causal Models

Joseph Y. Halpern, Christopher Hitchcock

Journal-ref: Cognitive Science 37:6, 2013, pp. 986-1010

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1309.1228 [pdf, other]

Title: Weighted regret-based likelihood: a new approach to describing uncertainty

Joseph Y. Halpern

Comments: Appeared in 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)}, 2013, pp. 266--277

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1309.1973 [pdf, other]

Title: Regret-Based Multi-Agent Coordination with Uncertain Task Rewards

Feng Wu, Nicholas R. Jennings

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1309.2351 [pdf, other]

Title: Elementos de ingenier\'ia de explotaci\'on de la informaci\'on aplicados a la investigaci\'on tributaria fiscal

Rodrigo Lopez-Pablos (Universidad Nacional de La Matanza y Universidad Tecnológica Nacional)

Comments: 30 pages, 7 figures, written in Castilian, Artificial Intelligence (cs.AI), Computers and Society (cs.CY)

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1309.2693 [pdf, other]

Title: A Conflict-Based Path-Generation Heuristic for Evacuation Planning

Victor Pillac, Pascal Van Henetenryck, Caroline Even

Comments: Technical report

Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[9] arXiv:1309.2747 [pdf, other]

Title: Approximate Counting CSP Solutions Using Partition Function

Junping Zhou, Weihua Su, Minghao Yin

Comments: 14 pages, 2 figures, 3 tables

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1309.3039 [pdf, other]

Title: How Relevant Are Chess Composition Conventions?

Azlan Iqbal

Comments: 10 pages, 3 tables, 2 figures. Accepted to the 23rd International Joint Conference on Artificial Intelligence (IJCAI) Workshop on Computer Games, Beijing, China, 3-5 August 2013. Published version: this http URL

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1309.3242 [pdf, other]

Title: Using memristor crossbar structure to implement a novel adaptive real time fuzzy modeling algorithm

Iman Esmaili Paeen Afrakoti, Saeed Bagheri Shouraki, Farnood Merrikhbayat

Comments: 24 pages

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1309.3285 [pdf, other]

Title: A tabu search algorithm with efficient diversification strategy for high school timetabling problem

Salman Hooshmand, Mehdi Behshameh, Omid Hamidi

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1309.3611 [pdf, other]

Title: Ultrametric Component Analysis with Application to Analysis of Text and of Emotion

Fionn Murtagh

Comments: 49 pages, 15 figures, 52 citations

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1309.3917 [pdf, other]

Title: Strategic Planning in Air Traffic Control as a Multi-objective Stochastic Optimization Problem

Gaétan Marceau (INRIA Saclay - Ile de France, LRI), Pierre Savéant, Marc Schoenauer (INRIA Saclay - Ile de France, LRI)

Comments: ATM Seminar 2013 (2013)

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1309.3921 [pdf, other]

Title: Computational Methods for Probabilistic Inference of Sector Congestion in Air Traffic Management

Gaétan Marceau (INRIA Saclay - Ile de France, LRI), Pierre Savéant, Marc Schoenauer (INRIA Saclay - Ile de France, LRI)

Comments: Interdisciplinary Science for Innovative Air Traffic Management (2013)

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1309.4085 [pdf, other]

Title: Multiobjective Tactical Planning under Uncertainty for Air Traffic Flow and Capacity Management

Gaétan Marceau (INRIA Saclay - Ile de France, LRI), Pierre Savéant, Marc Schoenauer (INRIA Saclay - Ile de France, LRI)

Comments: IEEE Congress on Evolutionary Computation (2013). arXiv admin note: substantial text overlap with arXiv:1309.3917

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1309.4408 [pdf, other]

Title: Lambda Dependency-Based Compositional Semantics

Percy Liang

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1309.4501 [pdf, other]

Title: A fully automatic problem solver with human-style output

M. Ganesalingam, W. T. Gowers

Comments: 41 pages

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1309.4714 [pdf, other]

Title: Temporal-Difference Learning to Assist Human Decision Making during the Control of an Artificial Limb

Ann L. Edwards, Alexandra Kearney, Michael Rory Dawson, Richard S. Sutton, Patrick M. Pilarski

Comments: 5 pages, 4 figures, This version to appear at The 1st Multidisciplinary Conference on Reinforcement Learning and Decision Making, Princeton, NJ, USA, Oct. 25-27, 2013

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

[20] arXiv:1309.4962 [pdf, other]

Title: HOL(y)Hammer: Online ATP Service for HOL Light

Cezary Kaliszyk, Josef Urban

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[21] arXiv:1309.5018 [pdf, other]

Title: Semantic Advertising

Ben Zamanzadeh, Naveen Ashish, Cartic Ramakrishnan, John Zimmerman

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Information Retrieval (cs.IR)

[22] arXiv:1309.5110 [pdf, other]

Title: An ant colony optimization algorithm for job shop scheduling problem

Edson Flórez, Wilfredo Gómez, Lola Bautista

Comments: this http URL

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[23] arXiv:1309.5316 [pdf, other]

Title: A modeling approach to design a software sensor and analyze agronomical features - Application to sap flow and grape quality relationship

Aurélie Thébaut (MISTEA), Thibault Scholash, Brigitte Charnomordic (MISTEA), Nadine Hilgert (MISTEA)

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1309.5502 [pdf, other]

Title: The multi-vehicle covering tour problem: building routes for urban patrolling

Washington Alves de Oliveira, Antonio Carlos Moretti, Ednei Felix Reis

Comments: 28 pages, 8 figures, 7 tables, Brazilian Operations Research Society; Printed version ISSN 0101-7438 / Online version ISSN 1678-5142

Journal-ref: Pesquisa Operacional (2015) 35(3): 617-644

Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[25] arXiv:1309.5655 [pdf, other]

Title: A new look at reweighted message passing

Vladimir Kolmogorov

Comments: TPAMI accepted version

Journal-ref: TPAMI, 37(5):919-930 (May, 2015)

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[26] arXiv:1309.5984 [pdf, other]

Title: An evolutionary approach to Function

Phillip Lord

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1309.6226 [pdf, other]

Title: Automation of Mathematical Induction as part of the History of Logic

J Strother Moore, Claus-Peter Wirth

Comments: ii+107 pages

Journal-ref: IfCoLog Journal of Logics and their Applications, Vol. 4, number 5, pp. 1505-1634 (2017)

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1309.6297 [pdf, other]

Title: Generating Explanations for Biomedical Queries

Esra Erdem, Umut Oztok

Comments: 42 pages, 14 figures, 4 tables, online appendix (proofs, 24 pages)

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 35-78

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

[29] arXiv:1309.6433 [pdf, other]

Title: A Fuzzy expert system for goalkeeper quality recognition

Mohammad Bazmara, Shahram Jafari, Fatemeh Pasand

Comments: 5 pages

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 9, Issue 5, No 1, September 2012

Subjects: Artificial Intelligence (cs.AI)

[30] arXiv:1309.6816 [pdf, other]

Title: Reasoning about Probabilities in Dynamic Systems using Goal Regression

Vaishak Belle, Hector Levesque

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1309.6817 [pdf, other]

Title: Probabilistic Conditional Preference Networks

Damien Bigot, Bruno Zanuttini, Helene Fargier, Jerome Mengin

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1309.6822 [pdf, other]

Title: Automorphism Groups of Graphical Models and Lifted Variational Inference

Hung Bui, Tuyen Huynh, Sebastian Riedel

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1309.6824 [pdf, other]

Title: Learning Sparse Causal Models is not NP-hard

Tom Claassen, Joris Mooij, Tom Heskes

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1309.6825 [pdf, other]

Title: Advances in Bayesian Network Learning using Integer Programming

Mark Bartlett, James Cussens

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1309.6826 [pdf, other]

Title: Qualitative Possibilistic Mixed-Observable MDPs

Nicolas Drougard, Florent Teichteil-Konigsbuch, Jean-Loup Farges, Didier Dubois

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1309.6827 [pdf, other]

Title: Optimization With Parity Constraints: From Binary Codes to Discrete Integration

Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1309.6828 [pdf, other]

Title: Monte-Carlo Planning: Theoretically Fast Convergence Meets Practical Efficiency

Zohar Feldman, Carmel Domshlak

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1309.6829 [pdf, other]

Title: Bethe-ADMM for Tree Decomposition based Parallel MAP Inference

Qiang Fu, Huahua Wang, Arindam Banerjee

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

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

[39] arXiv:1309.6832 [pdf, other]

Title: Structured Message Passing

Vibhav Gogate, Pedro Domingos

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1309.6836 [pdf, other]

Title: Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure

Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Jarvisalo

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1309.6839 [pdf, other]

Title: Solving Limited-Memory Influence Diagrams Using Branch-and-Bound Search

Arindam Khaled, Eric A. Hansen, Changhe Yuan

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1309.6842 [pdf, other]

Title: Causal Transportability of Experiments on Controllable Subsets of Variables: z-Transportability

Sanghack Lee, Vasant Honavar

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1309.6843 [pdf, other]

Title: A Sound and Complete Algorithm for Learning Causal Models from Relational Data

Marc Maier, Katerina Marazopoulou, David Arbour, David Jensen

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1309.6844 [pdf, other]

Title: Evaluating Anytime Algorithms for Learning Optimal Bayesian Networks

Brandon Malone, Changhe Yuan

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1309.6845 [pdf, other]

Title: On the Complexity of Strong and Epistemic Credal Networks

Denis D. Maua, Cassio Polpo de Campos, Alessio Benavoli, Alessandro Antonucci

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1309.6846 [pdf, other]

Title: Learning Periodic Human Behaviour Models from Sparse Data for Crowdsourcing Aid Delivery in Developing Countries

James McInerney, Alex Rogers, Nicholas R. Jennings

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1309.6848 [pdf, other]

Title: Tighter Linear Program Relaxations for High Order Graphical Models

Elad Mezuman, Daniel Tarlow, Amir Globerson, Yair Weiss

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1309.6855 [pdf, other]

Title: Evaluating computational models of explanation using human judgments

Michael Pacer, Joseph Williams, Xi Chen, Tania Lombrozo, Thomas Griffiths

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1309.6856 [pdf, other]

Title: Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes

Patrice Perny, Paul Weng, Judy Goldsmith, Josiah Hanna

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1309.6857 [pdf, other]

Title: Solution Methods for Constrained Markov Decision Process with Continuous Probability Modulation

Marek Petrik, Dharmashankar Subramanian, Janusz Marecki

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Subjects: Artificial Intelligence (cs.AI)