Artificial Intelligence

Authors and titles for December 2014

[1] arXiv:1412.0315 [pdf, other]

Title: Lifted Probabilistic Inference for Asymmetric Graphical Models

Guy Van den Broeck, Mathias Niepert

Comments: To appear in Proceedings of AAAI-2015

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1412.0691 [pdf, other]

Title: RoboBrain: Large-Scale Knowledge Engine for Robots

Ashutosh Saxena, Ashesh Jain, Ozan Sener, Aditya Jami, Dipendra K. Misra, Hema S. Koppula

Comments: 10 pages, 9 figures

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

[3] arXiv:1412.0773 [pdf, other]

Title: Expressiveness of Logic Programs under General Stable Model Semantics

Heng Zhang, Yan Zhang

Comments: Technical report, an extended version of arXiv:1304.0620

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

[4] arXiv:1412.0854 [pdf, other]

Title: Semantic HMC for Big Data Analysis

Thomas Hassan (Le2i), Rafael Peixoto, Christophe Cruz (Le2i), Aurlie Bertaux (Le2i), Nuno Silva

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1412.1044 [pdf, other]

Title: Problem Theory

Ramón Casares

Comments: 43 pages

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1412.1913 [pdf, other]

Title: A Portfolio Approach to Algorithm Selection for Discrete Time-Cost Trade-off Problem

Santosh Mungle

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1412.2114 [pdf, other]

Title: Chases and Escapes, and Optimization Problems

Toru Ohira

Comments: 3 pages, 4 figures. To appear in the Proceedings of the International Symposium on Artificial Life and Robotics (AROB20th), Beppu, Oita Japan, January 21-23, 2015

Journal-ref: Artificial Life Robotics (2015) 20: 257

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1412.2226 [pdf, other]

Title: Possible and Necessary Allocations via Sequential Mechanisms

Haris Aziz, Toby Walsh, Lirong Xia

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

[9] arXiv:1412.2328 [pdf, other]

Title: On the Behavioural Formalization of the Cognitive Middleware AWDRAT

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe

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

[10] arXiv:1412.2620 [pdf, other]

Title: Cells in Multidimensional Recurrent Neural Networks

G. Leifert, T. Strauß, T. Grüning, R. Labahn (University of Rostock)

Journal-ref: Journal of Machine Learning Research 17 (2016) 1-37

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

[11] arXiv:1412.2672 [pdf, other]

Title: When Computer Vision Gazes at Cognition

Tao Gao, Daniel Harari, Joshua Tenenbaum, Shimon Ullman

Comments: Tao Gao and Daniel Harari contributed equally to this work

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

[12] arXiv:1412.2824 [pdf, other]

Title: Plan or not: Remote Human-robot Teaming with Incomplete Task Information

Vignesh Narayanan, Yu Zhang, Nathaniel Mendoza, Subbarao Kambhampati

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

[13] arXiv:1412.2985 [pdf, other]

Title: Cause, Responsibility, and Blame: oA Structural-Model Approach

Joseph Y. Halpern

Comments: To appear, Law, Probability, and Risk

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1412.3076 [pdf, other]

Title: The Computational Complexity of Structure-Based Causality

Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

Comments: Appears in AAAI 2015

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1412.3079 [pdf, other]

Title: Computoser - rule-based, probability-driven algorithmic music composition

Bozhidar Bozhanov

Comments: 5 pages

Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD)

[16] arXiv:1412.3137 [pdf, other]

Title: Rule reasoning for legal norm validation of FSTP facts

Naouel Karam, Shashishekar Ramakrishna, Adrian Paschke

Comments: 1st International workshop on Artificial Intelligence and IP Law, AIIP- Jurix 2012- Amsterdam

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1412.3138 [pdf, other]

Title: Computational Protein Design Using AND/OR Branch-and-Bound Search

Yichao Zhou, Yuexin Wu, Jianyang Zeng

Comments: RECOMB 2015

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

[18] arXiv:1412.3191 [pdf, other]

Title: Bach in 2014: Music Composition with Recurrent Neural Network

I-Ting Liu, Bhiksha Ramakrishnan

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

[19] arXiv:1412.3279 [pdf, other]

Title: The category of networks of ontologies

Jérôme Euzenat (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1412.3409 [pdf, other]

Title: Teaching Deep Convolutional Neural Networks to Play Go

Christopher Clark, Amos Storkey

Comments: 9 pages, 8 figures, 5 tables. Corrected typos, minor adjustment to table format

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

[21] arXiv:1412.3518 [pdf, other]

Title: Appropriate Causal Models and the Stability of Causation

Joseph Y. Halpern

Comments: A preliminary version of this paper appears in the Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)}, 2014. To appear, Review of Symbolic Logic

Journal-ref: The Review of Symbolic Logic 9 (2016) 76-102

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1412.3802 [pdf, other]

Title: Turing Test for the Internet of Things

Neil Rubens

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1412.3908 [pdf, other]

Title: Belief revision in the propositional closure of a qualitative algebra

Valmi Dufour-Lussier (INRIA Nancy - Grand Est / LORIA), Alice Hermann (INRIA Nancy - Grand Est / LORIA), Florence Le Ber (ICube), Jean Lieber (INRIA Nancy - Grand Est / LORIA)

Journal-ref: 14th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienne, Austria. AAAI Press, pp.4

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1412.4271 [pdf, other]

Title: Multi-Context Models for Reasoning under Partial Knowledge: Generative Process and Inference Grammar

Ardavan Salehi Nobandegani, Ioannis N. Psaromiligkos

Comments: To appear in the Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI 2015)

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO); Probability (math.PR); Machine Learning (stat.ML)

[25] arXiv:1412.4465 [pdf, other]

Title: Generating Graphical Chain by Mutual Matching of Bayesian Network and Extracted Rules of Bayesian Network Using Genetic Algorithm

Mostafa Sepahvand, Ghasem Alikhajeh, Meysam Ghaffari, Abdolreza Mirzaei

Subjects: Artificial Intelligence (cs.AI)