Artificial Intelligence

Authors and titles for July 2013

[1] arXiv:1307.0060 [pdf, other]

Title: Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs

Vikash K. Mansinghka, Tejas D. Kulkarni, Yura N. Perov, Joshua B. Tenenbaum

Comments: The first two authors contributed equally to this work

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

[2] arXiv:1307.0339 [pdf, other]

Title: Syntactic sensitive complexity for symbol-free sequence

Cheng-Yuan Liou, Bo-Shiang Huang, Daw-Ran Liou, Alex A. Simak

Comments: 11 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1307.0845 [pdf, other]

Title: The SP theory of intelligence: benefits and applications

J Gerard Wolff

Comments: arXiv admin note: substantial text overlap with arXiv:1212.0229

Journal-ref: J G Wolff, Information, 5 (1), 1-27, 2014

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1307.1070 [pdf, other]

Title: A Comparison of Non-stationary, Type-2 and Dual Surface Fuzzy Control

Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi

Comments: 2011 IEEE International Conference on Fuzzy Systems, pp 1193-1200

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

[5] arXiv:1307.1388 [pdf, other]

Title: Introducing Memory and Association Mechanism into a Biologically Inspired Visual Model

Qiao Hong, Li Yinlin, Tang Tang, Wang Peng

Comments: 9 pages, 10 figures

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1307.1482 [pdf, other]

Title: Towards Combining HTN Planning and Geometric Task Planning

Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami

Comments: RSS Workshop on Combined Robot Motion Planning and AI Planning for Practical Applications, June 2013

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1307.1568 [pdf, other]

Title: Using MathML to Represent Units of Measurement for Improved Ontology Alignment

Chau Do, Eric J. Pauwels

Comments: Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, England

Journal-ref: CICM 2013, LNAI (7961), Springer, 2013

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1307.1790 [pdf, other]

Title: Lifting Structural Tractability to CSP with Global Constraints

Evgenij Thorstensen

Comments: To appear in proceedings of CP'13, LNCS 8124

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1307.1890 [pdf, other]

Title: Solution of Rectangular Fuzzy Games by Principle of Dominance Using LR-type Trapezoidal Fuzzy Numbers

Arindam Chaudhuri

Comments: Proceedings of 2nd International Conference on Advanced Computing & Communication Technologies, Asia Pacific Institute of Information Technology, Panipat, Haryana, India, 2007

Subjects: Artificial Intelligence (cs.AI)

[10] arXiv:1307.1891 [pdf, other]

Title: A Comparative study of Transportation Problem under Probabilistic and Fuzzy Uncertainties

Arindam Chaudhuri, Kajal De

Comments: GANIT, Journal of Bangladesh Mathematical Society, Bangladesh Mathematical Society, Dhaka, Bangladesh, 2010 (In Press)

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1307.1893 [pdf, other]

Title: Trapezoidal Fuzzy Numbers for the Transportation Problem

Arindam Chaudhuri, Kajal De, Dipak Chatterjee, Pabitra Mitra

Comments: International Journal of Intelligent Computing and Applications, Volume 1, Number 2, 2009

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1307.1895 [pdf, other]

Title: Discovering Stock Price Prediction Rules of Bombay Stock Exchange Using Rough Fuzzy Multi Layer Perception Networks

Arindam Chaudhuri, Kajal De, Dipak Chatterjee

Comments: Book Chapter: Forecasting Financial Markets in India, Rudra P. Pradhan, Indian Institute of Technology Kharagpur, (Editor), Allied Publishers, India, 2009

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1307.1900 [pdf, other]

Title: Fuzzy Integer Linear Programming Mathematical Models for Examination Timetable Problem

Arindam Chaudhuri, Kajal De

Comments: International Journal of Innovative Computing, Information and Control (Special Issue), Volume 7, Number 5, 2011

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1307.1903 [pdf, other]

Title: Achieving greater Explanatory Power and Forecasting Accuracy with Non-uniform spread Fuzzy Linear Regression

Arindam Chaudhuri, Kajal De

Comments: Proceedings of 13th Conference of Society of Operations Management, Department of Management Studies, Indian Institute of Technology, Madras, Tamilnadu, India, 2009

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1307.1905 [pdf, other]

Title: A Dynamic Algorithm for the Longest Common Subsequence Problem using Ant Colony Optimization Technique

Arindam Chaudhuri

Comments: Proceedings of 2nd International Conference on Mathematics: Trends and Developments, Al Azhar University, Cairo, Egypt, 2007

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1307.2200 [pdf, other]

Title: Inconsistency and Accuracy of Heuristics with A* Search

Hang Dinh, Hieu Dinh

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1307.2541 [pdf, other]

Title: Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems

Mehul Bhatt, Jan Oliver Wallgruen

Comments: ISPRS International Journal of Geo-Information (ISSN 2220-9964); Special Issue on: Geospatial Monitoring and Modelling of Environmental Change}. IJGI. Editor: Duccio Rocchini. (pre-print of article in press)

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

[18] arXiv:1307.2704 [pdf, other]

Title: Applications of repeat degree on coverings of neighborhoods

Hua Yao, William Zhu

Comments: 14

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1307.2867 [pdf, other]

Title: Tractable Combinations of Global Constraints

David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Živný

Comments: To appear in proceedings of CP'13, LNCS 8124. arXiv admin note: text overlap with arXiv:1307.1790

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

[20] arXiv:1307.3040 [pdf, other]

Title: Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems

Mehul Bhatt

Comments: 5 pages, research statement summarising recent publications

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC); Robotics (cs.RO)

[21] arXiv:1307.3091 [pdf, other]

Title: Artificial Intelligence MArkup Language: A Brief Tutorial

Maria das Graças Bruno Marietto, Rafael Varago de Aguiar, Gislene de Oliveira Barbosa, Wagner Tanaka Botelho, Edson Pimentel, Robson dos Santos França, Vera Lúcia da Silva

Comments: International Journal of Computer science and engineering Survey (IJCSES) - 2013

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

[22] arXiv:1307.3195 [pdf, other]

Title: Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report

Davide Aversa, Stavros Vassos

Comments: 7 pages, for associated code repositories see this https URL and this https URL

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

[23] arXiv:1307.3435 [pdf, other]

Title: On Nicod's Condition, Rules of Induction and the Raven Paradox

Hadi Mohasel Afshar, Peter Sunehag

Comments: On raven paradox, Nicod's condition, projectability, induction

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1307.3585 [pdf, other]

Title: Improving MUC extraction thanks to local search

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure

Comments: 17 pages, 5 figures, 1 table, 3 algorithms, 33 references

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1307.3964 [pdf, other]

Title: Learning Markov networks with context-specific independences

Alejandro Edera, Federico Schlüter, Facundo Bromberg

Comments: 8 pages, 6 figures

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

[26] arXiv:1307.4440 [pdf, other]

Title: Parameterized Complexity Results for Plan Reuse

Ronald de Haan, Anna Roubíčková, Stefan Szeider

Comments: Proceedings of AAAI 2013, pp. 224-231, AAAI Press, 2013

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

[27] arXiv:1307.4689 [pdf, other]

Title: DASH: Dynamic Approach for Switching Heuristics

Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1307.5322 [pdf, other]

Title: Ontology alignment repair through modularization and confidence-based heuristics

Emanuel Santos, Daniel Faria, Cátia Pesquita, Francisco Couto

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1307.5910 [pdf, other]

Title: How to minimize the energy consumption in mobile ad-hoc networks

Abdellah Idrissi

Journal-ref: International Journal of Artificial Intelligence & Applications (IJAIA), Vol.3, No.2, March 2012

Subjects: Artificial Intelligence (cs.AI); Networking and Internet Architecture (cs.NI)

[30] arXiv:1307.6023 [pdf, other]

Title: The Use of Cuckoo Search in Estimating the Parameters of Software Reliability Growth Models

Dr. Najla Akram AL-Saati, Marwa Abd-AlKareem

Journal-ref: (IJCSIS) International Journal of Computer Science and Information Security, Vol. 11, No. 6, June 2013

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

[31] arXiv:1307.6291 [pdf, other]

Title: A novel approach of solving the CNF-SAT problem

Xili Wang

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

[32] arXiv:1307.6365 [pdf, other]

Title: Time-Series Classification Through Histograms of Symbolic Polynomials

Josif Grabocka, Martin Wistuba, Lars Schmidt-Thieme

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

[33] arXiv:1307.7351 [pdf, other]

Title: Knowledge Representation for Robots through Human-Robot Interaction

Emanuele Bastianelli, Domenico Bloisi, Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi

Comments: Knowledge Representation and Reasoning in Robotics Workshop at ICLP 2013

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

[34] arXiv:1307.7466 [pdf, other]

Title: Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report

Damien Jade Duff, Esra Erdem, Volkan Patoglu

Comments: Knowledge Representation and Reasoning in Robotics Workshop at ICLP 2013, Istanbul, Turkey

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

[35] arXiv:1307.7494 [pdf, other]

Title: ReAct! An Interactive Tool for Hybrid Planning in Robotics

Zeynep Dogmus, Esra Erdem, Volkan Patoglu

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

[36] arXiv:1307.7720 [pdf, other]

Title: Herding the Crowd: Automated Planning for Crowdsourced Planning

Kartik Talamadupula, Subbarao Kambhampati

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

[37] arXiv:1307.7808 [pdf, other]

Title: Automated Attack Planning

Carlos Sarraute (Instituto Tecnologico de Buenos Aires)

Comments: PhD Thesis. 171 pages

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

[38] arXiv:1307.7809 [pdf, other]

Title: Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration

Carlos Sarraute (1 and 2), Olivier Buffet (3), Joerg Hoffmann (3) ((1) Core Security Technologies, (2) ITBA (Instituto Tecnologico de Buenos Aires), (3) INRIA)

Comments: JFPDA 2012 (7èmes Journées Francophones Planification, Décision, et Apprentissage pour la conduite de systèmes), Nancy, France

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

[39] arXiv:1307.8084 [pdf, other]

Title: Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots

Shiqi Zhang, Mohan Sridharan

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

[40] arXiv:1307.8182 [pdf, other]

Title: POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing

Carlos Sarraute (1 and 2), Olivier Buffet (3), Joerg Hoffmann (4) ((1) Core Security Technologies, (2) ITBA (Instituto Tecnologico de Buenos Aires), (3) INRIA, (4) Saarland University)

Comments: Twenty-Sixth Conference on Artificial Intelligence (AAAI-12), Toronto, Canada

Journal-ref: Proceedings of AAAI Conference on Artificial Intelligence, pp 1816-1824, Toronto, Ontario, Canada (2012)

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

[41] arXiv:1307.8279 [pdf, other]

Title: Tracking Extrema in Dynamic Environment using Multi-Swarm Cellular PSO with Local Search

Somayeh Nabizadeh, Alireza Rezvanian, Mohammad Reza Meybodi

Comments: 8 pages, 3 figures

Journal-ref: int j electron inform 1 (2012) 29-37

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

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

Title: Investigation of "Enhancing flexibility and robustness in multi-agent task scheduling"

Daan Wilmer

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

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

Title: Simulating Ability: Representing Skills in Games

Magnus Lie Hetland

Journal-ref: Serious Games Development and Applications. Lecture Notes in Computer Science Volume 8101, 2013, pp 226-238

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

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

Title: An Empirical Study into Annotator Agreement, Ground Truth Estimation, and Algorithm Evaluation

Thomas A. Lampert, André Stumpf, Pierre Gançarski

Comments: 16 pages

Journal-ref: IEEE Transactions on Image Processing 25(6), 2557-2572, 2016

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

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

Title: A Statistical Learning Theory Framework for Supervised Pattern Discovery

Jonathan H. Huggins, Cynthia Rudin

Comments: 12 pages, 1 figure. Title change. Full version. Appearing at the SIAM International Conference on Data Mining (SDM) 2014

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

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

Title: Data Fusion by Matrix Factorization

Marinka Žitnik, Blaž Zupan

Comments: Short preprint, 13 pages, 3 Figures, 3 Tables. Full paper in https://doi.org/10.1109/TPAMI.2014.2343973

Journal-ref: Marinka Zitnik and Blaz Zupan. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37(1):41-53 (2015)

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

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

Title: Multi-Task Policy Search

Marc Peter Deisenroth, Peter Englert, Jan Peters, Dieter Fox

Comments: 8 pages, double column. IEEE International Conference on Robotics and Automation, 2014

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

[48] arXiv:1307.1277 (cross-list from math.LO) [pdf, other]

Title: Evidence and plausibility in neighborhood structures

Johan van Benthem, David Fernández-Duque, Eric Pacuit

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

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

Title: An investigation into the relationship between type-2 FOU size and environmental uncertainty in robotic control

Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi

Comments: 2012 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp 1-8, 2012

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

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

Title: READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking

Makarius Wenzel

Comments: In Proceedings UITP 2012, arXiv:1307.1528

Journal-ref: EPTCS 118, 2013, pp. 57-71

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)