Artificial Intelligence

Authors and titles for cs.AI in Apr 2014

[1]  arXiv:1404.0099 [pdf, other]

Title: Venture: a higher-order probabilistic programming platform with programmable inference

Authors: Vikash Mansinghka, Daniel Selsam, Yura Perov

Comments: 78 pages

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

[2]  arXiv:1404.0540 [pdf, ps, other]

Title: Modeling contaminant intrusion in water distribution networks based on D numbers

Authors: Li Gou, Yong Deng, Rehan Sadiq, Sankaran Mahadevan

Comments: 20 pages, 3 figures

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

[3]  arXiv:1404.0640 [pdf, ps, other]

Title: Conceptive Artificial Intelligence: Insights from design theory

Authors: Akin Osman Kazakci (CGS)

Journal-ref: International Design Conference DESIGN2014, Croatia (2014)

Subjects: Artificial Intelligence (cs.AI)

[4]  arXiv:1404.1140 [pdf, other]

Title: Scalable Planning and Learning for Multiagent POMDPs: Extended Version

Authors: Christopher Amato, Frans A. Oliehoek

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

[5]  arXiv:1404.1511 [pdf, ps, other]

Title: MTD(f), A Minimax Algorithm Faster Than NegaScout

Authors: Aske Plaat

Subjects: Artificial Intelligence (cs.AI)

[6]  arXiv:1404.1515 [pdf, ps, other]

Title: A New Paradigm for Minimax Search

Authors: Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

Comments: Novag Award 1994-1995 Best Computer Chess publication

Subjects: Artificial Intelligence (cs.AI)

[7]  arXiv:1404.1517 [pdf, ps, other]

Title: SSS* = Alpha-Beta + TT

Authors: Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

Subjects: Artificial Intelligence (cs.AI)

[8]  arXiv:1404.1518 [pdf, ps, other]

Title: Nearly Optimal Minimax Tree Search?

Authors: Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

Subjects: Artificial Intelligence (cs.AI)

[9]  arXiv:1404.1685 [pdf, other]

Title: Thou Shalt is not You Will

Authors: Guido Governatori

Journal-ref: Fifteenth International Conference on Artificial Intelligence and Law (ICAIL 2015), pp. 63-68

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

[10]  arXiv:1404.1718 [pdf, ps, other]

Title: Applications of Algorithmic Probability to the Philosophy of Mind

Authors: Gabriel Leuenberger

Comments: 13 pages

Subjects: Artificial Intelligence (cs.AI)

[11]  arXiv:1404.1812 [pdf, ps, other]

Title: Determining the Consistency factor of Autopilot using Rough Set Theory

Authors: Anugrah Kumar

Comments: IEEE International Conference on Networking, Sensing and Control 2014

Subjects: Artificial Intelligence (cs.AI)

[12]  arXiv:1404.1884 [pdf, other]

Title: Plug and Play! A Simple, Universal Model for Energy Disaggregation

Authors: Guoming Tang, Kui Wu, Jingsheng Lei, Jiuyang Tang

Comments: 12 pages, 5 figures, and 4 tables

Subjects: Artificial Intelligence (cs.AI)

[13]  arXiv:1404.2116 [pdf, ps, other]

Title: Rational Counterfactuals

Authors: Tshilidzi Marwala

Comments: To appear in Artificial Intelligence for Rational Decision Making (Springer-Verlag)

Subjects: Artificial Intelligence (cs.AI)

[14]  arXiv:1404.2162 [pdf, other]

Title: The NNN Formalization: Review and Development of Guideline Specification in the Care Domain

Authors: Georg Kaes, Jürgen Manger, Stefanie Rinderle-Ma, Ralph Vigne

Subjects: Artificial Intelligence (cs.AI)

[15]  arXiv:1404.2267 [pdf, ps, other]

Title: Transparallel mind: Classical computing with quantum power

Authors: Peter A. van der Helm

Comments: 38 pages (incl. Appendix with proofs), 10 figures, Supplementary Material (incl. algorithm) available at this http URL Minor revision: added 2 figures, 7 references, and a few clarifications

Subjects: Artificial Intelligence (cs.AI)

[16]  arXiv:1404.2313 [pdf, ps, other]

Title: Outer-Product Hidden Markov Model and Polyphonic MIDI Score Following

Authors: Eita Nakamura, Tomohiko Nakamura, Yasuyuki Saito, Nobutaka Ono, Shigeki Sagayama

Comments: 42 pages, 8 figures, version submitted to JNMR. To appear in Journal of New Music Research (2014)

Journal-ref: Journal of New Music Research, Vol. 43, No. 2 (2014) 183-201

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

[17]  arXiv:1404.2314 [pdf, other]

Title: A Stochastic Temporal Model of Polyphonic MIDI Performance with Ornaments

Authors: Eita Nakamura, Nobutaka Ono, Shigeki Sagayama, Kenji Watanabe

Comments: 35 pages, 6 figures, some explanations and evaluation results added, version accepted to JNMR

Journal-ref: Journal of New Music Research, Vol. 44, No. 4 (2015) 287-304

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

[18]  arXiv:1404.2768 [pdf, ps, other]

Title: Verification of confliction and unreachability in rule-based expert systems with model checking

Authors: Einollah pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani

Comments: 7 pages

Subjects: Artificial Intelligence (cs.AI)

[19]  arXiv:1404.2984 [pdf, ps, other]

Title: Distribution-Aware Sampling and Weighted Model Counting for SAT

Authors: Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Comments: This is a full version of AAAI 2014 paper

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

[20]  arXiv:1404.3141 [pdf, other]

Title: Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Authors: Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Comments: 14 pages. To appear at AAAI-14

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

[21]  arXiv:1404.3285 [pdf, ps, other]

Title: An Integer Programming Model for the Dynamic Location and Relocation of Emergency Vehicles: A Case Study

Authors: Mahdi Moeini, Zied Jemai, Evren Sahin

Comments: Proceedings of the 12th International Symposium on Operational Research (SOR'2013), Slovenia, September 2013, pp. 343-350, (2013)

Subjects: Artificial Intelligence (cs.AI)

[22]  arXiv:1404.3301 [pdf, other]

Title: Efficient Inference and Learning in a Large Knowledge Base: Reasoning with Extracted Information using a Locally Groundable First-Order Probabilistic Logic

Authors: William Yang Wang, Kathryn Mazaitis, Ni Lao, Tom Mitchell, William W. Cohen

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

Subjects: Artificial Intelligence (cs.AI)

[23]  arXiv:1404.3370 [pdf, ps, other]

Title: Distance function of D numbers

Authors: Meizhu Li, Qi Zhang, Xinyang Deng, Yong Deng

Comments: 29 pages, 7 figures

Subjects: Artificial Intelligence (cs.AI)

[24]  arXiv:1404.3659 [pdf, ps, other]

Title: Avoiding Undesired Choices Using Intelligent Adaptive Systems

Authors: Amir Konigsberg

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

Subjects: Artificial Intelligence (cs.AI)

[25]  arXiv:1404.3675 [pdf, ps, other]

Title: On Backdoors To Tractable Constraint Languages

Authors: Clement Carbonnel, Martin C. Cooper, Emmanuel Hebrard

Comments: 16 pages

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

[26]  arXiv:1404.4089 [pdf, other]

Title: On the Role of Canonicity in Bottom-up Knowledge Compilation

Authors: Guy Van den Broeck, Adnan Darwiche

Subjects: Artificial Intelligence (cs.AI)

[27]  arXiv:1404.4258 [pdf, other]

Title: An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy

Authors: Gavin Taylor, Connor Geer, David Piekut

Comments: Identical to the ICML 2014 paper of the same name, but with full proofs. Please cite the ICML paper

Subjects: Artificial Intelligence (cs.AI)

[28]  arXiv:1404.4274 [pdf, ps, other]

Title: Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

Authors: Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

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

[29]  arXiv:1404.4785 [pdf, ps, other]

Title: Ontology as a Source for Rule Generation

Authors: Olegs Verhodubs

Subjects: Artificial Intelligence (cs.AI)

[30]  arXiv:1404.4789 [pdf, ps, other]

Title: A new combination approach based on improved evidence distance

Authors: Hongming Mo, Yong Deng

Comments: 14 pages, 1 figures

Subjects: Artificial Intelligence (cs.AI)

[31]  arXiv:1404.4801 [pdf, ps, other]

Title: Generalized Evidence Theory

Authors: Yong Deng

Comments: 39 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)

[32]  arXiv:1404.4884 [pdf, ps, other]

Title: Causal Interfaces

Authors: David A. Eubanks

Comments: 20 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)

[33]  arXiv:1404.4893 [pdf, other]

Title: CTBNCToolkit: Continuous Time Bayesian Network Classifier Toolkit

Authors: Daniele Codecasa, Fabio Stella

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

[34]  arXiv:1404.4983 [pdf, ps, other]

Title: Shiva++: An Enhanced Graph based Ontology Matcher

Authors: Iti Mathur, Nisheeth Joshi, Hemant Darbari, Ajai Kumar

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

Journal-ref: International Journal of Computer Applications 92(16):30-34, April 2014

Subjects: Artificial Intelligence (cs.AI)

[35]  arXiv:1404.5078 [pdf, ps, other]

Title: TurKPF: TurKontrol as a Particle Filter

Authors: Ethan Petuchowski, Matthew Lease

Comments: 8 pages, 6 figures, formula appendix

Subjects: Artificial Intelligence (cs.AI)

[36]  arXiv:1404.5454 [pdf, other]

Title: Stochastic Privacy

Authors: Adish Singla, Eric Horvitz, Ece Kamar, Ryen White

Subjects: Artificial Intelligence (cs.AI)

[37]  arXiv:1404.5643 [pdf, other]

Title: A Formal Analysis of Required Cooperation in Multi-agent Planning

Authors: Yu Zhang, Subbarao Kambhampati

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

[38]  arXiv:1404.5668 [pdf, other]

Title: An Adversarial Interpretation of Information-Theoretic Bounded Rationality

Authors: Pedro A. Ortega, Daniel D. Lee

Comments: 7 pages, 4 figures. Proceedings of AAAI-14

Subjects: Artificial Intelligence (cs.AI)

[39]  arXiv:1404.6036 [pdf, ps, other]

Title: Gradual Classical Logic for Attributed Objects

Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)

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

[40]  arXiv:1404.6059 [pdf, ps, other]

Title: A Comparative study Between Fuzzy Clustering Algorithm and Hard Clustering Algorithm

Authors: Dibya Jyoti Bora, Dr. Anil Kumar Gupta

Comments: Data Clustering,6 pages,6 figures,Published with International Journal of Computer Trends and Technology (IJCTT)

Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V10(2):108-113, Apr 2014. ISSN:2231-2803

Subjects: Artificial Intelligence (cs.AI)

[41]  arXiv:1404.6445 [pdf, ps, other]

Title: Belief merging within fragments of propositional logic

Authors: Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran

Comments: To appear in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

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

[42]  arXiv:1404.6566 [pdf, ps, other]

Title: On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$

Authors: Oliver Fernández Gil

Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Artificial Intelligence (cs.AI)

[43]  arXiv:1404.6567 [pdf, other]

Title: Une approche CSP pour l'aide à la localisation d'erreurs

Authors: Mohammed Bekkouche, Hélène Collavizza, Michel Rueher

Comments: 10 pages, in French

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

[44]  arXiv:1404.6696 [pdf, other]

Title: Hybrid Metaheuristics for the Clustered Vehicle Routing Problem

Authors: Thibaut Vidal, Maria Battarra, Anand Subramanian, Güneş Erdoǧan

Comments: Working Paper, MIT -- 22 pages

Subjects: Artificial Intelligence (cs.AI)

[45]  arXiv:1404.6784 [pdf, ps, other]

Title: On Strong and Default Negation in Logic Program Updates (Extended Version)

Authors: Martin Slota, Martin Baláz, João Leite

Comments: 14 pages, extended version of the paper to appear in the online supplement of Theory and Practice of Logic Programming (TPLP), and presented at the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) and at the 30th International Conference on Logic Programming (ICLP 2014)

Subjects: Artificial Intelligence (cs.AI)

[46]  arXiv:1404.6883 [pdf, ps, other]

Title: Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation

Authors: Jozef Frtús

Comments: appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Artificial Intelligence (cs.AI)

[47]  arXiv:1404.6974 [pdf, other]

Title: Deontic Logic for Human Reasoning

Authors: Ulrich Furbach, Claudia Schon

Subjects: Artificial Intelligence (cs.AI)

[48]  arXiv:1404.6999 [pdf, ps, other]

Title: Preliminary Report on WASP 2.0

Authors: Mario Alviano, Carmine Dodaro, Francesco Ricca

Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Artificial Intelligence (cs.AI)

[49]  arXiv:1404.7173 [pdf, other]

Title: Nonmonotonic Reasoning as a Temporal Activity

Authors: Daniel G. Schwartz

Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, 17-19 July 2014

Subjects: Artificial Intelligence (cs.AI)

[50]  arXiv:1404.7205 [pdf, ps, other]

Title: Generalizing Modular Logic Programs

Authors: João Moura, Carlos Damásio

Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

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