Artificial Intelligence

Authors and titles for July 2015

[1] arXiv:1507.00142 [pdf, other]

Title: A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)

Cunjing Ge, Feifei Ma, Jian Zhang

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1507.00353 [pdf, other]

Title: An Empirical Evaluation of True Online TD({\lambda})

Harm van Seijen, A. Rupam Mahmood, Patrick M. Pilarski, Richard S. Sutton

Comments: European Workshop on Reinforcement Learning (EWRL) 2015

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

[3] arXiv:1507.00436 [pdf, other]

Title: Online Transfer Learning in Reinforcement Learning Domains

Yusen Zhan, Matthew E. Taylor

Comments: 18 pages, 2 figures

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

[4] arXiv:1507.00814 [pdf, other]

Title: Incentivizing Exploration In Reinforcement Learning With Deep Predictive Models

Bradly C. Stadie, Sergey Levine, Pieter Abbeel

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

[5] arXiv:1507.00862 [pdf, other]

Title: Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem

Alexander Semenov, Oleg Zaikin

Comments: The reduced version of this paper was accepted for publication in proceedings of the PaCT 2015 conference (LNCS Vol. 9251). arXiv admin note: substantial text overlap with arXiv:1411.5433

Journal-ref: LNCS 9251 (2015) 222-230

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1507.01122 [pdf, other]

Title: Modeling the Mind: A brief review

Gabriel Makdah

Comments: Part 1 in the Modeling the Mind review series. 52 pages, 5 figures

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

[7] arXiv:1507.01384 [pdf, other]

Title: The method of artificial systems

Christopher A. Tucker

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1507.01425 [pdf, other]

Title: Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories

Ryuta Arisaka

Comments: Corrected the following: 1. in Definition 1, earlier versions had 2^Props x 2^Props x N, but clearly it should be 2^{Props x Props x N}. 2. in Definition 1, one disjunctive case was missing. The 5th item is newly added to complete. 3. On page 3, in the right column, the 2nd axiom for Compactness has a typo. It is not P \in X, but should be P \in L(X)

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1507.01451 [pdf, other]

Title: A model building framework for Answer Set Programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

Comments: 57 pages, 9 figures, 3 tables, 6 algorithms, to appear in Theory and Practice of Logic Programming (accepted in June 2015)

Journal-ref: Theory and Practice of Logic Programming 16 (2016) 418-464

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

[10] arXiv:1507.01986 [pdf, other]

Title: Toward Idealized Decision Theory

Nate Soares, Benja Fallenstein

Comments: This is an extended version of a paper accepted to AGI-2015

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1507.02347 [pdf, other]

Title: Achieving Synergy in Cognitive Behavior of Humanoids via Deep Learning of Dynamic Visuo-Motor-Attentional Coordination

Jungsik Hwang, Minju Jung, Naveen Madapana, Jinhyung Kim, Minkyu Choi, Jun Tani

Comments: submitted to 2015 IEEE-RAS International Conference on Humanoid Robots

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

[12] arXiv:1507.02439 [pdf, other]

Title: Automated Matchmaking to Improve Accuracy of Applicant Selection for University Education System

Oludayo O. Olugbara, Manish Joshi, Michael M. Modiba, Virendrakumar C. Bhavsar

Comments: 14 pages, 5 Text boxes, 2 tables and a figure

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

[13] arXiv:1507.02456 [pdf, other]

Title: Towards Log-Linear Logics with Concrete Domains

Melisachew Wudage Chekol, Jakob Huber, Heiner Stuckenschmidt

Comments: StarAI2015

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1507.02563 [pdf, other]

Title: Managing Autonomous Mobility on Demand Systems for Better Passenger Experience

Wen Shen, Cristina Lopes

Journal-ref: Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015). pp 20-35. Lecture Notes in Computer Science, vol 9387. Springer

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[15] arXiv:1507.02870 [pdf, other]

Title: Analysis of Microarray Data using Artificial Intelligence Based Techniques

Khalid Raza

Comments: 32 pages, 4 figures

Journal-ref: Handbook of Research on Computational Intelligence Applications in Bioinformatics, 216-239, 2016

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Genomics (q-bio.GN)

[16] arXiv:1507.02873 [pdf, other]

Title: Lazy Explanation-Based Approximation for Probabilistic Logic Programming

Joris Renkens, Angelika Kimmig, Luc De Raedt

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1507.02912 [pdf, other]

Title: First-order integer programming for MAP problems

James Cussens

Comments: corrected typos

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1507.03045 [pdf, other]

Title: Markov Logic Networks for Natural Language Question Answering

Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni

Comments: 7 pages, 1 figure, StarAI workshop at UAI'15

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

[19] arXiv:1507.03097 [pdf, other]

Title: Ontology Matching with Knowledge Rules

Shangpu Jiang, Daniel Lowd, Dejing Dou

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1507.03168 [pdf, other]

Title: Using Bayesian Network Representations for Effective Sampling from Generative Network Models

Pablo Robles-Granda, Sebastian Moreno, Jennifer Neville

Subjects: Artificial Intelligence (cs.AI)

[21] arXiv:1507.03181 [pdf, other]

Title: A Probabilistic Approach to Knowledge Translation

Shangpu Jiang, Daniel Lowd, Dejing Dou

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1507.03257 [pdf, other]

Title: Use of the Triangular Fuzzy Numbers for Student Assessment

Michael Voskoglou

Comments: 9 pages, 2 figures

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1507.03638 [pdf, other]

Title: Experimental analysis of data-driven control for a building heating system

Giuseppe Tommaso Costanzo, Sandro Iacovella, Frederik Ruelens, T. Leurs, Bert Claessens

Comments: 12 pages, 8 figures, pending for publication in Elsevier SEGAN

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1507.03920 [pdf, other]

Title: Fuzzy Answer Set Computation via Satisfiability Modulo Theories

Mario Alviano, Rafael Penaloza

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 588-603

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1507.03922 [pdf, other]

Title: Complexity and Compilation of GZ-Aggregates in Answer Set Programming

Mario Alviano, Nicola Leone

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 574-587

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1507.03923 [pdf, other]

Title: Rewriting recursive aggregates in answer set programming: back to monotonicity

Mario Alviano, Wolfgang Faber, Martin Gebser

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 559-573

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1507.03979 [pdf, other]

Title: Planning as Tabled Logic Programming

Neng-Fa Zhou, Roman Bartak, Agostino Dovier

Comments: 27 pages in TPLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 543-558

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1507.04091 [pdf, other]

Title: Evidential relational clustering using medoids

Kuang Zhou (DRUID), Arnaud Martin (DRUID), Quan Pan, Zhun-Ga Liu

Comments: in The 18th International Conference on Information Fusion, July 2015, Washington, DC, USA , Jul 2015, Washington, United States

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1507.04124 [pdf, other]

Title: On the Computability of Solomonoff Induction and Knowledge-Seeking

Jan Leike, Marcus Hutter

Comments: ALT 2015

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

[30] arXiv:1507.04630 [pdf, other]

Title: Optimizing the computation of overriding

Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1507.04928 [pdf, other]

Title: A Brain-like Cognitive Process with Shared Methods

Kieran Greer

Journal-ref: Int. J. Advanced Intelligence Paradigms, Vol. 18, No. 4, 2021, pp.481-501, Inderscience

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1507.05019 [pdf, other]

Title: Support Vector Machine in Prediction of Building Energy Demand Using Pseudo Dynamic Approach

Subodh Paudel (Mines Nantes), Phuong H. Nguyen, Wil L. Kling, Mohamed Elmitri, Bruno Lacarrière (Mines Nantes), Olivier Le Corre (Mines Nantes)

Comments: Proceedings of ECOS 2015-The 28th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems , Jun 2015, Pau, France

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

[33] arXiv:1507.05122 [pdf, other]

Title: Human Gender Classification: A Review

Yingxiao Wu, Yan Zhuang, Xi Long, Feng Lin, Wenyao Xu

Comments: This paper has been withdrawn by the author due to several literature mistakes

Subjects: Artificial Intelligence (cs.AI)

[34] arXiv:1507.05268 [pdf, other]

Title: Reinforcement Learning for the Unit Commitment Problem

Gal Dalal, Shie Mannor

Comments: Accepted and presented in IEEE PES PowerTech, Eindhoven 2015, paper ID 462731

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1507.05275 [pdf, other]

Title: An Efficient Genetic Algorithm for Discovering Diverse-Frequent Patterns

Shanjida Khatun, Hasib Ul Alam, Swakkhar Shatabda

Comments: 2015 International Conference on Electrical Engineering and Information Communication Technology (ICEEICT)

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1507.05875 [pdf, other]

Title: Efficient Dodgson-Score Calculation Using Heuristics and Parallel Computing

Arne Recknagel, Tarek R. Besold

Comments: Additional references; partially rewritten text for improved readability; minor corrections of typos/language issues etc

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[37] arXiv:1507.05895 [pdf, other]

Title: Decision Maker based on Atomic Switches

Song-Ju Kim, Tohru Tsuruoka, Tsuyoshi Hasegawa, Masakazu Aono

Comments: 10 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1412.6141

Subjects: Artificial Intelligence (cs.AI); Materials Science (cond-mat.mtrl-sci)

[38] arXiv:1507.05956 [pdf, other]

Title: Towards a Better Understanding of CAR, CDR, CADR and the Others

Thomas W. Lynch

Comments: 6 pages

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[39] arXiv:1507.06045 [pdf, other]

Title: Adapting Stochastic Search For Real-time Dynamic Weighted Constraint Satisfaction

Gregory Hasseler

Comments: 187 pages, Master's Thesis submitted to State University of New York Institute of Technology

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1507.06103 [pdf, other]

Title: Taming Primary Key Violations to Query Large Inconsistent Data

Marco Manna, Francesco Ricca, Giorgio Terracina

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

[41] arXiv:1507.06500 [pdf, other]

Title: Mapping Big Data into Knowledge Space with Cognitive Cyber-Infrastructure

Hai Zhuge

Comments: 59 pages

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1507.06566 [pdf, other]

Title: Learning Weak Constraints in Answer Set Programming

Mark Law, Alessandra Russo, Krysia Broda

Comments: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 511-525

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1507.06689 [pdf, other]

Title: Improved Answer-Set Programming Encodings for Abstract Argumentation

Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran

Comments: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 434-448

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1507.07058 [pdf, other]

Title: The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity

Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi

Comments: 39 pages, 5 appendices. Full version: this http URL

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1507.07295 [pdf, other]

Title: Learning (Predictive) Risk Scores in the Presence of Censoring due to Interventions

Kirill Dyagilev, Suchi Saria

Journal-ref: Machine Learning Journal, Special Issue on on Machine Learning for Health and Medicine, pp. 1-26, 2015

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

[46] arXiv:1507.07462 [pdf, other]

Title: Unification of Fusion Theories, Rules, Filters, Image Fusion and Target Tracking Methods (UFT)

Florentin Smarandache

Comments: 79 pages, a diagram. arXiv admin note: substantial text overlap with arXiv:cs/0409040, arXiv:0901.1289, arXiv:cs/0410033

Journal-ref: International Journal of Applied Mathematics & Statistics, Vol. 2, 1-14, 2004

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1507.07648 [pdf, other]

Title: Projected Model Counting

Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1507.07688 [pdf, other]

Title: Belief and Truth in Hypothesised Behaviours

Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy

Comments: 44 pages; final manuscript published in Artificial Intelligence (AIJ)

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

[49] arXiv:1507.07749 [pdf, other]

Title: Scaling up Greedy Causal Search for Continuous Variables

Joseph D. Ramsey

Comments: 12 pages, 2 figures, tech report for Center for Causal Discovery

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1507.08073 [pdf, other]

Title: Communication: Words and Conceptual Systems

Jian Yu

Comments: 13 pages

Subjects: Artificial Intelligence (cs.AI)