Artificial Intelligence

Authors and titles for December 2014

[26] arXiv:1412.4485 [pdf, other]

Title: Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier

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

[27] arXiv:1412.4802 [pdf, other]

Title: Neutrosophic information in the framework of multi-valued representation

Vasile Patrascu

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1412.4972 [pdf, other]

Title: Max-Product Belief Propagation for Linear Programming: Applications to Combinatorial Optimization

Sejun Park, Jinwoo Shin

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1412.5077 [pdf, other]

Title: A Multi-criteria neutrosophic group decision making metod based TOPSIS for supplier selection

Rıdvan Şahin, Muhammed Yiğider

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

[30] arXiv:1412.5202 [pdf, other]

Title: Multi-criteria neutrosophic decision making method based on score and accuracy functions under neutrosophic environment

Rıdvan Şahin

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1412.5980 [pdf, other]

Title: GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry

Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda

Comments: The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1412.5984 [pdf, other]

Title: Stochastic Local Search for Pattern Set Mining

Muktadir Hossain, Tajkia Tasnim, Swakkhar Shatabda, Dewan M. Farid

Comments: The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1412.6060 [pdf, other]

Title: Combinatorial Structure of the Deterministic Seriation Method with Multiple Subset Solutions

Mark E. Madsen, Carl P. Lipo

Comments: 8 pages, 2 figures

Subjects: Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

[34] arXiv:1412.6141 [pdf, other]

Title: Efficient Decision-Making by Volume-Conserving Physical Object

Song-Ju Kim, Masashi Aono, Etsushi Nameda

Comments: 5 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Adaptation and Self-Organizing Systems (nlin.AO); Data Analysis, Statistics and Probability (physics.data-an)

[35] arXiv:1412.6413 [pdf, other]

Title: Towards a Consistent, Sound and Complete Conceptual Knowledge

Gowri Shankar Ramaswamy, F Sagayaraj Francis

Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V17(2):61-63, Nov 2014

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1412.6545 [pdf, other]

Title: KF metamodel formalization

Pablo R. Fillottrani, C. Maria Keet

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

[37] arXiv:1412.6649 [pdf, other]

Title: Qualitative shape representation based on the qualitative relative direction and distance calculus eOPRAm

Christopher H. Dorr, Reinhard Moratz

Subjects: Artificial Intelligence (cs.AI); Graphics (cs.GR)

[38] arXiv:1412.6703 [pdf, other]

Title: Quantifying Natural and Artificial Intelligence in Robots and Natural Systems with an Algorithmic Behavioural Test

Hector Zenil

Comments: 21 pages, Springer Cosmos Series Book on Metrics of sensory motor integration in robots and animals

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

[39] arXiv:1412.6973 [pdf, other]

Title: Decision-theoretic rough sets-based three-way approximations of interval-valued fuzzy sets

Guangming Lang

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1412.7585 [pdf, other]

Title: Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies

Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka

Journal-ref: International Journal of Intelligence Science, Vol. 5 No. 1, 44-62, 2015

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1412.7961 [pdf, other]

Title: Reasoning for Improved Sensor Data Interpretation in a Smart Home

Marjan Alirezaie, Amy Loutfi

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 1-12

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1412.7964 [pdf, other]

Title: Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation

Loris Bozzato, Luciano Serafini

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 13-24

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1412.7965 [pdf, other]

Title: Adding Context to Knowledge and Action Bases

Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 25-36

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1412.7967 [pdf, other]

Title: Different Types of Conflicting Knowledge in AmI Environments

Martin Homola, Theodore Patkos

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 37-43

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1412.7968 [pdf, other]

Title: Context-Aware Analytics in MOM Applications

Martin Ringsquandl, Steffen Lamparter, Raffaello Lepratti

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 44-49

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1412.7978 [pdf, other]

Title: The Computational Theory of Intelligence: Information Entropy

Daniel Kovach

Comments: Published at this http URL

Journal-ref: International Journal of Modern Nonlinear Theory and Application, 3, 182-190 (2014)

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

[47] arXiv:1412.8529 [pdf, other]

Title: A note about the generalisation of the C-tests

Jose Hernandez-Orallo

Comments: 16 pages

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1412.8531 [pdf, other]

Title: Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

Michael Fink, Martin Homola, Alessandra Mileo

Comments: ARCOE-Logic 2014, 5 papers

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1412.8704 [pdf, other]

Title: Quantum Structure in Cognition and the Foundations of Human Reasoning

Diederik Aerts, Sandro Sozzo, Tomas Veloz

Comments: 11 pages, no figures

Journal-ref: International Journal of Theoretical Physics, 54, pp 4557-4569, 2015

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

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

Title: Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas

Yuping Shen, Xishun Zhao

Comments: This is an extended version of a conference paper with the same name in KR2014

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

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

Title: Fuzzy human motion analysis: A review

Chern Hong Lim, Ekta Vats, Chee Seng Chan

Comments: Accepted in Pattern Recognition, first survey paper that discusses and reviews fuzzy approaches towards HMA

Journal-ref: Pattern Recognition 48(5) 2015 1773-1796

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

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

Title: A CSP implementation of the bigraph embedding problem

Marino Miculan, Marco Peressotti

Comments: arXiv admin note: text overlap with arXiv:1503.02434

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

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

Title: Approximate Lifted Inference with Probabilistic Databases

Wolfgang Gatterbauer, Dan Suciu

Comments: 12 pages, 5 figures, pre-print for a paper appearing in VLDB 2015. arXiv admin note: text overlap with arXiv:1310.6257

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

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

Title: Highly comparative fetal heart rate analysis

B. D. Fulcher, A. E. Georgieva, C. W. G. Redman, Nick S. Jones

Comments: 7 pages, 4 figures

Journal-ref: Fulcher, B. D., Georgieva, A., Redman, C. W., & Jones, N. S. (2012). Highly comparative fetal heart rate analysis (pp. 3135-3138). Presented at the 34th Annual International Conference of the IEEE EMBS, San Diego, CA, USA

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Quantitative Methods (q-bio.QM)

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

Title: Symmetric Weighted First-Order Model Counting

Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu

Comments: To appear at PODS'15

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

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

Title: Knowledge, Justification, and Adequate Reasons

Paul Égré, Paul Marty, Bryan Renne

Comments: v3 edits acknowledgments

Journal-ref: The Review of Symbolic Logic, 14(3), 687-727. 2021

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

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

Title: Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images

Anh Nguyen, Jason Yosinski, Jeff Clune

Comments: To appear at CVPR 2015

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

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

Title: Non-Verbal Communication Analysis in Victim-Offender Mediations

Víctor Ponce-López, Sergio Escalera, Marc Pérez, Oriol Janés, Xavier Baró

Comments: Please, find the supplementary video material at: this http URL

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

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

Title: Using Artificial Neural Network Techniques for Prediction of Electric Energy Consumption

Hasan M. H. Owda, Babatunji Omoniwa, Ahmad R. Shahid, Sheikh Ziauddin

Comments: 10 pages, 5 figures, Journal

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

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

Title: Declarative Statistical Modeling with Datalog

Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena

Comments: 14 pages, 4 figures

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

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

Title: Visual Causal Feature Learning

Krzysztof Chalupka, Pietro Perona, Frederick Eberhardt

Comments: Accepted at UAI 2015

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

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

Title: A New Approach of Learning Hierarchy Construction Based on Fuzzy Logic

Ali Aajli, Karim Afdel

Comments: 58-66

Journal-ref: Journal of Engineering Research and Applications,ISSN : 2248-9622, Vol. 4, Issue 10( Part - 3), October 2014, pp.58-66

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

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

Title: Unsupervised Induction of Semantic Roles within a Reconstruction-Error Minimization Framework

Ivan Titov, Ehsan Khoddam

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

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

Title: Phishing Detection in IMs using Domain Ontology and CBA - An innovative Rule Generation Approach

Mohammad S. Qaseem, A. Govardhan

Comments: 20 pages, 4 figures

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Information Retrieval (cs.IR)

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

Title: Hierarchical Mixture-of-Experts Model for Large-Scale Gaussian Process Regression

Jun Wei Ng, Marc Peter Deisenroth

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

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

Title: A tool for implementation of a domain model based on fuzzy relationships

Ali Aajli, Karim Afdel

Comments: 61-65

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

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

Title: Logic of temporal attribute implications

Jan Triska, Vilem Vychodil

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

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

Title: Feature Weight Tuning for Recursive Neural Networks

Jiwei Li

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

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

Title: Distinguishing cause from effect using observational data: methods and benchmarks

Joris M. Mooij, Jonas Peters, Dominik Janzing, Jakob Zscheischler, Bernhard Schölkopf

Comments: 101 pages, second revision submitted to Journal of Machine Learning Research

Journal-ref: Journal of Machine Learning Research 17(32):1-102, 2016

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

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

Title: On the Inductive Bias of Dropout

David P. Helmbold, Philip M. Long

Journal-ref: Journal of Machine Learning Research, 16, 3403-3454 (2015). (See http://jmlr.org/papers/volume16/helmbold15a/helmbold15a.pdf.)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Statistics Theory (math.ST); Machine Learning (stat.ML)

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

Title: Belief as Willingness to Bet

Jan van Eijck, Bryan Renne

Comments: Removed date from v1 to avoid confusion on citation/reference, otherwise identical to v1

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

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

Title: Are We Ready for Driver-less Vehicles? Security vs. Privacy- A Social Perspective

Anish Acharya

Comments: 17 Pages, 5 Figures

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

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

Title: Learning unbiased features

Yujia Li, Kevin Swersky, Richard Zemel

Comments: Published in NIPS 2014 Workshop on Transfer and Multitask Learning, see this http URL

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

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

Title: Towards a constructive multilayer perceptron for regression task using non-parametric clustering. A case study of Photo-Z redshift reconstruction

Cyrine Arouri, Engelbert Mephu Nguifo, Sabeur Aridhi, Cécile Roucelle, Gaelle Bonnet-Loosli, Norbert Tsopzé

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

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

Title: Intelligent Indoor Mobile Robot Navigation Using Stereo Vision

Arjun B. Krishnan, Jayaram Kollipara

Comments: 9 pages, SIPIJ August 2014

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