Artificial Intelligence

Authors and titles for May 2014

[1] arXiv:1405.0034 [pdf, other]

Title: Belief Revision and Trust

Aaron Hunter

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

Subjects: Artificial Intelligence (cs.AI)

[2] arXiv:1405.0054 [pdf, other]

Title: LTLf and LDLf Monitoring: A Technical Report

Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maggi, Marco Montali

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

[3] arXiv:1405.0406 [pdf, other]

Title: Extension-based Semantics of Abstract Dialectical Frameworks

Sylwia Polberg

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

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1405.0423 [pdf, other]

Title: Representation of a Sentence using a Polar Fuzzy Neutrosophic Semantic Net

Sachin Lakra, T.V. Prasad, G. Ramakrishna

Comments: arXiv admin note: text overlap with arXiv:math/0101228, arXiv:math/0412424, arXiv:math/0306384 by other authors

Journal-ref: International Journal of Advanced Computer Science and Applications, Special Issue on Natural Language Processing, Volume 4, Issue 1, April 2014, pp. 1-8

Subjects: Artificial Intelligence (cs.AI)

[5] arXiv:1405.0446 [pdf, other]

Title: Solving the undirected feedback vertex set problem by local search

Shao-Meng Qin, Hai-Jun Zhou

Comments: 6 pages

Subjects: Artificial Intelligence (cs.AI); Disordered Systems and Neural Networks (cond-mat.dis-nn)

[6] arXiv:1405.0546 [pdf, other]

Title: Kaggle LSHTC4 Winning Solution

Antti Puurula, Jesse Read, Albert Bifet

Comments: Kaggle LSHTC winning solution description

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

[7] arXiv:1405.0720 [pdf, other]

Title: Probabilistic Inductive Logic Programming Based on Answer Set Programming

Matthias Nickles, Alessandra Mileo

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

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1405.0795 [pdf, other]

Title: Belief revision in the propositional closure of a qualitative algebra (extended version)

Valmi Dufour-Lussier (INRIA Nancy - Grand Est / LORIA), Alice Hermann (INRIA Nancy - Grand Est / LORIA), Florence Le Ber (ICube), Jean Lieber (INRIA Nancy - Grand Est / LORIA)

Comments: This is the extended version of an article originally presented at the 14th International Conference on Principles of Knowledge Representation and Reasoning

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1405.0805 [pdf, other]

Title: On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks

Hannes Strass

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

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

[10] arXiv:1405.0809 [pdf, other]

Title: Implementing Default and Autoepistemic Logics via the Logic of GK

Jianmin Ji, Hannes Strass

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

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

[11] arXiv:1405.0868 [pdf, other]

Title: Finding Inner Outliers in High Dimensional Space

Zhana Bao

Comments: 9 pages, 9 Figures, 3 tables

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1405.0869 [pdf, other]

Title: Robust Subspace Outlier Detection in High Dimensional Space

Zhana Bao

Comments: 10 pages, 6 figures, 4 tables

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

[13] arXiv:1405.0876 [pdf, other]

Title: The Multi-engine ASP Solver ME-ASP: Progress Report

Marco Maratea, Luca Pulina, Francesco Ricca

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1405.0915 [pdf, other]

Title: Reasoning with Probabilistic Logics

Riccardo Zese

Comments: An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1405.0936 [pdf, other]

Title: Design Of Fuzzy Logic Traffic Controller For Isolated Intersections With Emergency Vehicle Priority System Using MATLAB Simulation

Mohit Jha, Shailja Shukla

Comments: 7 Pages,7 Figure,CSIR Sponsored X Control Instrumentation System Conference 2013; ISBN 978-93-82338-93-2

Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

[16] arXiv:1405.0941 [pdf, other]

Title: Towards a Benchmark of Natural Language Arguments

Elena Cabrio, Serena Villata

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

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

[17] arXiv:1405.0961 [pdf, other]

Title: Do we need Asimov's Laws?

Ulrike Barthelmess, Ulrich Furbach

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1405.0999 [pdf, other]

Title: KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics

Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy Wyatt

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

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1405.1027 [pdf, other]

Title: K-NS: Section-Based Outlier Detection in High Dimensional Space

Zhana Bao

Comments: 10 pages, 6 figures, 3 tables. arXiv admin note: substantial text overlap with arXiv:1405.0869

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

[20] arXiv:1405.1071 [pdf, other]

Title: Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

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

Subjects: Artificial Intelligence (cs.AI)

[21] arXiv:1405.1124 [pdf, other]

Title: An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Marcello Balduccini, William C. Regli, Duc N. Nguyen

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

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1405.1183 [pdf, other]

Title: Some thoughts about benchmarks for NMR

Daniel Le Berre

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

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1405.1287 [pdf, other]

Title: Semantics and Compilation of Answer Set Programming with Generalized Atoms

Mario Alviano, Wolfgang Faber

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

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1405.1397 [pdf, other]

Title: Analysis Tool for UNL-Based Knowledge Representation

Shamim Ripon, Aoyan Barua, Mohammad Salah Uddin

Comments: 8 pages, 5 figures. arXiv admin note: text overlap with arXiv:cs/0404030 by other authors

Journal-ref: Journal of Advanced Computer Science and Technology Research (JACSTR) Vol. 2, No. 4, pp. 176-183, 2012

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:1405.1520 [pdf, other]

Title: claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

Holger Hoos, Marius Lindauer, Torsten Schaub

Comments: To appear in Theory and Practice of Logic Programming (TPLP)

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1405.1524 [pdf, other]

Title: An expert system for recommending suitable ornamental fish addition to an aquarium based on aquarium condition

Mohammad Mohammadi, Shahram Jafari

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1405.1544 [pdf, other]

Title: Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

Ilya Otpuschennikov, Alexander Semenov, Stepan Kochemazov

Journal-ref: Proceedings of The 5th International Workshop on Computer Science and Engineering: Information Processing and Control Engineering (WCSE 2015-IPCE) (2015) 289-294

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1405.1675 [pdf, other]

Title: Structured Learning Modulo Theories

Stefano Teso, Roberto Sebastiani, Andrea Passerini

Comments: 46 pages, 11 figures, submitted to Artificial Intelligence Journal Special Issue on Combining Constraint Solving with Mining and Learning

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1405.2058 [pdf, other]

Title: Joint Tabling of Logic Program Abductions and Updates

Ari Saptawijaya, Luís Moniz Pereira

Comments: To appear in Theory and Practice of Logic Programming (TPLP), 10 pages plus bibliography

Subjects: Artificial Intelligence (cs.AI)

[30] arXiv:1405.2501 [pdf, other]

Title: Using Tabled Logic Programming to Solve the Petrobras Planning Problem

Roman Barták, Neng-Fa Zhou

Comments: To appear in Theory and Practice of Logic Programming (TPLP)

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1405.2590 [pdf, other]

Title: Efficient Computation of the Well-Founded Semantics over Big Data

Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber

Comments: 16 pages, 4 figures, ICLP 2014, 30th International Conference on Logic Programming July 19-22, Vienna, Austria

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 445-459

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1405.2600 [pdf, other]

Title: Learning from networked examples

Yuyi Wang, Jan Ramon, Zheng-Chu Guo

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

[33] arXiv:1405.2664 [pdf, other]

Title: FastMMD: Ensemble of Circular Discrepancy for Efficient Two-Sample Test

Ji Zhao, Deyu Meng

Journal-ref: Neural Computation, 2015 June, Vol. 27, No. 6, Pages 1345-1372

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

[34] arXiv:1405.2878 [pdf, other]

Title: Approximate Policy Iteration Schemes: A Comparison

Bruno Scherrer (INRIA Nancy - Grand Est / LORIA)

Comments: ICML (2014)

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

[35] arXiv:1405.2883 [pdf, other]

Title: The Metrics Matter! On the Incompatibility of Different Flavors of Replanning

Kartik Talamadupula, David E. Smith, Subbarao Kambhampati

Comments: Prior version appears in DMAP 2013 at ICAPS 2013

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

[36] arXiv:1405.3175 [pdf, other]

Title: D numbers theory: a generalization of Dempster-Shafer evidence theory

Yong Deng

Comments: 31 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1404.0540

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1405.3218 [pdf, other]

Title: Lifted Variable Elimination for Probabilistic Logic Programming

Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, Riccardo Zese

Comments: To appear in Theory and Practice of Logic Programming (TPLP). arXiv admin note: text overlap with arXiv:1402.0565 by other authors

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 681-695

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1405.3250 [pdf, other]

Title: Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting

Eric Gribkoff, Guy Van den Broeck, Dan Suciu

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

[39] arXiv:1405.3318 [pdf, other]

Title: Adaptive Monte Carlo via Bandit Allocation

James Neufeld, András György, Dale Schuurmans, Csaba Szepesvári

Comments: The 31st International Conference on Machine Learning (ICML 2014)

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

[40] arXiv:1405.3342 [pdf, other]

Title: An Agent-based Modeling Framework for Sociotechnical Simulation of Water Distribution Contamination Events

M. Ehsan Shafiee, Emily M. Zechman

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1405.3362 [pdf, other]

Title: Grounding Bound Founded Answer Set Programs

Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1405.3367 [pdf, other]

Title: Bound Founded Answer Set Programming

Rehan Abdul Aziz

Comments: An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1405.3376 [pdf, other]

Title: Probabilistic Argumentation with Epistemic Extensions and Incomplete Information

Anthony Hunter, Matthias Thimm

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1405.3451 [pdf, other]

Title: Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description

Cezary Kaliszyk, Josef Urban, Jiri Vyskocil, Herman Geuvers

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL)

[45] arXiv:1405.3486 [pdf, other]

Title: ESmodels: An Epistemic Specification Solver

Zhizheng Zhang, Kaikai Zhao

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1405.3487 [pdf, other]

Title: COCOpf: An Algorithm Portfolio Framework

Petr Baudiš

Comments: POSTER2014. arXiv admin note: text overlap with arXiv:1206.5780 by other authors without attribution

Journal-ref: Poster 2014 --- the 18th International Student Conference on Electrical Engineering. Czech Technical University, Prague, Czech Republic (2014)

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:1405.3539 [pdf, other]

Title: Pattern Recognition in Narrative: Tracking Emotional Expression in Context

Fionn Murtagh, Adam Ganz

Comments: 21 pages, 7 figures

Journal-ref: Journal of Data Mining & Digital Humanities, 2015 (May 26, 2015) jdmdh:647

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

[48] arXiv:1405.3546 [pdf, other]

Title: Anytime Computation of Cautious Consequences in Answer Set Programming

Mario Alviano, Carmine Dodaro, Francesco Ricca

Comments: To appear in Theory and Practice of Logic Programming

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 755-770

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1405.3570 [pdf, other]

Title: Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R

Daniel Gall, Thom Frühwirth

Comments: To appear in Theory and Practice of Logic Programming (TPLP). Accepted paper for ICLP 2014. 12 pages + appendix

Subjects: Artificial Intelligence (cs.AI)

[50] arXiv:1405.3637 [pdf, other]

Title: Vicious Circle Principle and Logic Programs with Aggregates

Michael Gelfond, Yuanlin Zhang

Journal-ref: Theory and Practice of Logic Programming 14 (2014) 587-601

Subjects: Artificial Intelligence (cs.AI)