Artificial Intelligence

Authors and titles for June 2015

[41] arXiv:1506.05851 [pdf, other]

Title: Smart Pacing for Effective Online Ad Campaign Optimization

Jian Xu, Kuang-chih Lee, Wentong Li, Hang Qi, Quan Lu

Comments: KDD'15, August 10-13, 2015, Sydney, NSW, Australia

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

[42] arXiv:1506.05908 [pdf, other]

Title: Deep Knowledge Tracing

Chris Piech, Jonathan Spencer, Jonathan Huang, Surya Ganguli, Mehran Sahami, Leonidas Guibas, Jascha Sohl-Dickstein

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

[43] arXiv:1506.05969 [pdf, other]

Title: HuTO: an Human Time Ontology for Semantic Web Applications

Papa Fary Diallo (WIMMICS), Olivier Corby (WIMMICS), Isabelle Mirbel (WIMMICS), Moussa Lo, Seydina M. Ndiaye

Comments: in French. Ing{é}nierie des Connaissances 2015, Jul 2015, Rennes, France. Association Française pour Intelligence Artificielle (AFIA)

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1506.06646 [pdf, other]

Title: Nonparametric Bayesian Double Articulation Analyzer for Direct Language Acquisition from Continuous Speech Signals

Tadahiro Taniguchi, Ryo Nakashima, Shogo Nagasaka

Comments: 15 pages, 7 figures, Draft submitted to IEEE Transactions on Autonomous Mental Development (TAMD)

Journal-ref: IEEE Transactions on Cognitive and Developmental Systems, vol. 8, no. 3, pp. 171-185, 2016

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

[45] arXiv:1506.07116 [pdf, other]

Title: Scientific Discovery by Machine Intelligence: A New Avenue for Drug Research

Carlo A. Trugenberger

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[46] arXiv:1506.07359 [pdf, other]

Title: Sequential Extensions of Causal and Evidential Decision Theory

Tom Everitt, Jan Leike, Marcus Hutter

Comments: ADT 2015

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1506.07990 [pdf, other]

Title: Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen

Journal-ref: Synthese 194(7): 2447-2487 (2017)

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

[48] arXiv:1506.08009 [pdf, other]

Title: Skopus: Mining top-k sequential patterns under leverage

Francois Petitjean, Tao Li, Nikolaj Tatti, Geoffrey I. Webb

Journal-ref: Data Mining and Knowledge Discovery, September 2016, Volume 30, Issue 5, pp 1086-1111

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

[49] arXiv:1506.08030 [pdf, other]

Title: Dynamic Bayesian Ontology Languages

İsmail İlkan Ceylan, Rafael Peñaloza

Comments: Fifth International Workshop on Statistical Relational AI (StarAI'2015)

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

[50] arXiv:1506.08813 [pdf, other]

Title: Argumentation Semantics for Prioritised Default Logic

Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues

Comments: 46 pages, 4 figures

Subjects: Artificial Intelligence (cs.AI)

[51] arXiv:1506.08919 [pdf, other]

Title: Characterization of Logic Program Revision as an Extension of Propositional Revision

Nicolas Schwind, Katsumi Inoue

Comments: 42 pages, 5 figures, to appear in Theory and Practice of Logic Programming (accepted in June 2015)

Journal-ref: Theory and Practice of Logic Programming 16 (2016) 111-138

Subjects: Artificial Intelligence (cs.AI)

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

Title: Recurrent Neural Networks with External Memory for Language Understanding

Baolin Peng, Kaisheng Yao

Comments: submitted to Interspeech 2015

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

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

Title: Learning Regular Languages over Large Ordered Alphabets

Irini-Eleftheria Mens (CNRS-VERIMAG), Oded Maler (CNRS-VERIMAG)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1589

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

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

Title: Discovering Valuable Items from Massive Data

Hastagiri P. Vanchinathan, Andreas Marfurt, Charles-Antoine Robelin, Donald Kossmann, Andreas Krause

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

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

Title: Homogeneous Spiking Neuromorphic System for Real-World Pattern Recognition

Xinyu Wu, Vishal Saxena, Kehan Zhu

Comments: This is a preprint of an article accepted for publication in IEEE Journal on Emerging and Selected Topics in Circuits and Systems, vol 5, no. 2, June 2015

Journal-ref: IEEE Journal on Emerging and Selected Topics in Circuits and Systems, vol 5, no. 2, June 2015

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Emerging Technologies (cs.ET)

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

Title: Traversing Knowledge Graphs in Vector Space

Kelvin Guu, John Miller, Percy Liang

Comments: 2015 Conference on Empirical Methods on Natural Language Processing (EMNLP)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Databases (cs.DB); Machine Learning (stat.ML)

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

Title: A Game-Theoretic Model and Best-Response Learning Method for Ad Hoc Coordination in Multiagent Systems

Stefano V. Albrecht, Subramanian Ramamoorthy

Comments: Technical Report, The University of Edinburgh, 2013

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

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

Title: Summarization of Films and Documentaries Based on Subtitles and Scripts

Marta Aparício, Paulo Figueiredo, Francisco Raposo, David Martins de Matos, Ricardo Ribeiro, Luís Marujo

Comments: 7 pages, 9 tables, 4 figures, submitted to Pattern Recognition Letters (Elsevier)

Journal-ref: Pattern Recognition Letters, Volume 73, 1 April 2016, Pages 7-12

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

[59] arXiv:1506.01326 (cross-list from math.NA) [pdf, other]

Title: Probabilistic Numerics and Uncertainty in Computations

Philipp Hennig, Michael A Osborne, Mark Girolami

Comments: Author Generated Postprint. 17 pages, 4 Figures, 1 Table

Subjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Computation (stat.CO); Machine Learning (stat.ML)

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

Title: Abstractive Multi-Document Summarization via Phrase Selection and Merging

Lidong Bing, Piji Li, Yi Liao, Wai Lam, Weiwei Guo, Rebecca J. Passonneau

Comments: 11 pages, 1 figure, accepted as a full paper at ACL 2015

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

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

Title: Beyond Temporal Pooling: Recurrence and Temporal Convolutions for Gesture Recognition in Video

Lionel Pigou, Aäron van den Oord, Sander Dieleman, Mieke Van Herreweghe, Joni Dambre

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

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

Title: Selective Greedy Equivalence Search: Finding Optimal Bayesian Networks Using a Polynomial Number of Score Evaluations

David Maxwell Chickering, Christopher Meek

Comments: Full version of UAI paper

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

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

Title: Visual Learning of Arithmetic Operations

Yedid Hoshen, Shmuel Peleg

Comments: To appear in AAAI 2016

Journal-ref: Proc. AAAI'16, Phoenix, Feb. 2016, pp. 3733-3739

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

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

Title: NP-hardness of sortedness constraints

Irena Rusu

Comments: 15 pages, 4 figures

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

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

Title: Self Organizing Maps Whose Topologies Can Be Learned With Adaptive Binary Search Trees Using Conditional Rotations

César A. Astudillo, B. John Oommen

Journal-ref: C\'esar A. Astudillo and B. John Oommen. Self Organizing Maps Whose Topologies Can Be Learned With Adaptive Binary Search Trees Using Conditional Rotations. Pattern Recognition, 47(1), 2014

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