Artificial Intelligence

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

[51]  arXiv:1404.7279 [pdf, ps, other]

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)