Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Artificial Intelligence

Authors and titles for June 2013

Total of 63 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:1306.0095 [pdf, other]
Title: Universal Induction with Varying Sets of Combinators
Alexey Potapov, Sergey Rodionov
Comments: To appear in the proceedings of AGI 2013, Lecture Notes in Artificial Intelligence, Vol. 7999, pp. 88-97, Springer-Verlag, 2013. The final publication is available at this http URL
Subjects: Artificial Intelligence (cs.AI)
[2] arXiv:1306.0128 [pdf, other]
Title: Towards Detection of Bottlenecks in Modular Systems
Mark Sh. Levin
Comments: 12 pp., tables 4, figures 15
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[3] arXiv:1306.0539 [pdf, other]
Title: On the Performance Bounds of some Policy Search Dynamic Programming Algorithms
Bruno Scherrer (INRIA Nancy - Grand Est / LORIA)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[4] arXiv:1306.0665 [pdf, other]
Title: Narrative based Postdictive Reasoning for Cognitive Robotics
Manfred Eppe, Mehul Bhatt
Comments: Commonsense Reasoning Symposium, Ayia Napa, Cyprus, 2013
Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO)
[5] arXiv:1306.0751 [pdf, other]
Title: First-Order Decomposition Trees
Nima Taghipour, Jesse Davis, Hendrik Blockeel
Subjects: Artificial Intelligence (cs.AI)
[6] arXiv:1306.0963 [pdf, other]
Title: Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior
Been Kim, Caleb M. Chacha, Julie Shah
Comments: Appears in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Robotics (cs.RO); Machine Learning (stat.ML)
[7] arXiv:1306.1031 [pdf, other]
Title: LLAMA: Leveraging Learning to Automatically Manage Algorithms
Lars Kotthoff
Subjects: Artificial Intelligence (cs.AI)
[8] arXiv:1306.1034 [pdf, other]
Title: ROTUNDE - A Smart Meeting Cinematography Initiative: Tools, Datasets, and Benchmarks for Cognitive Interpretation and Control
Mehul Bhatt, Jakob Suchan, Christian Freksa
Comments: Appears in AAAI-2013 Workshop on: Space, Time, and Ambient Intelligence (STAMI 2013)
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC)
[9] arXiv:1306.1553 [pdf, other]
Title: Direct Uncertainty Estimation in Reinforcement Learning
Sergey Rodionov, Alexey Potapov, Yurii Vinogradov
Comments: AGI-13 Workshop paper
Subjects: Artificial Intelligence (cs.AI)
[10] arXiv:1306.1557 [pdf, other]
Title: Extending Universal Intelligence Models with Formal Notion of Representation
Alexey Potapov, Sergey Rodionov
Comments: proceedings of AGI 2012, Lecture Notes in Artificial Intelligence, Vol. 7716, pp. 242-251, Springer-Verlag, 2012. The final publication is available at this http URL
Subjects: Artificial Intelligence (cs.AI)
[11] arXiv:1306.1591 [pdf, other]
Title: Autonomous search for a diffusive source in an unknown environment
Branko Ristic, Alex Skvortsov, Andrew Walker
Comments: 11 pages, 7 figures
Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Neurons and Cognition (q-bio.NC)
[12] arXiv:1306.2025 [pdf, other]
Title: Flexibly-bounded Rationality and Marginalization of Irrationality Theories for Decision Making
Tshilidzi Marwala
Comments: 17 pages, submitted to Springer-Verlag. arXiv admin note: substantial text overlap with arXiv:1305.6037
Subjects: Artificial Intelligence (cs.AI)
[13] arXiv:1306.2268 [pdf, other]
Title: Accomplishable Tasks in Knowledge Representation
Keehang Kwon, Mi-Young Park
Comments: arXiv admin note: substantial text overlap with arXiv:1305.2004
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[14] arXiv:1306.2295 [pdf, other]
Title: Markov random fields factorization with context-specific independences
Alejandro Edera, Facundo Bromberg, Federico Schlüter
Comments: 7 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[15] arXiv:1306.2558 [pdf, other]
Title: The Effect of Biased Communications On Both Trusting and Suspicious Voters
William W. Cohen, David P. Redlawsk, Douglas Pierce
Subjects: Artificial Intelligence (cs.AI)
[16] arXiv:1306.2863 [pdf, other]
Title: Random Drift Particle Swarm Optimization
Jun Sun, Xiaojun Wu, Vasile Palade, Wei Fang, Yuhui Shi
Comments: The paper is the work in progress on particle swarm optimization. It has 41 pages and 7 figures
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
[17] arXiv:1306.2864 [pdf, other]
Title: Finding Academic Experts on a MultiSensor Approach using Shannon's Entropy
Catarina Moreira, Andreas Wichert
Journal-ref: Journal of Expert Systems with Applications, 2013, volume 40, issue 14
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[18] arXiv:1306.3317 [pdf, other]
Title: Sparse Auto-Regressive: Robust Estimation of AR Parameters
Mohsen Joneidi
Comments: 4 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI)
[19] arXiv:1306.3542 [pdf, other]
Title: Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Saadat Anwar, Chitta Baral, Katsumi Inoue
Subjects: Artificial Intelligence (cs.AI)
[20] arXiv:1306.3548 [pdf, other]
Title: Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Saadat Anwar, Chitta Baral, Katsumi Inoue
Subjects: Artificial Intelligence (cs.AI)
[21] arXiv:1306.3884 [pdf, other]
Title: The Rise and Fall of Semantic Rule Updates Based on SE-Models
Martin Slota, João Leite
Comments: 38 pages, to appear in Theory and Practice of Logic Programming (TPLP)
Journal-ref: Theory and Practice of Logic Programming 14 (2014) 869-907
Subjects: Artificial Intelligence (cs.AI)
[22] arXiv:1306.3888 [pdf, other]
Title: The SP theory of intelligence: an overview
J. Gerard Wolff
Comments: arXiv admin note: text overlap with arXiv:cs/0401009, arXiv:1303.2071, arXiv:cs/0307010, arXiv:1212.0229, arXiv:1303.2013
Journal-ref: J G Wolff, Information, 4 (3), 283-341, 2013
Subjects: Artificial Intelligence (cs.AI)
[23] arXiv:1306.3890 [pdf, other]
Title: Big data and the SP theory of intelligence
J. Gerard Wolff
Comments: Accepted for publication in IEEE Access
Journal-ref: J G Wolff, IEEE Access, 2, 301-315, 2014
Subjects: Artificial Intelligence (cs.AI)
[24] arXiv:1306.4411 [pdf, other]
Title: Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information
Chitta Baral, Nguyen H. Vo
Comments: 13 pages
Subjects: Artificial Intelligence (cs.AI)
[25] arXiv:1306.4418 [pdf, other]
Title: Structure Based Extended Resolution for Constraint Programming
Geoffrey Chu, Peter J. Stuckey
Subjects: Artificial Intelligence (cs.AI)
[26] arXiv:1306.4460 [pdf, other]
Title: Implementing a Wall-In Building Placement in StarCraft with Declarative Programming
Michal Certicky
Subjects: Artificial Intelligence (cs.AI)
[27] arXiv:1306.4635 [pdf, other]
Title: Towards Multistage Design of Modular Systems
Mark Sh. Levin
Comments: 13 pages, 25 figures, 14 tables
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[28] arXiv:1306.4714 [pdf, other]
Title: Penetration Testing == POMDP Solving?
Carlos Sarraute (1 and 2), Olivier Buffet (3), Joerg Hoffmann (3) ((1) Core Security Technologies, (2) ITBA (Instituto Tecnologico Buenos Aires), (3) INRIA)
Comments: Proceedings of the 3rd Workshop on Intelligent Security (SecArt'11), at IJCAI'11
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[29] arXiv:1306.4925 [pdf, other]
Title: A Multi-Engine Approach to Answer Set Programming
Marco Maratea, Luca Pulina, Francesco Ricca
Comments: 26 pages, 8 figures
Journal-ref: Theory and Practice of Logic Programming 14 (2014) 841-868
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[30] arXiv:1306.5053 [pdf, other]
Title: Breaking Symmetry with Different Orderings
Nina Narodytska, Toby Walsh
Comments: To appear in Proceedings of CP 2013, 19th International Conference on Principles and Practice of Constraint Programming. Slightly longer version with a proof sketch expanded compared to official LNCS conference proceedings
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[31] arXiv:1306.5070 [pdf, other]
Title: 3-SAT Problem A New Memetic-PSO Algorithm
Nasser Lotfi, Jamshid Tamouk, Mina Farmanbar
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[32] arXiv:1306.5308 [pdf, other]
Title: Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation
Mehul Bhatt, Jakob Suchan, Carl Schultz
Comments: To appear at: Computational Models of Narrative (CMN) 2013., a satellite event of CogSci 2013: The 35th meeting of the Cognitive Science Society
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC); Robotics (cs.RO)
[33] arXiv:1306.5601 [pdf, other]
Title: A Decomposition of the Max-min Fair Curriculum-based Course Timetabling Problem
Moritz Mühlenthaler, Rolf Wanka
Comments: revised version (fixed problems in the notation and general improvements); original paper: 16 pages, accepted for publication at the Multidisciplinary International Scheduling Conference 2013 (MISTA 2013)
Subjects: Artificial Intelligence (cs.AI)
[34] arXiv:1306.5606 [pdf, other]
Title: Proteus: A Hierarchical Portfolio of Solvers and Transformations
Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan
Comments: 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. The final publication is available at this http URL
Subjects: Artificial Intelligence (cs.AI)
[35] arXiv:1306.5858 [pdf, other]
Title: Distributed Heuristic Forward Search for Multi-Agent Systems
Raz Nissim, Ronen Brafman
Comments: 26 pages
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[36] arXiv:1306.5884 [pdf, other]
Title: Design of an Agent for Answering Back in Smart Phones
Sandeep Venkatesh, Meera V Patil, Nanditha Swamy
Comments: This paper has been withdrawn by the author due to a crucial sign erro
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)
[37] arXiv:1306.5960 [pdf, other]
Title: Computation of Diet Composition for Patients Suffering from Kidney and Urinary Tract Diseases with the Fuzzy Genetic System
Sri Hartati, Shofwatul 'Uyun
Comments: 8 pages
Journal-ref: International Journal of Computer Applications (0975-8887)-Volume 36, No.6, December 2011
Subjects: Artificial Intelligence (cs.AI)
[38] arXiv:1306.5982 [pdf, other]
Title: Activity Modeling in Smart Home using High Utility Pattern Mining over Data Streams
Menaka Gandhi.J, K.S.Gayathri
Comments: This research paper consists of 7 pages, 7 figures and 4 algorithms
Journal-ref: "Interactive mining of high utility patterns over data streams", Elsevier, Vol. 39, No. 15, 2012
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)
[39] arXiv:1306.6302 [pdf, other]
Title: Solving Relational MDPs with Exogenous Events and Additive Rewards
S. Joshi, R. Khardon, P. Tadepalli, A. Raghavan, A. Fern
Comments: This is an extended version of our ECML/PKDD 2013 paper including all proofs. (v2 corrects typos and updates ref [10] to cite this report as the full version)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[40] arXiv:1306.6375 [pdf, other]
Title: Metaheuristics in Flood Disaster Management and Risk Assessment
Vena Pearl Bongolan, Florencio C. Ballesteros Jr., Joyce Anne M. Banting, Aina Marie Q. Olaes, Charlymagne R. Aquino
Comments: UP ICE Centennial Conference Harmonizing Infrastructure with the Environment November 12, 2010 in Manila, Philippines 8th National conference on Information Technology Education (NCITE 2010) October 20-23, 2010 in Boracay, Philippines
Subjects: Artificial Intelligence (cs.AI)
[41] arXiv:1306.6489 [pdf, other]
Title: A Fuzzy Topsis Multiple-Attribute Decision Making for Scholarship Selection
Shofwatul 'Uyun, Imam Riadi
Comments: 10 pages, 5 figures, arXiv admin note: substantial text overlap with arXiv:1306.5960
Journal-ref: TELKOMNIKA Journal Vol.9 No.1 April 2011
Subjects: Artificial Intelligence (cs.AI)
[42] arXiv:1306.6649 [pdf, other]
Title: Measurements of collective machine intelligence
Michel Halmes
Comments: 78 pages
Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[43] arXiv:1306.6802 [pdf, other]
Title: Evaluation Measures for Hierarchical Classification: a unified view and novel approaches
Aris Kosmopoulos, Ioannis Partalas, Eric Gaussier, Georgios Paliouras, Ion Androutsopoulos
Comments: Submitted to journal
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[44] arXiv:1306.6852 [pdf, other]
Title: Axiomatic properties of inconsistency indices for pairwise comparisons
Matteo Brunelli, Michele Fedrizzi
Comments: 25 pages, 3 figures
Journal-ref: Journal of the Operational Research Society, 66(1), 1-15, (2015)
Subjects: Artificial Intelligence (cs.AI)
[45] arXiv:1306.0386 (cross-list from math.OC) [pdf, other]
Title: Improved and Generalized Upper Bounds on the Complexity of Policy Iteration
Bruno Scherrer (BIGS)
Comments: Markov decision processes, Dynamic Programming, Analysis of Algorithms, Mathematics of Operations Research, INFORMS, 2016
Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Robotics (cs.RO)
[46] arXiv:1306.0686 (cross-list from cs.LG) [pdf, other]
Title: Online Learning under Delayed Feedback
Pooria Joulani, András György, Csaba Szepesvári
Comments: Extended version of a paper accepted to ICML-2013
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[47] arXiv:1306.0694 (cross-list from math.OC) [pdf, other]
Title: Iterated Tabu Search Algorithm for Packing Unequal Circles in a Circle
Tao Ye, Wenqi Huang, Zhipeng Lu
Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)
[48] arXiv:1306.1267 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Loop Calculus and Bootstrap-Belief Propagation for Perfect Matchings on Arbitrary Graphs
Michael Chertkov, Andrew Gelfand, Jinwoo Shin
Comments: 12 pages, 1 figure
Subjects: Statistical Mechanics (cond-mat.stat-mech); Artificial Intelligence (cs.AI); Probability (math.PR)
[49] arXiv:1306.1421 (cross-list from physics.soc-ph) [pdf, other]
Title: Bayesian Inference of Natural Rankings in Incomplete Competition Networks
Juyong Park, Soon-Hyung Yook
Comments: 5 pages, 2 figures
Journal-ref: Scientific Reports 4, 6212 (2014)
Subjects: Physics and Society (physics.soc-ph); Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an)
[50] arXiv:1306.1520 (cross-list from cs.LG) [pdf, other]
Title: Policy Search: Any Local Optimum Enjoys a Global Performance Guarantee
Bruno Scherrer (INRIA Nancy - Grand Est / LORIA), Matthieu Geist
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Robotics (cs.RO); Optimization and Control (math.OC)
[51] arXiv:1306.1849 (cross-list from cs.GT) [pdf, other]
Title: New Results on Equilibria in Strategic Candidacy
Jérôme Lang, Nicolas Maudet, Maria Polukarov, Alice Cohen-Hadria
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[52] arXiv:1306.4040 (cross-list from cs.CR) [pdf, other]
Title: An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios
Carlos Sarraute (1 and 2), Gerardo Richarte (1), Jorge Lucangeli Obes (3) ((1) Core Security Technologies, (2) ITBA (Instituto Tecnologico Buenos Aires), (3) UBA (Universidad de Buenos Aires))
Comments: ACM Workshop on Artificial Intelligence and Security (AISec 2011), at ACM CCS Conference 2011
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[53] arXiv:1306.4044 (cross-list from cs.CR) [pdf, other]
Title: Attack Planning in the Real World
Jorge Lucangeli Obes (1), Carlos Sarraute (1 and 2), Gerardo Richarte (1) ((1) Core Security Technologies, (2) ITBA (Instituto Tecnologico Buenos Aires))
Comments: SecArt'2010 at AAAI 2010, Atlanta, USA. July 12, 2010
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[54] arXiv:1306.4532 (cross-list from quant-ph) [pdf, other]
Title: Verifying the Steane code with Quantomatic
Ross Duncan (University of Strathclyde, Glasgow, UK), Maxime Lucas (Université Libre de Bruxelles, Brussels, Belgium)
Comments: In Proceedings QPL 2013, arXiv:1412.7917
Journal-ref: EPTCS 171, 2014, pp. 33-49
Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[55] arXiv:1306.4753 (cross-list from cs.LG) [pdf, other]
Title: Galerkin Methods for Complementarity Problems and Variational Inequalities
Geoffrey J. Gordon
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[56] arXiv:1306.4999 (cross-list from cs.SI) [pdf, other]
Title: Safeguarding E-Commerce against Advisor Cheating Behaviors: Towards More Robust Trust Models for Handling Unfair Ratings
Lizi Zhang
Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI)
[57] arXiv:1306.5215 (cross-list from cs.GL) [pdf, other]
Title: Epistemology of Modeling and Simulation: How can we gain Knowledge from Simulations?
Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Ross Gore
Comments: MODSIM World 2013
Subjects: General Literature (cs.GL); Artificial Intelligence (cs.AI)
[58] arXiv:1306.5279 (cross-list from cs.HC) [pdf, other]
Title: Affect Control Processes: Intelligent Affective Interaction using a Partially Observable Markov Decision Process
Jesse Hoey, Tobias Schroeder, Areej Alhothali
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)
[59] arXiv:1306.5667 (cross-list from cs.NE) [pdf, other]
Title: Using Genetic Programming to Model Software
W. B. Langdon, M. Harman
Comments: As UCL computer science Technical Report RN/13/12
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
[60] arXiv:1306.5707 (cross-list from cs.RO) [pdf, other]
Title: Synthesizing Manipulation Sequences for Under-Specified Tasks using Unrolled Markov Random Fields
Jaeyong Sung, Bart Selman, Ashutosh Saxena
Comments: To Appear in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2014 (A preliminary version of this work was presented at International Conference of Machine Learning (ICML) workshop on Prediction with Sequential Models, 2013)
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[61] arXiv:1306.6294 (cross-list from cs.RO) [pdf, other]
Title: Learning Trajectory Preferences for Manipulators via Iterative Improvement
Ashesh Jain, Brian Wojcik, Thorsten Joachims, Ashutosh Saxena
Comments: 9 pages. To appear in NIPS 2013
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[62] arXiv:1306.6709 (cross-list from cs.LG) [pdf, other]
Title: A Survey on Metric Learning for Feature Vectors and Structured Data
Aurélien Bellet, Amaury Habrard, Marc Sebban
Comments: Technical report, 59 pages. Changes in v2: fixed typos and improved presentation. Changes in v3: fixed typos. Changes in v4: fixed typos and new methods
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[63] arXiv:1306.6843 (cross-list from stat.ML) [pdf, other]
Title: Error AMP Chain Graphs
Jose M. Peña
Comments: In Proceedings of the 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), to appear. Changes from v1 to v2: Minor correction in Theorem 1
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI)
Total of 63 entries
Showing up to 2000 entries per page: fewer | more | all