Artificial Intelligence

Authors and titles for October 2013

[1] arXiv:1310.0602 [pdf, other]

Title: Iterated Variable Neighborhood Search for the resource constrained multi-mode multi-project scheduling problem

Martin Josef Geiger

Journal-ref: In: Graham Kendall, Greet Vanden Berghe, and Barry McCollum (editors): Proceedings of the 6th Multidisciplinary International Conference on Scheduling: Theory and Applications, August 27-29, 2013, Gent, Belgium, pages 807-811

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1310.0927 [pdf, other]

Title: Learning Chordal Markov Networks by Constraint Satisfaction

Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman, Johan Pensar

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1310.1328 [pdf, other]

Title: The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models

Ernest Davis

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1310.1863 [pdf, other]

Title: Empowerment -- an Introduction

Christoph Salge, Cornelius Glackin, Daniel Polani

Comments: 46 pages, 8 figures, to be published in Prokopenko, M., editor, Guided Self-Organization: Inception. Springer. In Press

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Adaptation and Self-Organizing Systems (nlin.AO)

[5] arXiv:1310.1947 [pdf, other]

Title: Bayesian Optimization With Censored Response Data

Frank Hutter, Holger Hoos, Kevin Leyton-Brown

Comments: Extended version of NIPS 2011 workshop paper

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

[6] arXiv:1310.2089 [pdf, other]

Title: Double four-bar crank-slider mechanism dynamic balancing by meta-heuristic algorithms

Habib Emdadi, Mahsa Yazdanian, Mir Mohammad Ettefagh, Mohammad-Reza Feizi-Derakhshi

Comments: 18 pages-19 figures

Journal-ref: International Journal of Artificial Intelligence & Applications (IJAIA), Vol. 4, No. 5, September 2013

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1310.2298 [pdf, other]

Title: SAT-based Preprocessing for MaxSAT (extended version)

Anton Belov, Antonio Morgado, Joao Marques-Silva

Comments: Extended version of LPAR'19 paper with the same title

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1310.2350 [pdf, other]

Title: The Generalized Traveling Salesman Problem solved with Ant Algorithms

Camelia-M. Pintea, Petrica C. Pop, Camelia Chira

Comments: indexed in Scopus, ORCID

Journal-ref: Complex Adaptive Systems Modeling 5(1), 8 pages, 2017

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

[9] arXiv:1310.2396 [pdf, other]

Title: A necessary and sufficient condition for two relations to induce the same definable set family

Hua Yao, William Zhu

Comments: 13 pages

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1310.2493 [pdf, other]

Title: Combining Ontologies with Correspondences and Link Relations: The E-SHIQ Representation Framework

George A. Vouros, Georgios Santipantakis

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1310.2743 [pdf, other]

Title: Case Adaptation with Qualitative Algebras

Valmi Dufour-Lussier (INRIA Nancy - Grand Est / LORIA), Florence Le Ber (LHyGeS), Jean Lieber (INRIA Nancy - Grand Est / LORIA), Laura Martin (ASTER Mirecourt)

Journal-ref: International Joint Conferences on Artificial Intelligence (2013) 3002-3006

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1310.2797 [pdf, other]

Title: Lemma Mining over 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)

[13] arXiv:1310.2805 [pdf, other]

Title: MizAR 40 for Mizar 40

Cezary Kaliszyk, Josef Urban

Journal-ref: J. Automated Reasoning 55(3): 245-256 (2015)

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

[14] arXiv:1310.2955 [pdf, other]

Title: Spontaneous Analogy by Piggybacking on a Perceptual System

Marc Pickett, David W. Aha

Comments: Proceedings of the 35th Meeting of the Cognitive Science Society, 2013

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

[15] arXiv:1310.3174 [pdf, other]

Title: Multi-Armed Bandits for Intelligent Tutoring Systems

Benjamin Clement, Didier Roy, Pierre-Yves Oudeyer, Manuel Lopes

Journal-ref: Journal of Educational Data Mining, 7(2), 20-48 (2015)

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1310.4086 [pdf, other]

Title: A Computational Model of Two Cognitive Transitions Underlying Cultural Evolution

Liane Gabora, Wei Wen Chia, Hadi Firouzi

Comments: arXiv admin note: text overlap with arXiv:1309.7407, arXiv:1308.5032, arXiv:1310.3781

Journal-ref: (2013). Proceedings of the Annual Meeting of the Cognitive Science Society. July 31-3, Berlin. Austin TX: Cognitive Science Society

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1310.4156 [pdf, other]

Title: Validation Rules for Assessing and Improving SKOS Mapping Quality

Hong Sun, Jos De Roo, Marc Twagirumukiza, Giovanni Mels, Kristof Depraetere, Boris De Vloed, Dirk Colaert

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL)

[18] arXiv:1310.4342 [pdf, other]

Title: An Extensive Report on Cellular Automata Based Artificial Immune System for Strengthening Automated Protein Prediction

Pokkuluri Kiran Sree, Inampudi Ramesh Babuhor, SSSN Usha Devi N3

Comments: arXiv admin note: text overlap with arXiv:0801.4312 by other authors

Journal-ref: Advances in Biomedical Engineering Research (ABER) Volume 1 Issue 3, September 2013

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)

[19] arXiv:1310.4986 [pdf, other]

Title: Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach

Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati

Comments: Preprint of TAFA'13 post proceedings

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1310.5793 [pdf, other]

Title: Intelligent City Traffic Management and Public Transportation System

Snehal Mulay, Chinmay Dhekne, Rucha Bapat, Tanmay Budukh, Soham Gadgil

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 10, Issue 3, No 1, May 2013 ISSN (Print): 1694-0814 | ISSN (Online): 1694-0784 Reference: IJCSI-10-3-1-46-50

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

[21] arXiv:1310.6323 [pdf, other]

Title: Logic in the Lab

Rineke Verbrugge

Comments: 2 pages, Plenary talk at TARK 2013 (arXiv:1310.6382) this http URL

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

[22] arXiv:1310.6429 [pdf, other]

Title: Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Jerome Lang, Bruno Zanuttini

Comments: 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) this http URL

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

[23] arXiv:1310.6432 [pdf, other]

Title: When is an Example a Counterexample?

Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn

Comments: 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) this http URL

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1310.6775 [pdf, other]

Title: Durkheim Project Data Analysis Report

Linas Vepstas

Comments: 43 pages, to appear as appendix of primary science publication Poulin, et al "Predicting the risk of suicide by analyzing the text of clinical notes"

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

[25] arXiv:1310.7115 [pdf, other]

Title: Studying a Chaotic Spiking Neural Model

Mohammad Alhawarat, Waleed Nazih, Mohammad Eldesouki

Comments: Journal, 13 pages

Journal-ref: International Journal of Artificial Intelligence & Applications (IJAIA), Vol. 4, No. 5, September 2013

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

[26] arXiv:1310.7367 [pdf, other]

Title: Semantic Description of Web Services

Thabet Slimani

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 10, Issue 1, No 3, January 2013, ISSN (Print): 1694-0784 | ISSN (Online): 1694-0814

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1310.7442 [pdf, other]

Title: Ranking basic belief assignments in decision making under uncertain environment

Yuxian Du, Shiyu Chen, Yong Hu, Felix T.S. Chan, Sankaran Mahadevan, Yong Deng

Comments: 16 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1310.7828 [pdf, other]

Title: A Complete Parameterized Complexity Analysis of Bounded Planning

Christer Baeckstroem, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider

Comments: The paper is a combined and extended version of the papers "The Complexity of Planning Revisited - A Parameterized Analysis" (AAAI 2012, arXiv:1208.2566) and "Parameterized Complexity and Kernel Bounds for Hard Planning Problems" (CIAC 2013, arXiv:1211.0479)

Journal-ref: Proc. AAAI'12, pp. 1735-1741, AAAI Press 2012 and Proc. CIAC'13, pp. 13-24, Springer

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

[29] arXiv:1310.8120 [pdf, other]

Title: On the Tractability of Minimal Model Computation for Some CNF Theories

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli

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

[30] arXiv:1310.8588 [pdf, other]

Title: A Meta-heuristically Approach of the Spatial Assignment Problem of Human Resources in Multi-sites Enterprise

Tkatek Said, Abdoun Otman, Abouchabaka Jaafar, Rafalia Najat

Journal-ref: International Journal of Computer Applications (0975 - 8887) Volume 78 - Number 7 September 2013

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1310.8599 [pdf, other]

Title: Information Compression, Intelligence, Computing, and Mathematics

J. Gerard Wolff

Subjects: Artificial Intelligence (cs.AI)

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

Title: Learning Lambek grammars from proof frames

Roberto Bonato, Christian Retoré

Comments: A revised version will appear in a volume in honour of Lambek 90th birthday

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

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

Title: The SAT-UNSAT transition in the adversarial SAT problem

Marco Bardoscia, Daniel Nagaj, Antonello Scardicchio

Comments: 13 pages, 8 figures

Journal-ref: Phys. Rev. E 89, 032128 (2014)

Subjects: Computational Complexity (cs.CC); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: GOTCHA Password Hackers!

Jeremiah Blocki, Manuel Blum, Anupam Datta

Comments: 2013 ACM Workshop on Artificial Intelligence and Security (AISec)

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

[35] arXiv:1310.1187 (cross-list from stat.ML) [pdf, other]

Title: Labeled Directed Acyclic Graphs: a generalization of context-specific independence in directed graphical models

Johan Pensar, Henrik Nyman, Timo Koski, Jukka Corander

Comments: 26 pages, 17 figures

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

[36] arXiv:1310.1537 (cross-list from stat.CO) [pdf, other]

Title: SIMD Parallel MCMC Sampling with Applications for Big-Data Bayesian Analytics

Alireza S. Mahani, Mansour T.A. Sharabiani

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

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

Title: Cross-lingual Pseudo-Projected Expectation Regularization for Weakly Supervised Learning

Mengqiu Wang, Christopher D. Manning

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

[38] arXiv:1310.2098 (cross-list from cs.IT) [pdf, other]

Title: A short note on the axiomatic requirements of uncertainty measure

Xinyang Deng, Yong Deng

Comments: 4 pages, 1 figure

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

[39] arXiv:1310.2627 (cross-list from stat.ML) [pdf, other]

Title: A Sparse and Adaptive Prior for Time-Dependent Model Parameters

Dani Yogatama, Bryan R. Routledge, Noah A. Smith

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

[40] arXiv:1310.3225 (cross-list from quant-ph) [pdf, other]

Title: A Turing test for free will

Seth Lloyd

Comments: 20 pages, plain TeX

Journal-ref: Phil. Trans. Roy. Soc. A 28, 3597-3610 (2012)

Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); History and Philosophy of Physics (physics.hist-ph)

[41] arXiv:1310.3692 (cross-list from nlin.AO) [pdf, other]

Title: Changing the Environment based on Intrinsic Motivation

Christoph Salge, Daniel Polani

Comments: 3 page, 1 figure, extended abstract of work presented at the Workshop for "Guided Self-Organization" 2013 (this http URL)

Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[42] arXiv:1310.3781 (cross-list from cs.MA) [pdf, other]

Title: An Agent-based Model of the Cognitive Mechanisms Underlying the Origins of Creative Cultural Evolution

Liane Gabora, Maryam Saberi

Comments: 8 pages. arXiv admin note: text overlap with arXiv:1308.5032, arXiv:1005.1516, arXiv:1309.7407, arXiv:0911.2390, arXiv:0811.2551, arXiv:1310.0522

Journal-ref: (2011). In A. Goel, F. Harrell, B. Magerko, & J. Prophet (Eds.), Proceedings of the 8th ACM Conference on Cognition & Creativity (pp. 299-306). New York: Association for Computing Machinery (ACM)

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

[43] arXiv:1310.4756 (cross-list from cs.LO) [pdf, other]

Title: Effectiveness of pre- and inprocessing for CDCL-based SAT solving

Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer

Comments: 9 pages, 4 figures

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

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

Title: A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge

Andreas Wotzlaw, Ravi Coote

Comments: 25 pages, 10 figures

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: Distributional semantics beyond words: Supervised learning of analogy and paraphrase

Peter D. Turney

Journal-ref: Transactions of the Association for Computational Linguistics (TACL), (2013), 1, 353-366

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

[46] arXiv:1310.5288 (cross-list from stat.ML) [pdf, other]

Title: GPatt: Fast Multidimensional Pattern Extrapolation with Gaussian Processes

Andrew Gordon Wilson, Elad Gilboa, Arye Nehorai, John P. Cunningham

Comments: 13 Pages, 9 Figures, 1 Table. Submitted for publication

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

[47] arXiv:1310.5463 (cross-list from cs.DB) [pdf, other]

Title: Engineering Crowdsourced Stream Processing Systems

Muhammad Imran, Ioanna Lykourentzou, Yannick Naudet, Carlos Castillo

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

[48] arXiv:1310.5488 (cross-list from astro-ph.IM) [pdf, other]

Title: A practical approach to ontology-enabled control systems for astronomical instrumentation

Wim Pessemier, Gert Raskin, Hans Van Winckel, Geert Deconinck, Philippe Saey

Comments: Proceedings of ICALEPCS 2013

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[49] arXiv:1310.5781 (cross-list from cs.RO) [pdf, other]

Title: RANSAC: Identification of Higher-Order Geometric Features and Applications in Humanoid Robot Soccer

Madison Flannery, Shannon Fenn, David Budden

Comments: 8 pages, 6 figures

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

[50] arXiv:1310.6257 (cross-list from cs.DB) [pdf, other]

Title: Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems

Wolfgang Gatterbauer, Dan Suciu

Comments: 33 pages, 27 figures, pre-print for VLDBJ full version of arXiv:1412.1069 [PVLDB 8(5):629-640, 2015: "Approximate lifted inference with probabilistic databases", this http URL ]. Former working title: "Dissociation and Propagation for Efficient Query Evaluation over Probabilistic Databases"

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

[51] arXiv:1310.6288 (cross-list from stat.ML) [pdf, other]

Title: Spatial-Spectral Boosting Analysis for Stroke Patients' Motor Imagery EEG in Rehabilitation Training

Hao Zhang, Liqing Zhang

Comments: 10 pages,3 figures

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

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

Title: Provable Bounds for Learning Some Deep Representations

Sanjeev Arora, Aditya Bhaskara, Rong Ge, Tengyu Ma

Comments: The first 18 pages serve as an extended abstract and a 36 pages long technical appendix follows

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

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

Title: Generalized Thompson Sampling for Contextual Bandits

Lihong Li

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

[54] arXiv:1310.7610 (cross-list from cs.DC) [pdf, other]

Title: Distributed Reinforcement Learning via Gossip

Adwaitvedant S. Mathkar, Vivek S. Borkar

Comments: 18 pages, 3 figures, Submitted to Discrete Event Dynamic Systems

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

[55] arXiv:1310.7682 (cross-list from q-bio.NC) [pdf, other]

Title: Contextualizing concepts using a mathematical generalization of the quantum formalism

Liane Gabora, Diederik Aerts

Comments: 31 pages. arXiv admin note: substantial text overlap with arXiv:quant-ph/0205161

Journal-ref: Journal of Experimental and Theoretical Artificial Intelligence, 14(4), 327-358

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

[56] arXiv:1310.7950 (cross-list from cs.SY) [pdf, other]

Title: Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

Austin Jones, Mac Schwager, Calin Belta

Comments: More expanded version of "Distribution Temporal Logic: Combining Correctness with Quality of Estimation" to appear in IEEE CDC 2013

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: Evaluation the efficiency of artificial bee colony and the firefly algorithm in solving the continuous optimization problem

Seyyed Reza Khaze, Isa maleki, Sohrab Hojjatkhah, Ali Bagherinia

Journal-ref: International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.4, August 2013

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

[58] arXiv:1310.7981 (cross-list from q-bio.NC) [pdf, other]

Title: Toward a Formal Model of the Shifting Relationship between Concepts and Contexts during Associative Thought

Tomas Veloz, Liane Gabora, Mark Eyjolfson, Diederik Aerts

Comments: 11 pages; 2 figures

Journal-ref: (2011). Lecture Notes in Computer Science 7052: Proceedings Fifth International Symposium on Quantum Interaction. June 27-29, Aberdeen, UK. Berlin: Springer

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

[59] arXiv:1310.8583 (cross-list from cs.CE) [pdf, other]

Title: A Hybrid Local Search for Simplified Protein Structure Prediction

Swakkhar Shatabda, M.A. Hakim Newton, Duc Nghia Pham, Abdul Sattar

Journal-ref: Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11 - 14 February, 2013. SciTePress 2013 ISBN 978-989-8565-35-8 pages:158-163

Subjects: Computational Engineering, Finance, and Science (cs.CE); Artificial Intelligence (cs.AI)