Artificial Intelligence

Authors and titles for March 2016

[1] arXiv:1603.00423 [pdf, other]

Title: Quantifying the vanishing gradient and long distance dependency problem in recursive neural networks and recursive LSTMs

Phong Le, Willem Zuidema

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

[2] arXiv:1603.00772 [pdf, other]

Title: Filter based Taxonomy Modification for Improving Hierarchical Classification

Azad Naik, Huzefa Rangwala

Comments: The conference version of the paper is submitted for publication

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1603.01182 [pdf, other]

Title: Network Unfolding Map by Edge Dynamics Modeling

Filipe Alves Neto Verri, Paulo Roberto Urio, Liang Zhao

Comments: Published version in this http URL

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, vol. 29, no. 2, pp. 405-418, Feb. 2018. doi: 10.1109/TNNLS.2016.2626341

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1603.01228 [pdf, other]

Title: GeoGebra Tools with Proof Capabilities

Zoltán Kovács, Csilla Sólyom-Gecse

Comments: 22 pages

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1603.01312 [pdf, other]

Title: Learning Physical Intuition of Block Towers by Example

Adam Lerer, Sam Gross, Rob Fergus

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1603.01488 [pdf, other]

Title: A knowledge representation meta-model for rule-based modelling of signalling networks

Adrien Basso-Blandin (LIP, ENS Lyon), Walter Fontana (Harvard Medical School), Russ Harmer (CNRS & LIP, ENS Lyon)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 47-59

Subjects: Artificial Intelligence (cs.AI); Molecular Networks (q-bio.MN)

[7] arXiv:1603.01581 [pdf, other]

Title: Causal inference for data-driven debugging and decision making in cloud computing

Philipp Geiger, Lucian Carata, Bernhard Schoelkopf

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

[8] arXiv:1603.01722 [pdf, other]

Title: A Linked Data Scalability Challenge: Concept Reuse Leads to Semantic Decay

Paolo Pareti, Ewan Klein, Adam Barker

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1603.01840 [pdf, other]

Title: Hierarchical Decision Making In Electricity Grid Management

Gal Dalal, Elad Gilboa, Shie Mannor

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

[10] arXiv:1603.02041 [pdf, other]

Title: Learning Shared Representations in Multi-task Reinforcement Learning

Diana Borsa, Thore Graepel, John Shawe-Taylor

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

[11] arXiv:1603.02208 [pdf, other]

Title: An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems

Wen Shen, Cristina V. Lopes, Jacob W. Crandall

Journal-ref: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) pp. 475-481

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

[12] arXiv:1603.02738 [pdf, other]

Title: Learning to Blend Computer Game Levels

Matthew Guzdial, Mark Riedl

Comments: 8 pages, 11 figures

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1603.03181 [pdf, other]

Title: Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities

Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry Kautz

Comments: 12 pages, 7 figures, 4-page poster version accepted at ICWSM 2016, alcohol dataset and keywords available in: cs.rochester.edu/u/nhossain/icwsm-16-data.zip

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)

[14] arXiv:1603.03267 [pdf, other]

Title: Hierarchical Linearly-Solvable Markov Decision Problems

Anders Jonsson, Vicenç Gómez

Comments: 11 pages, 6 figures, 26th International Conference on Automated Planning and Scheduling

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1603.03511 [pdf, other]

Title: A Set Theoretic Approach for Knowledge Representation: the Representation Part

Yi Zhou

Comments: This paper targets an ambitious goal to rebuild a foundation of knowledge representation based on set theory rather than classical logic. Any comments are welcome

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1603.03515 [pdf, other]

Title: Near-Optimal Active Learning of Halfspaces via Query Synthesis in the Noisy Setting

Lin Chen, Hamed Hassani, Amin Karbasi

Comments: Accepted by AAAI 2017

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

[17] arXiv:1603.03518 [pdf, other]

Title: High-dimensional Black-box Optimization via Divide and Approximate Conquer

Peng Yang, Ke Tang, Xin Yao

Comments: 7 pages, 2 figures, conference

Journal-ref: IEEE Transactions on Evolutionary Computation, 2018, 22(1): 143-156

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1603.03729 [pdf, other]

Title: Penta and Hexa Valued Representation of Neutrosophic Information

Vasile Patrascu

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1603.03814 [pdf, other]

Title: Solving MaxSAT by Successive Calls to a SAT Solver

Mohamed El Halaby

Comments: Survey, 46 pages

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

[20] arXiv:1603.03884 [pdf, other]

Title: Grounding Recursive Aggregates: Preliminary Report

Martin Gebser, Roland Kaminski, Torsten Schaub

Comments: 21 pages, 7 figures, preliminary version appeared at GTTV'15

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)

[21] arXiv:1603.04110 [pdf, other]

Title: Geometry of Interest (GOI): Spatio-Temporal Destination Extraction and Partitioning in GPS Trajectory Data

Seyed Morteza Mousavi, Aaron Harwood, Shanika Karunasekera, Mojtaba Maghrebi

Comments: A version of this technical report has been submitted to the Springer Journal of Ambient Intelligence and Humanized Computing and it is under review

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1603.04119 [pdf, other]

Title: Exploratory Gradient Boosting for Reinforcement Learning in Complex Domains

David Abel, Alekh Agarwal, Fernando Diaz, Akshay Krishnamurthy, Robert E. Schapire

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

[23] arXiv:1603.04402 [pdf, other]

Title: Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach

Abhishek Sharma, Michael Witbrock, Keith Goolsbey

Comments: 6 pages

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1603.04586 [pdf, other]

Title: Optimal Sensing via Multi-armed Bandit Relaxations in Mixed Observability Domains

Mikko Lauri, Risto Ritala

Comments: 6 pages, 2 figures

Journal-ref: Proc. IEEE Intl. Conf. on Robotics and Automation (ICRA), pp. 4807-4812, 2015

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Systems and Control (eess.SY)

[25] arXiv:1603.05314 [pdf, other]

Title: Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm

Te-Hsuan Chen, Ju-Yi Lu

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

[26] arXiv:1603.06125 [pdf, other]

Title: The Computational Power of Dynamic Bayesian Networks

Joshua Brulé

Journal-ref: Proceedings of the 4th International Workshop on Artificial Intelligence and Cognition co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016) 158-166

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

[27] arXiv:1603.06141 [pdf, other]

Title: Evolving Shepherding Behavior with Genetic Programming Algorithms

Joshua Brulé, Kevin Engel, Nick Fung, Isaac Julien

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

[28] arXiv:1603.06459 [pdf, other]

Title: Characterization of neighborhood behaviours in a multi-neighborhood local search algorithm

Nguyen Thi Thanh Dang, Patrick De Causmaecker

Comments: 13 pages

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1603.06485 [pdf, other]

Title: A System for Probabilistic Linking of Thesauri and Classification Systems

Lisa Posch, Philipp Schaer, Arnim Bleier, Markus Strohmaier

Journal-ref: KI - K\"unstliche Intelligenz, 2015

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Digital Libraries (cs.DL)

[30] arXiv:1603.07029 [pdf, other]

Title: Comparing Human and Automated Evaluation of Open-Ended Student Responses to Questions of Evolution

Michael J Wiser, Louise S Mead, James J Smith, Robert T Pennock

Comments: Submitted to ALife 2016

Journal-ref: Artificial Life XV: Proceedings of the Fifteenth International Conference on Artificial life. pp. 116 - 122. MIT Press. 2016

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1603.07051 [pdf, other]

Title: Cosolver2B: An Efficient Local Search Heuristic for the Travelling Thief Problem

Mohamed El Yafrani, Belaïd Ahiod

Comments: 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA) 2015. November 17-20, 2015

Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Neural and Evolutionary Computing (cs.NE)

[32] arXiv:1603.07417 [pdf, other]

Title: Load Disaggregation Based on Aided Linear Integer Programming

Md. Zulfiquar Ali Bhotto, Stephen Makonin, Ivan V. Bajic

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1603.07704 [pdf, other]

Title: Probabilistic Reasoning via Deep Learning: Neural Association Models

Quan Liu, Hui Jiang, Andrew Evdokimov, Zhen-Hua Ling, Xiaodan Zhu, Si Wei, Yu Hu

Comments: Probabilistic reasoning, Winograd Schema Challenge, Deep learning, Neural Networks, Distributed Representation

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

[34] arXiv:1603.08253 [pdf, other]

Title: Negative Learning Rates and P-Learning

Devon Merrill

Comments: Embarrassingly poor manuscript with many errors

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

[35] arXiv:1603.08262 [pdf, other]

Title: Towards Machine Intelligence

Kamil Rocki

Comments: 10 pages, submitted to AGI-16. arXiv admin note: substantial text overlap with arXiv:1512.01926

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

[36] arXiv:1603.08714 [pdf, other]

Title: Properties of ABA+ for Non-Monotonic Reasoning

Kristijonas Cyras, Francesca Toni

Comments: This is a revised version of the paper presented at the workshop

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1603.08776 [pdf, other]

Title: COCO: The Experimental Procedure

Nikolaus Hansen (Inria), Tea Tusar (Inria), Olaf Mersmann, Anne Auger (Inria), Dimo Brockhoff (Inria)

Comments: ArXiv e-prints, arXiv:1603.08776

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

[38] arXiv:1603.08785 [pdf, other]

Title: COCO: A Platform for Comparing Continuous Optimizers in a Black-Box Setting

Nikolaus Hansen (RANDOPT), Anne Auger (RANDOPT), Raymond Ros (TAO), Olaf Mersmann (TU), Tea Tušar (IJS), Dimo Brockhoff (RANDOPT)

Comments: Optimization Methods and Software, Taylor & Francis, In press, pp.1-31

Subjects: Artificial Intelligence (cs.AI); Mathematical Software (cs.MS); Numerical Analysis (math.NA); Machine Learning (stat.ML)

[39] arXiv:1603.08789 [pdf, other]

Title: Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

Jean-Guy Mailly

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1603.08869 [pdf, other]

Title: Algorithms for Batch Hierarchical Reinforcement Learning

Tiancheng Zhao, Mohammad Gowayyed

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1603.08988 [pdf, other]

Title: Towards Practical Bayesian Parameter and State Estimation

Yusuf Bugra Erol, Yi Wu, Lei Li, Stuart Russell

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

[42] arXiv:1603.09029 [pdf, other]

Title: Adaptive Maximization of Pointwise Submodular Functions With Budget Constraint

Nguyen Viet Cuong, Huan Xu

Comments: This paper was published at the 30th Conference on Neural Information Processing Systems (NIPS 2016)

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Optimization and Control (math.OC); Machine Learning (stat.ML)

[43] arXiv:1603.09051 [pdf, other]

Title: Phoenix: A Self-Optimizing Chess Engine

Rahul Aralikatte, G Srinivasaraghavan

Comments: Accepted in CICN 2015. Preprint

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

[44] arXiv:1603.09194 [pdf, other]

Title: Iterated Ontology Revision by Reinterpretation

Özgür Lütfü Özçep

Comments: 10 pages, 1 figure, to be published in Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR'16)

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1603.09429 [pdf, other]

Title: Ordinal Conditional Functions for Nearly Counterfactual Revision

Aaron Hunter

Comments: 7 pages, 1 figure, presented at the International Workshop on Non-monotonic Reasoning 2016

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1603.09465 [pdf, other]

Title: A New Approach for Revising Logic Programs

Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar

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

[47] arXiv:1603.09495 [pdf, other]

Title: Reactive Policies with Planning for Action Languages

Zeynep G. Saribatur, Thomas Eiter

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

[48] arXiv:1603.09502 [pdf, other]

Title: Verifiability of Argumentation Semantics

Ringo Baumann, Thomas Linsbichler, Stefan Woltran

Comments: Contribution to the 16h International Workshop on Non-Monotonic Reasoning, 2016, Cape Town

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1603.09511 [pdf, other]

Title: Distributing Knowledge into Simple Bases

Adrian Haret, Jean-Guy Mailly, Stefan Woltran

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1603.09545 [pdf, other]

Title: Characterizing Realizability in Abstract Argumentation

Thomas Linsbichler, Jörg Pührer, Hannes Strass

Comments: Contribution to the 16h International Workshop on Non-Monotonic Reasoning, 2016, Cape Town

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