Artificial Intelligence

Authors and titles for cs.AI in Apr 2016

[1]  arXiv:1604.00162 [pdf, ps, other]

Title: Relations between assumption-based approaches in nonmonotonic logic and formal argumentation

Authors: Jesse Heyninck, Christian Straßer

Comments: Contribution to the 16th International Workshop on Non-Monotonic Reasoning (NMR'16), Cape Town

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

[2]  arXiv:1604.00266 [pdf, ps, other]

Title: The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

Authors: Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan

Comments: 36 pages, 6 Figures. J.Acad.(N.Y.)4,2:52-87, published May 16 2014

Journal-ref: J.Acad.(N.Y.)4,2:52-87 May 16 2014

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

[3]  arXiv:1604.00289 [pdf, other]

Title: Building Machines That Learn and Think Like People

Authors: Brenden M. Lake, Tomer D. Ullman, Joshua B. Tenenbaum, Samuel J. Gershman

Comments: In press at Behavioral and Brain Sciences. Open call for commentary proposals (until Nov. 22, 2016). this https URL

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[4]  arXiv:1604.00300 [pdf, other]

Title: A SAT model to mine flexible sequences in transactional datasets

Authors: Rémi Coletta, Benjamin Negrevergne

Subjects: Artificial Intelligence (cs.AI)

[5]  arXiv:1604.00301 [pdf, ps, other]

Title: A strengthening of rational closure in DLs: reasoning about multiple aspects

Authors: Valentina Gliozzi

Subjects: Artificial Intelligence (cs.AI)

[6]  arXiv:1604.00359 [pdf, other]

Title: Using Well-Understood Single-Objective Functions in Multiobjective Black-Box Optimization Test Suites

Authors: Dimo Brockhoff (RANDOPT), Tea Tusar, Anne Auger (RANDOPT), Nikolaus Hansen (RANDOPT)

Comments: ArXiv e-prints, arXiv:1604.00359

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)

[7]  arXiv:1604.00377 [pdf, ps, other]

Title: Reinforcement learning based local search for grouping problems: A case study on graph coloring

Authors: Yangming Zhou, Jin-Kao Hao, Béatrice Duval

Subjects: Artificial Intelligence (cs.AI)

[8]  arXiv:1604.00545 [pdf, ps, other]

Title: The AGI Containment Problem

Authors: James Babcock, Janos Kramar, Roman Yampolskiy

Journal-ref: Lecture Notes in Artificial Intelligence 9782 (AGI 2016, Proceedings) 53-63

Subjects: Artificial Intelligence (cs.AI)

[9]  arXiv:1604.00681 [pdf, other]

Title: Experimental Assessment of Aggregation Principles in Argumentation-enabled Collective Intelligence

Authors: Edmond Awad, Jean-François Bonnefon, Martin Caminada, Thomas Malone, Iyad Rahwan

Journal-ref: ACM Transactions on Internet Technology (TOIT), 17(3), 29 (2017)

Subjects: Artificial Intelligence (cs.AI)

[10]  arXiv:1604.00693 [pdf, other]

Title: Pareto Optimality and Strategy Proofness in Group Argument Evaluation (Extended Version)

Authors: Edmond Awad, Martin Caminada, Gabriella Pigozzi, Mikołaj Podlaszewski, Iyad Rahwan

Subjects: Artificial Intelligence (cs.AI)

[11]  arXiv:1604.00799 [pdf, ps, other]

Title: Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)

Authors: Alessandro Artale, Enrico Franconi

Subjects: Artificial Intelligence (cs.AI)

[12]  arXiv:1604.00869 [pdf, other]

Title: Automatic Knowledge Base Evolution by Learning Instances

Authors: Sundong Kim

Comments: 11 pages, submitted to International Semantic Web Conference 2014 (Rejected), Revising(2016-04-04~)

Subjects: Artificial Intelligence (cs.AI)

[13]  arXiv:1604.01219 [pdf, other]

Title: Learning to Generate Posters of Scientific Papers

Authors: Yuting Qiang, Yanwei Fu, Yanwen Guo, Zhi-Hua Zhou, Leonid Sigal

Comments: in Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, AZ, 2016

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Multimedia (cs.MM); Machine Learning (stat.ML)

[14]  arXiv:1604.01277 [pdf, other]

Title: Landmark-Based Plan Recognition

Authors: Ramon Fraga Pereira, Felipe Meneguzzi

Comments: Accepted as short paper in the 22nd European Conference on Artificial Intelligence, ECAI 2016

Subjects: Artificial Intelligence (cs.AI)

[15]  arXiv:1604.01350 [pdf, other]

Title: Bounded Optimal Exploration in MDP

Authors: Kenji Kawaguchi

Comments: In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI), 2016

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

[16]  arXiv:1604.02080 [pdf, other]

Title: Planning with Information-Processing Constraints and Model Uncertainty in Markov Decision Processes

Authors: Jordi Grau-Moya, Felix Leibfried, Tim Genewein, Daniel A. Braun

Comments: 16 pages, 3 figures

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

[17]  arXiv:1604.02126 [pdf, other]

Title: On Stochastic Belief Revision and Update and their Combination

Authors: Gavin Rens

Comments: Presented at the Sixteenth International Workshop on Non-Monotonic Reasoning, 22-24 April 2016, Cape Town, South Africa. 10 pages

Subjects: Artificial Intelligence (cs.AI)

[18]  arXiv:1604.02133 [pdf, other]

Title: Revising Incompletely Specified Convex Probabilistic Belief Bases

Authors: Gavin Rens, Thomas Meyer, Giovanni Casini

Comments: Presented at the Sixteenth International Workshop on Non-Monotonic Reasoning, 22-24 April 2016, Cape Town, South Africa. 9.25 pages

Subjects: Artificial Intelligence (cs.AI)

[19]  arXiv:1604.02323 [pdf, ps, other]

Title: A system of serial computation for classified rules prediction in non-regular ontology trees

Authors: Kennedy E. Ehimwenma, Paul Crowther, Martin Beer

Comments: 13 pages, 15 figures, International Journal article, PhD research work

Journal-ref: International Journal of Artificial Intelligence and Applications (IJAIA) March 2016, Vol 7(2), pp. 21-33

Subjects: Artificial Intelligence (cs.AI)

[20]  arXiv:1604.02336 [pdf, other]

Title: Back to the Basics: Bayesian extensions of IRT outperform neural networks for proficiency estimation

Authors: Kevin H. Wilson, Yan Karklin, Bojian Han, Chaitanya Ekanadham

Comments: 6 pages, 2 figures, Educational Data Mining 2016

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

[21]  arXiv:1604.02416 [pdf, other]

Title: How deep is knowledge tracing?

Authors: Mohammad Khajah, Robert V. Lindsey, Michael C. Mozer

Comments: 8 pages, 2 figures

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

[22]  arXiv:1604.02509 [pdf, other]

Title: Towards an Indexical Model of Situated Language Comprehension for Cognitive Agents in Physical Worlds

Authors: Shiwali Mohan, Aaron Mininger, John Laird

Journal-ref: Advances in Cognitive Systems 3 (2014)

Subjects: Artificial Intelligence (cs.AI)

[23]  arXiv:1604.02737 [pdf, other]

Title: Correlated Equilibria for Approximate Variational Inference in MRFs

Authors: Luis E. Ortiz, Boshen Wang, Ze Gong

Comments: 54 pages, 8 figures, 20 plots, Extension of Section 4 of a manuscript by the first author first drafted on August 25, 2009 (see this http URL). Changes: experiments with multiplicative-weight learning algorithms on larger (12x12) synthetic Ising models and 28x28 Ising models learned from MNIST dataset; and misc. edits to improve presentation

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

[24]  arXiv:1604.02774 [pdf, ps, other]

Title: Reverse Engineering and Symbolic Knowledge Extraction on Łukasiewicz Fuzzy Logics using Linear Neural Networks

Authors: Carlos Leandro

Comments: 24 pages

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

[25]  arXiv:1604.02780 [pdf, ps, other]

Title: Knowledge Extraction and Knowledge Integration governed by Łukasiewicz Logics

Authors: Carlos Leandro

Comments: 38 pages

Subjects: Artificial Intelligence (cs.AI)

[26]  arXiv:1604.03099 [pdf, ps, other]

Title: Symbolic Knowledge Extraction using Łukasiewicz Logics

Authors: Carlos Leandro

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1604.02780, arXiv:1604.02774

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

[27]  arXiv:1604.03200 [pdf, other]

Title: Efficient Classification of Multi-Labelled Text Streams by Clashing

Authors: Ricardo Ñanculef, Ilias Flaounas, Nello Cristianini

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

[28]  arXiv:1604.03210 [pdf, ps, other]

Title: An Analysis of General Fuzzy Logic and Fuzzy Reasoning Method

Authors: Kwak Son Il

Subjects: Artificial Intelligence (cs.AI)

[29]  arXiv:1604.03318 [pdf, ps, other]

Title: Applying Ontological Modeling on Quranic Nature Domain

Authors: A.B.M. Shamsuzzaman Sadi, Towfique Anam, Mohamed Abdirazak, Abdillahi Hasan Adnan, Sazid Zaman Khan, Mohamed Mahmudur Rahman, Ghassan Samara

Comments: 2016 7th International Conference on Information and Communication Systems (ICICS)

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

[30]  arXiv:1604.03912 [pdf, other]

Title: Inverse Reinforcement Learning with Simultaneous Estimation of Rewards and Dynamics

Authors: Michael Herman, Tobias Gindele, Jörg Wagner, Felix Schmitt, Wolfram Burgard

Comments: accepted to appear in AISTATS 2016

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY); Machine Learning (stat.ML)

[31]  arXiv:1604.04096 [pdf, ps, other]

Title: A General Framework for Describing Creative Agents

Authors: Valerio Velardo, Mauro Vallati

Comments: 14 pages

Subjects: Artificial Intelligence (cs.AI)

[32]  arXiv:1604.04315 [pdf, ps, other]

Title: Moving Beyond the Turing Test with the Allen AI Science Challenge

Authors: Carissa Schoenick, Peter Clark, Oyvind Tafjord, Peter Turney, Oren Etzioni

Comments: 7 pages

Subjects: Artificial Intelligence (cs.AI)

[33]  arXiv:1604.04506 [pdf, other]

Title: Integrating Know-How into the Linked Data Cloud

Authors: Paolo Pareti, Benoit Testu, Ryutaro Ichise, Ewan Klein, Adam Barker

Comments: The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014), 24-28 November 2014, Link\"oping, Sweden

Journal-ref: Knowledge Engineering and Knowledge Management, volume 8876 of Lecture Notes in Computer Science, pages 385-396. Springer International Publishing (2014)

Subjects: Artificial Intelligence (cs.AI)

[34]  arXiv:1604.04660 [pdf, ps, other]

Title: Why Artificial Intelligence Needs a Task Theory --- And What It Might Look Like

Authors: Kristinn R. Thórisson, Jordi Bieger, Thröstur Thorarensen, Jóna S. Sigurðardóttir, Bas R. Steunebrink

Comments: accepted to the Ninth Conference on Artificial General Intelligence (AGI-16)

Subjects: Artificial Intelligence (cs.AI)

[35]  arXiv:1604.04721 [pdf, other]

Title: An artificial intelligence tool for heterogeneous team formation in the classroom

Authors: Juan M. Alberola, Elena Del Val, Victor Sanchez-Anguix, Alberto Palomares, Maria Dolores Teruel

Journal-ref: Knowledge-Based Systems, 2016

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[36]  arXiv:1604.04789 [pdf, other]

Title: A Hierarchical Genetic Optimization of a Fuzzy Logic System for Flow Control in Micro Grids

Authors: Enrico De Santis, Antonello Rizzi, Alireza Sadeghian

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

[37]  arXiv:1604.04795 [pdf, other]

Title: KOGNAC: Efficient Encoding of Large Knowledge Graphs

Authors: Jacopo Urbani, Sourav Dutta, Sairam Gurajada, Gerhard Weikum

Subjects: Artificial Intelligence (cs.AI)

[38]  arXiv:1604.04894 [pdf, other]

Title: A global constraint for closed itemset mining

Authors: Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah

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

[39]  arXiv:1604.05006 [pdf, other]

Title: Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering

Authors: Heng Zhang, Yan Zhang, Jia-Huai You

Comments: 10 pages; the full version of a paper to appear in IJCAI 2016. Changes (regarding to v1): a new reference has been added, and some typos have been corrected

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

[40]  arXiv:1604.05085 [pdf, other]

Title: Mastering 2048 with Delayed Temporal Coherence Learning, Multi-Stage Weight Promotion, Redundant Encoding and Carousel Shaping

Authors: Wojciech Jaśkowski

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

[41]  arXiv:1604.05086 [pdf, ps, other]

Title: Normative Multiagent Systems: A Dynamic Generalization

Authors: Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

Comments: 26 pages. A conference version of this work is accepted by the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

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

[42]  arXiv:1604.05273 [pdf, ps, other]

Title: Learning Possibilistic Logic Theories from Default Rules

Authors: Ondrej Kuzelka, Jesse Davis, Steven Schockaert

Comments: Long version of a paper accepted at IJCAI 2016

Subjects: Artificial Intelligence (cs.AI)

[43]  arXiv:1604.05288 [pdf, ps, other]

Title: Inductive Coherence

Authors: Scott Garrabrant, Benya Fallenstein, Abram Demski, Nate Soares

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

[44]  arXiv:1604.05358 [pdf, other]

Title: Text-based LSTM networks for Automatic Music Composition

Authors: Keunwoo Choi, George Fazekas, Mark Sandler

Comments: Accepted in the 1st Conference on Computer Simulation of Musical Creativity, 2016

Subjects: Artificial Intelligence (cs.AI); Multimedia (cs.MM)

[45]  arXiv:1604.05419 [pdf, ps, other]

Title: Extending the Harper Identity to Iterated Belief Change

Authors: Jake Chandler, Richard Booth

Comments: Extended version of a paper accepted to IJCAI16. 23 pages

Subjects: Artificial Intelligence (cs.AI)

[46]  arXiv:1604.05471 [pdf, other]

Title: Managing Overstaying Electric Vehicles in Park-and-Charge Facilities

Authors: Arpita Biswas, Ragavendran Gopalakrishnan, Partha Dutta

Comments: Published in Proceedings of the 25th International Joint Conference on Artificial Intelligence IJCAI 2016

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

[47]  arXiv:1604.05472 [pdf, other]

Title: Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations

Authors: Ragavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta, Abhishek Tripathi

Comments: Published in the proceedings of the 25th International Joint Conference on Artificial Intelligence IJCAI 2016

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

[48]  arXiv:1604.05535 [pdf, other]

Title: The SP theory of intelligence and the representation and processing of knowledge in the brain

Authors: J Gerard Wolff

Journal-ref: Frontiers in Psychology, 7, 1584, 2016

Subjects: Artificial Intelligence (cs.AI)

[49]  arXiv:1604.05557 [pdf, ps, other]

Title: AGI and Reflexivity

Authors: Pascal Faudemay

Comments: submitted to ECAI-2016

Subjects: Artificial Intelligence (cs.AI)

[50]  arXiv:1604.05636 [pdf, ps, other]

Title: Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

Authors: Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin

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

[51]  arXiv:1604.05791 [pdf, ps, other]

Title: Procedural urban environments for FPS games

Authors: Jan Kruse, Ricardo Sosa, Andy M. Connor

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Neural and Evolutionary Computing (cs.NE)

[52]  arXiv:1604.06076 [pdf, other]

Title: Question Answering via Integer Programming over Semi-Structured Knowledge

Authors: Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth

Comments: Extended version of the paper accepted to IJCAI'16

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

[53]  arXiv:1604.06223 [pdf, ps, other]

Title: Task scheduling system for UAV operations in indoor environment

Authors: Yohanes Khosiawan, Young Soo Park, Ilkyeong Moon, Janardhanan Mukund Nilakantan, Izabela Nielsen

Subjects: Artificial Intelligence (cs.AI)

[54]  arXiv:1604.06356 [pdf, ps, other]

Title: Iterative Judgment Aggregation

Authors: Marija Slavkovik, Wojciech Jamroga

Subjects: Artificial Intelligence (cs.AI)

[55]  arXiv:1604.06484 [pdf, ps, other]

Title: Parallel Strategies Selection

Authors: Anthony Palmieri, Jean-Charles Régin, Pierre Schaus

Subjects: Artificial Intelligence (cs.AI)

[56]  arXiv:1604.06614 [pdf, ps, other]

Title: Agenda Separability in Judgment Aggregation

Authors: Jérôme Lang, Marija Slavkovik, Srdjan Vesic

Subjects: Artificial Intelligence (cs.AI)

[57]  arXiv:1604.06641 [pdf, other]

Title: Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

Authors: Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus

Subjects: Artificial Intelligence (cs.AI)

[58]  arXiv:1604.06710 [pdf, other]

Title: Using Reinforcement Learning to Validate Empirical Game-Theoretic Analysis: A Continuous Double Auction Study

Authors: Mason Wright

Comments: technical report, 37 pages

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

[59]  arXiv:1604.06715 [pdf, ps, other]

Title: Parameterized Compilation Lower Bounds for Restricted CNF-formulas

Authors: Stefan Mengel

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

[60]  arXiv:1604.06721 [pdf, other]

Title: Exploiting Deep Semantics and Compositionality of Natural Language for Human-Robot-Interaction

Authors: Manfred Eppe, Sean Trott, Jerome Feldman

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

[61]  arXiv:1604.06787 [pdf, ps, other]

Title: Utilitarian Distributed Constraint Optimization Problems

Authors: Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi

Subjects: Artificial Intelligence (cs.AI)

[62]  arXiv:1604.06790 [pdf, ps, other]

Title: DisCSPs with Privacy Recast as Planning Problems for Utility-based Agents

Authors: Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi

Subjects: Artificial Intelligence (cs.AI)

[63]  arXiv:1604.06849 [pdf, ps, other]

Title: A Computational Model for Situated Task Learning with Interactive Instruction

Authors: Shiwali Mohan, James Kirk, John Laird

Comments: International Conference on Cognitive Modeling, 2013

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

[64]  arXiv:1604.06954 [pdf, other]

Title: RHOG: A Refinement-Operator Library for Directed Labeled Graphs

Authors: Santiago Ontañón

Comments: Report of the theory behind the RHOG library developed under NSF EAGER grant IIS-1551338

Subjects: Artificial Intelligence (cs.AI)

[65]  arXiv:1604.06963 [pdf, ps, other]

Title: Limits to Verification and Validation of Agentic Behavior

Authors: David J. Jilk

Comments: 13 pages, 0 figures

Subjects: Artificial Intelligence (cs.AI)

[66]  arXiv:1604.06970 [pdf, other]

Title: Bayesian Inference of Recursive Sequences of Group Activities from Tracks

Authors: Ernesto Brau, Colin Dawson, Alfredo Carrillo, David Sidi, Clayton T. Morrison

Comments: 10 pages, 6 figures, in Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, AZ, 2016

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

[67]  arXiv:1604.07095 [pdf, other]

Title: Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games

Authors: Xiaoxiao Guo, Satinder Singh, Richard Lewis, Honglak Lee

Comments: In 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016

Subjects: Artificial Intelligence (cs.AI)

[68]  arXiv:1604.07097 [pdf, other]

Title: Neurohex: A Deep Q-learning Hex Agent

Authors: Kenny Young, Ryan Hayward, Gautham Vasan

Subjects: Artificial Intelligence (cs.AI)

[69]  arXiv:1604.07183 [pdf, ps, other]

Title: AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)

Authors: Marc van Zee, Dragan Doder

Subjects: Artificial Intelligence (cs.AI)

[70]  arXiv:1604.07255 [pdf, other]

Title: A Deep Hierarchical Approach to Lifelong Learning in Minecraft

Authors: Chen Tessler, Shahar Givony, Tom Zahavy, Daniel J. Mankowitz, Shie Mannor

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

[71]  arXiv:1604.07312 [pdf, ps, other]

Title: Endgame Analysis of Dou Shou Qi

Authors: Jan N. van Rijn, Jonathan K. Vis

Comments: 5 pages, ICGA Journal, Vol. 37, pp. 120-124, 2014

Journal-ref: ICGA Journal, Vol. 37, pp. 120-124, 2014

Subjects: Artificial Intelligence (cs.AI)

[72]  arXiv:1604.07429 [pdf, ps, other]

Title: Balancing Appearance and Context in Sketch Interpretation

Authors: Yale Song, Randall Davis, Kaichen Ma, Dana L. Penny

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

[73]  arXiv:1604.07625 [pdf, ps, other]

Title: Mutual Transformation of Information and Knowledge

Authors: Olegs Verhodubs

Subjects: Artificial Intelligence (cs.AI)

[74]  arXiv:1604.07704 [pdf, ps, other]

Title: Tournament selection in zeroth-level classifier systems based on average reward reinforcement learning

Authors: Zhaoxiang Zang, Zhao Li, Junying Wang, Zhiping Dan

Comments: 14 pages, 3 figures

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

[75]  arXiv:1604.07806 [pdf, other]

Title: Using Indirect Encoding of Multiple Brains to Produce Multimodal Behavior

Authors: Jacob Schrum, Joel Lehman, Sebastian Risi

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

[76]  arXiv:1604.07906 [pdf, ps, other]

Title: Procedural Generation of Angry Birds Levels using Building Constructive Grammar with Chinese-Style and/or Japanese-Style Models

Authors: YuXuan Jiang, Misaki Kaidan, Chun Yin Chu, Tomohiro Harada, Ruck Thawonmas

Journal-ref: Proc. of ASIAGRAPH 2016, Toyama, Japan, pp. 53-54, Mar. 5-6, 2016

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[77]  arXiv:1604.07990 [pdf, other]

Title: Probabilistic Graphical Models on Multi-Core CPUs using Java 8

Authors: Andres R. Masegosa, Ana M. Martinez, Hanen Borchani

Comments: Pre-print version of the paper presented in the special issue on Computational Intelligence Software at IEEE Computational Intelligence Magazine journal

Journal-ref: IEEE Computational Intelligence Magazine, 11(2), 41-54. 2016

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

[78]  arXiv:1604.08055 [pdf, ps, other]

Title: Selecting the Selection

Authors: Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder

Comments: IJCAR 2016

Subjects: Artificial Intelligence (cs.AI)

[79]  arXiv:1604.08148 [pdf, ps, other]

Title: Defining Concepts of Emotion: From Philosophy to Science

Authors: Changqing Liu

Subjects: Artificial Intelligence (cs.AI)

[80]  arXiv:1604.08229 [pdf, other]

Title: Propositional Abduction with Implicit Hitting Sets

Authors: Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

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

[81]  arXiv:1604.08268 [pdf, other]

Title: Quantum Cognition Beyond Hilbert Space I: Fundamentals

Authors: Diederik Aerts, Lyneth Beltran, Massimiliano Sassoli de Bianchi, Sandro Sozzo, Tomas Veloz

Comments: 10 pages, 2 figures

Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds), Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[82]  arXiv:1604.08270 [pdf, other]

Title: Quantum cognition beyond Hilbert space II: Applications

Authors: Diederik Aerts, Lyneth Beltran, Massimiliano Sassoli de Bianchi, Sandro Sozzo, Tomas Veloz

Comments: 10 pages, 2 figures

Journal-ref: In de Barros J., Coecke B., Pothos E. (Eds) Quantum Interaction. QI 2016 (pp. 81-98). Lecture Notes in Computer Science, vol 10106. Springer, Cham (2017)

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[83]  arXiv:1604.08340 [pdf, ps, other]

Title: Semantic Reasoning for Context-aware Internet of Things Applications

Authors: Altti Ilari Maarala, Xiang Su, Jukka Riekki

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

[84]  arXiv:1604.08709 [pdf, ps, other]

Title: "Knowing value" logic as a normal modal logic

Authors: Tao Gu, Yanjing Wang

Comments: 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop. 3.5

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

[85]  arXiv:1604.08768 [pdf, other]

Title: Supervisory Control for Behavior Composition

Authors: Paolo Felli, Nitin Yadav, Sebastian Sardina

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

[86]  arXiv:1604.00066 (cross-list from cs.CV) [pdf, other]

Title: To Fall Or Not To Fall: A Visual Approach to Physical Stability Prediction

Authors: Wenbin Li, Seyedmajid Azimi, Aleš Leonardis, Mario Fritz

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[87]  arXiv:1604.00449 (cross-list from cs.CV) [pdf, other]

Title: 3D-R2N2: A Unified Approach for Single and Multi-view 3D Object Reconstruction

Authors: Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese

Comments: Appendix can be found at this http URL

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

[88]  arXiv:1604.00461 (cross-list from cs.CL) [pdf, other]

Title: Embedding Lexical Features via Low-Rank Tensors

Authors: Mo Yu, Mark Dredze, Raman Arora, Matthew Gormley

Comments: Accepted by NAACL 2016

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

[89]  arXiv:1604.00536 (cross-list from cs.LO) [pdf, ps, other]

Title: Improving SAT Solvers via Blocked Clause Decomposition

Authors: Jingchao Chen

Comments: 9 pages, 1 figure

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

[90]  arXiv:1604.00644 (cross-list from cs.NE) [pdf, other]

Title: An electronic-game framework for evaluating coevolutionary algorithms

Authors: Karine da Silva Miras de Araújo, Fabrício Olivetti de França

Comments: This paper is a translation of \cite{karine2015}, published in Portuguese at Brazilian Congress on Computational Intelligence, 2015

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

[91]  arXiv:1604.00664 (cross-list from cs.CY) [pdf, other]

Title: Bicycle-Sharing System Analysis and Trip Prediction

Authors: Jiawei Zhang, Xiao Pan, Moyin Li, Philip S. Yu

Comments: 11 pages, 11 figures, accepted by 2016 IEEE MDM Conference

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

[92]  arXiv:1604.00697 (cross-list from cs.NE) [pdf, ps, other]

Title: A New Learning Method for Inference Accuracy, Core Occupation, and Performance Co-optimization on TrueNorth Chip

Authors: Wei Wen, Chunpeng Wu, Yandan Wang, Kent Nixon, Qing Wu, Mark Barnell, Hai Li, Yiran Chen

Comments: 6 pages; 9 figures; DAC 2016

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

[93]  arXiv:1604.00727 (cross-list from cs.CL) [pdf, other]

Title: Character-Level Question Answering with Attention

Authors: David Golub, Xiaodong He

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

[94]  arXiv:1604.00921 (cross-list from cs.CY) [pdf, other]

Title: A Review of Theoretical and Practical Challenges of Trusted Autonomy in Big Data

Authors: Hussein A. Abbass, George Leu, Kathryn Merrick

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

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

Title: Data-Efficient Off-Policy Policy Evaluation for Reinforcement Learning

Authors: Philip S. Thomas, Emma Brunskill

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

[96]  arXiv:1604.00932 (cross-list from cs.CC) [pdf, other]

Title: Asking the metaquestions in constraint tractability

Authors: Hubie Chen, Benoit Larose

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

[97]  arXiv:1604.00980 (cross-list from cs.CR) [pdf, ps, other]

Title: A Mathematical Trust Algebra for International Nation Relations Computation and Evaluation

Authors: Mohd Anuar Mat Isa, Ramlan Mahmod, Nur Izura Udzir, Jamalul-lail Ab Manan, Ali Dehghan Tanha

Comments: Keywords Trust Algebra, International Relations, Trust Computation, Foreign Policy, Politics, Dempster-Shafer, Subjective Logic, Common Criteria, Defense, National Security, Terrorism, Counter Terrorism, Trust Perception, Foreign Ministry, Intelligent

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[98]  arXiv:1604.01166 (cross-list from cs.DB) [pdf, ps, other]

Title: An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming

Authors: John O.R. Aoga, Tias Guns, Pierre Schaus

Comments: frequent sequence mining, constraint programming

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

[99]  arXiv:1604.01272 (cross-list from cs.CL) [pdf, ps, other]

Title: Feature extraction using Latent Dirichlet Allocation and Neural Networks: A case study on movie synopses

Authors: Despoina Christou

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Machine Learning (stat.ML)

[100]  arXiv:1604.01335 (cross-list from cs.CV) [pdf, other]

Title: Deep Cross Residual Learning for Multitask Visual Recognition

Authors: Brendan Jou, Shih-Fu Chang

Comments: 10 pages, 6 figures, To appear in ACM Multimedia

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Multimedia (cs.MM)