Artificial Intelligence

Authors and titles for cs.AI in Apr 2014, skipping first 50

[51]  arXiv:1404.7279 [pdf]

Title: Assessing the players'performance in the game of bridge: A fuzzy logic approach

Authors: Michael Gr. Voskoglou

Comments: 6 pages, 2 figures, 2 tables

Journal-ref: American Journal of Applied Mathematics and Statistics, vol. 2, no. 3 (2014), 115-120

Subjects: Artificial Intelligence (cs.AI)

[52]  arXiv:1404.7428 [pdf, ps, other]

Title: Analysis of Dialogical Argumentation via Finite State Machines

Authors: Anthony Hunter

Comments: 10 pages

Journal-ref: Proceedings of the International Conference on Scalable Uncertainty Management (SUM'13), LNCS 8078, Pages 1-14, Springer, 2013

Subjects: Artificial Intelligence (cs.AI)

[53]  arXiv:1404.7541 [pdf, other]

Title: An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

Authors: James P. Delgrande, Kewen Wang

Comments: In: Proceedings of 15th International Workshop on Non-Monotonic Reasoning

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

[54]  arXiv:1404.7719 [pdf, other]

Title: An argumentation system for reasoning with conflict-minimal paraconsistent ALC

Authors: Wenzhao Qiao, Nico Roos

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

Subjects: Artificial Intelligence (cs.AI)

[55]  arXiv:1404.7734 [pdf, other]

Title: Compact Argumentation Frameworks

Authors: Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran

Comments: Contribution to the 15th International Workshop on Non-Monotonic Reasoning, 2014, Vienna

Subjects: Artificial Intelligence (cs.AI)

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

Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Authors: Francesco Belardinelli (Université d'Evry)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 27-33

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

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

Title: A Resolution Prover for Coalition Logic

Authors: Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 65-73

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

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

Title: Enabling Automatic Certification of Online Auctions

Authors: Wei Bai, Emmanuel M. Tadjouddine, Yu Guo

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 123-132

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

[59]  arXiv:1404.0953 (cross-list from cs.LO) [pdf, ps, other]

Title: Implementing Anti-Unification Modulo Equational Theory

Authors: Jochen Burghardt, Birgit Heinz

Comments: 113 pages; 57 figures

Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996

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

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

Title: A Distributed Frank-Wolfe Algorithm for Communication-Efficient Sparse Learning

Authors: Aurélien Bellet, Yingyu Liang, Alireza Bagheri Garakani, Maria-Florina Balcan, Fei Sha

Comments: Extended version of the SIAM Data Mining 2015 paper

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)

[61]  arXiv:1404.3708 (cross-list from cs.SI) [pdf, ps, other]

Title: Inferring Social Status and Rich Club Effects in Enterprise Communication Networks

Authors: Yuxiao Dong, Jie Tang, Nitesh Chawla, Tiancheng Lou, Yang Yang, Bai Wang

Comments: 13 pages, 4 figures

Journal-ref: PLoS ONE 10(3): e0119446. 2015

Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

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

Title: Sparse Compositional Metric Learning

Authors: Yuan Shi, Aurélien Bellet, Fei Sha

Comments: 18 pages. To be published in Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI 2014)

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

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

Title: Automated Classification of Airborne Laser Scanning Point Clouds

Authors: Christoph Waldhauser, Ronald Hochreiter, Johannes Otepka, Norbert Pfeifer, Sajid Ghuffar, Karolina Korzeniowska, Gerald Wagner

Journal-ref: In: Solving Computationally Expensive Engineering Problems. Springer Proceedings in Mathematics & Statistics Volume 97: 269-292. 2014

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

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

Title: A Complete Solver for Constraint Games

Authors: Thi-Van-Anh Nguyen, Arnaud Lallouet

Comments: 17 pages

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

[65]  arXiv:1404.5214 (cross-list from cs.LG) [pdf, ps, other]

Title: Graph Kernels via Functional Embedding

Authors: Anshumali Shrivastava, Ping Li

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

[66]  arXiv:1404.5528 (cross-list from cs.DC) [pdf]

Title: Hybrid Genetic Algorithm for Cloud Computing Applications

Authors: Saeed Javanmardi, Mohammad Shojafar, Danilo Amendola, Nicola Cordeschi, Hongbo Liu, Ajith Abraham

Comments: 10 Pages, 5 figures, 1 table, IBICA2014, Accepted to publish

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI)

[67]  arXiv:1404.6071 (cross-list from cs.CV) [pdf]

Title: Rough Clustering Based Unsupervised Image Change Detection

Authors: Chandranath Adak

Comments: Proc. IEEE Conf. #30853, International Conference on Human Computer Interactions (ICHCI'13), Chennai, India, 23-24 Aug., 2013. (In Press)

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

[68]  arXiv:1404.6075 (cross-list from cs.CV) [pdf]

Title: Unsupervised Text Extraction from G-Maps

Authors: Chandranath Adak

Comments: Proc. IEEE Conf. #30853, International Conference on Human Computer Interactions (ICHCI'13), Chennai, India, 23-24 Aug., 2013

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

[69]  arXiv:1404.6699 (cross-list from cs.CR) [pdf, ps, other]

Title: An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare

Authors: Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Simon Parsons, Marcelo A. Falappa

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

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[70]  arXiv:1404.0904 (cross-list from math.NT) [pdf, ps, other]

Title: On a correlational clustering of integers

Authors: L. Aszalós, L. Hajdu, A. Pethő

Subjects: Number Theory (math.NT); Artificial Intelligence (cs.AI)

[71]  arXiv:1404.2458 (cross-list from math.OC) [pdf, other]

Title: r-Extreme Signalling for Congestion Control

Authors: Jakub Marecek, Robert Shorten, Jia Yuan Yu

Journal-ref: International Journal of Control (2016) 89(10): 1972-1984

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

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

Title: Optimizing the CVaR via Sampling

Authors: Aviv Tamar, Yonatan Glassner, Shie Mannor

Comments: To appear in AAAI 2015

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

[73]  arXiv:1404.4388 (cross-list from math.OC) [pdf, other]

Title: Partially Observed, Multi-objective Markov Games

Authors: Yanling Chang, Alan L. Erera, Chelsea C. White III

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

[74]  arXiv:1404.5711 (cross-list from math.OC) [pdf, other]

Title: Modeling multi-stage decision optimization problems

Authors: Ronald Hochreiter

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)