Artificial Intelligence

Authors and titles for November 2015

[41] arXiv:1511.08412 [pdf, other]

Title: Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)

Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

Comments: The extended version of the AAAI 2016 paper "Beyond OWL 2 QL in OBDA: Rewritings and Approximations" by Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando,and Guohui Xiao

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1511.08456 [pdf, other]

Title: A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

Comments: Full version of "A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs" AAAI 2016

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1511.08488 [pdf, other]

Title: Bayesian Network Models for Adaptive Testing

Martin Plajner, Jiří Vomlel

Comments: 12th Annual Bayesian Modelling Applications Workshop, Amsterdam, Netherlands, (July 2015). 10 pages

Journal-ref: Proc. of the Eighth International Conference on Probabilistic Graphical Models (JMLR), 2016, pages 403-414

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1511.08512 [pdf, other]

Title: Some Epistemological Problems with the Knowledge Level in Cognitive Architectures

Antonio Lieto

Comments: 5 pages in Proceedings of AISC 2015, 12th Italian Conference on Cognitive Science, Genoa, 10-12 December 2015, Italy

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1511.08574 [pdf, other]

Title: A Stochastic Process Model of Classical Search

Dimitri Klimenko, Hanna Kurniawati, Marcus Gallagher

Comments: Submitted to ICAPS 2016

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1511.08589 [pdf, other]

Title: Shaping Proto-Value Functions via Rewards

Chandrashekar Lakshmi Narayanan, Raj Kumar Maity, Shalabh Bhatnagar

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

[47] arXiv:1511.08779 [pdf, other]

Title: Multiagent Cooperation and Competition with Deep Reinforcement Learning

Ardi Tampuu, Tambet Matiisen, Dorian Kodelja, Ilya Kuzovkin, Kristjan Korjus, Juhan Aru, Jaan Aru, Raul Vicente

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)

[48] arXiv:1511.08855 [pdf, other]

Title: Semantic Folding Theory And its Application in Semantic Fingerprinting

Francisco De Sousa Webber

Comments: 59 pages, white paper

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Neurons and Cognition (q-bio.NC)

[49] arXiv:1511.08967 [pdf, other]

Title: Robotic Search & Rescue via Online Multi-task Reinforcement Learning

Lisa Lee

Comments: 7 pages

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

[50] arXiv:1511.09047 [pdf, other]

Title: Solving Transition-Independent Multi-agent MDPs with Sparse Interactions (Extended version)

Joris Scharpff, Diederik M. Roijers, Frans A. Oliehoek, Matthijs T.J. Spaan, Mathijs M. de Weerdt

Comments: This article is an extended version of the paper that was published under the same title in the Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI16), held in Phoenix, Arizona USA on February 12-17, 2016

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[51] arXiv:1511.09080 [pdf, other]

Title: Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs (Extended Version)

Philipp Robbel, Frans A. Oliehoek, Mykel J. Kochenderfer

Comments: Extended version of AAAI 2016 paper

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[52] arXiv:1511.09147 [pdf, other]

Title: Scaling POMDPs For Selecting Sellers in E-markets-Extended Version

Athirai A. Irissappane, Frans A. Oliehoek, Jie Zhang

Subjects: Artificial Intelligence (cs.AI)

[53] arXiv:1511.09249 [pdf, other]

Title: On Learning to Think: Algorithmic Information Theory for Novel Combinations of Reinforcement Learning Controllers and Recurrent Neural World Models

Juergen Schmidhuber

Comments: 36 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1404.7828

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

[54] arXiv:1511.09300 [pdf, other]

Title: Influence diagrams for the optimization of a vehicle speed profile

Václav Kratochvíl, Jiří Vomlel

Comments: Presented at the Twelfth Annual Bayesian Modeling Applications Workshop, Amtsterdam, The Netherlands, 16th July 2015

Subjects: Artificial Intelligence (cs.AI)

[55] arXiv:1511.09460 [pdf, other]

Title: Ask, and shall you receive?: Understanding Desire Fulfillment in Natural Language Text

Snigdha Chaturvedi, Dan Goldwasser, Hal Daume III

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

[56] arXiv:1511.00083 (cross-list from q-bio.NC) [pdf, other]

Title: Why Neurons Have Thousands of Synapses, A Theory of Sequence Memory in Neocortex

Jeff Hawkins, Subutai Ahmad

Comments: Submitted for publication

Journal-ref: Frontiers in Neural Circuits 10:23 (2016) 1-13

Subjects: Neurons and Cognition (q-bio.NC); Artificial Intelligence (cs.AI)

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

Title: Z Specification for the W3C Editor's Draft Core SHACL Semantics

Arthur Ryman

Comments: 57 pages, Invited Expert contribution to the W3C RDF Data Shapes Working Group

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

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

Title: From random walks to distances on unweighted graphs

Tatsunori B. Hashimoto, Yi Sun, Tommi S. Jaakkola

Comments: To appear in NIPS 2015

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)

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

Title: Toward an Efficient Multi-class Classification in an Open Universe

Wajdi Dhifli, Abdoulaye Baniré Diallo

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

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

Title: SAT as a game

Olivier Bailleux

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

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

Title: SWISH: SWI-Prolog for Sharing

Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi

Comments: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 99-113, August 2015

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

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

Title: Lowering the learning curve for declarative programming: a Python API for the IDP system

Joost Vennekens

Comments: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 83-98, August 2015

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

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

Title: A web-based IDE for IDP

Ingmar Dasseville, Gerda Janssens

Comments: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 21-32, August 2015

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

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

Title: Bound Your Models! How to Make OWL an ASP Modeling Language

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Comments: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 33-49, August 2015

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

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

Title: Visualising interactive inferences with IDPD3

Ruben Lapauw, Ingmar Dasseville, Marc Denecker

Comments: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 67-81, August 2015

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