Artificial Intelligence

Authors and titles for March 2012

[1] arXiv:1203.0088 [pdf, other]

Title: The Mind Grows Circuits

Rina Panigrahy, Li Zhang

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[2] arXiv:1203.0220 [pdf, other]

Title: The Equational Approach to CF2 Semantics

Dov M. Gabbay

Comments: 36 pages, version dated 15 February 2012

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

[3] arXiv:1203.0436 [pdf, other]

Title: (Dual) Hoops Have Unique Halving

Rob Arthan, Paulo Oliva

Comments: 17 pages, 5 figures, published as a chapter in the Bill McCune Memorial Festschrift

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

[4] arXiv:1203.0656 [pdf, other]

Title: Contribution of Case Based Reasoning (CBR) in the Exploitation of Return of Experience. Application to Accident Scenarii in Railroad Transport

Ahmed Maalel, Habib Hadj-Mabrouk

Comments: Paper Award, 8 pages, 10 figures,3rd International Conference on Information Systems and Economic Intelligence, 18-20 february 2010, Sousse, Tunisia. this http URL

Journal-ref: Int. Conf. Info. Sys. Eco. Intelligence. (2010) 1-8

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[5] arXiv:1203.0699 [pdf, other]

Title: Ambiguous Language and Differences in Beliefs

Joseph Y. Halpern, Willemien Kets

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

[6] arXiv:1203.1021 [pdf, other]

Title: Development of an Ontology to Assist the Modeling of Accident Scenarii "Application on Railroad Transport "

Ahmed Maalel, Habib Hadj mabrouk, Lassad Mejri, Henda Hajjami Ben Ghezela

Comments: 7 pages, 9 figures, Journal of Computing (ISSN 2151-9617); Journal of Computing, Volume 3, Issue 7, July 2011

Journal-ref: J. of Computing. 3. 7. (2011) 1-8

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1203.1095 [pdf, other]

Title: Search Combinators

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:1203.1882 [pdf, other]

Title: Multi source feedback based performance appraisal system using Fuzzy logic decision support system

G.Meenakshi

Comments: 16 pages

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:1203.2556 [pdf, other]

Title: A Probabilistic Transmission Expansion Planning Methodology based on Roulette Wheel Selection and Social Welfare

Neeraj Gupta, Rajiv Shekhar, Prem Kumar Kalra

Comments: 22 pages, 4 figures

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

[10] arXiv:1203.3051 [pdf, other]

Title: Combining Voting Rules Together

Nina Narodytska, Toby Walsh, Lirong Xia

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1203.3227 [pdf, other]

Title: Generalisation of language and knowledge models for corpus analysis

Anton Loss

Comments: 13 pages, 2 figures, slightly unconventional

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

[12] arXiv:1203.3376 [pdf, other]

Title: Learning, Social Intelligence and the Turing Test - why an "out-of-the-box" Turing Machine will not pass the Turing Test

Bruce Edmonds, Carlos Gershenson

Comments: 10 pages, invited talk at Turing Centenary Conference CiE 2012, special session on "The Turing Test and Thinking Machines"

Journal-ref: Lecture Notes in Computer Science 7318 (2012) pp. 182-192

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Adaptation and Self-Organizing Systems (nlin.AO)

[13] arXiv:1203.3464 [pdf, other]

Title: Gibbs Sampling in Open-Universe Stochastic Languages

Nimar S. Arora, Rodrigo de Salvo Braz, Erik B. Sudderth, Stuart Russell

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:1203.3465 [pdf, other]

Title: Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference

Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1203.3466 [pdf, other]

Title: Possibilistic Answer Set Programming Revisited

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1203.3467 [pdf, other]

Title: Three new sensitivity analysis methods for influence diagrams

Debarun Bhattacharjya, Ross D. Shachter

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[17] arXiv:1203.3469 [pdf, other]

Title: Probabilistic Similarity Logic

Matthias Brocheler, Lilyana Mihalkova, Lise Getoor

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1203.3470 [pdf, other]

Title: ALARMS: Alerting and Reasoning Management System for Next Generation Aircraft Hazards

Alan S. Carlin, Nathan Schurr, Janusz Marecki

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1203.3473 [pdf, other]

Title: Lifted Inference for Relational Continuous Models

Jaesik Choi, Eyal Amir, David J. Hill

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1203.3474 [pdf, other]

Title: Distribution over Beliefs for Memory Bounded Dec-POMDP Planning

Gabriel Corona, Francois Charpillet

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[21] arXiv:1203.3477 [pdf, other]

Title: A Scalable Method for Solving High-Dimensional Continuous POMDPs Using Local Approximation

Tom Erez, William D. Smart

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1203.3478 [pdf, other]

Title: Playing games against nature: optimal policies for renewable resource allocation

Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

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

[23] arXiv:1203.3482 [pdf, other]

Title: Formula-Based Probabilistic Inference

Vibhav Gogate, Pedro Domingos

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1203.3487 [pdf, other]

Title: BEEM : Bucket Elimination with External Memory

Kalev Kask, Rina Dechter, Andrew E. Gelfand

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

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

[25] arXiv:1203.3490 [pdf, other]

Title: Anytime Planning for Decentralized POMDPs using Expectation Maximization

Akshat Kumar, Shlomo Zilberstein

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:1203.3493 [pdf, other]

Title: Solving Hybrid Influence Diagrams with Deterministic Variables

Yijing Li, Prakash P. Shenoy

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[27] arXiv:1203.3499 [pdf, other]

Title: A Delayed Column Generation Strategy for Exact k-Bounded MAP Inference in Markov Logic Networks

Mathias Niepert

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1203.3500 [pdf, other]

Title: Comparative Analysis of Probabilistic Models for Activity Recognition with an Instrumented Walker

Farheen Omar, Mathieu Sinn, Jakub Truszkowski, Pascal Poupart, James Tung, Allen Caine

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1203.3502 [pdf, other]

Title: The Cost of Troubleshooting Cost Clusters with Inside Information

Thorsten J. Ottosen, Finn Verner Jensen

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

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

[30] arXiv:1203.3508 [pdf, other]

Title: Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1203.3509 [pdf, other]

Title: Characterizing the Set of Coherent Lower Previsions with a Finite Number of Constraints or Vertices

Erik Quaeghebeur

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1203.3510 [pdf, other]

Title: Irregular-Time Bayesian Networks

Michael Ramati, Yuval Shahar

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

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

[33] arXiv:1203.3512 [pdf, other]

Title: Exact and Approximate Inference in Associative Hierarchical Networks using Graph Cuts

Chris Russell, L'ubor Ladicky, Pushmeet Kohli, Philip H.S. Torr

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

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

[34] arXiv:1203.3513 [pdf, other]

Title: Dynamic programming in in uence diagrams with decision circuits

Ross D. Shachter, Debarun Bhattacharjya

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[35] arXiv:1203.3525 [pdf, other]

Title: Learning Why Things Change: The Difference-Based Causality Learner

Mark Voortman, Denver Dash, Marek J. Druzdzel

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1203.3528 [pdf, other]

Title: Rollout Sampling Policy Iteration for Decentralized POMDPs

Feng Wu, Shlomo Zilberstein, Xiaoping Chen

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[37] arXiv:1203.3531 [pdf, other]

Title: Solving Multistage Influence Diagrams using Branch-and-Bound Search

Changhe Yuan, Xiaojian Wu, Eric A. Hansen

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:1203.3538 [pdf, other]

Title: RAPID: A Reachable Anytime Planner for Imprecisely-sensed Domains

Emma Brunskill, Stuart Russell

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[39] arXiv:1203.4011 [pdf, other]

Title: Understanding Sampling Style Adversarial Search Methods

Raghuram Ramanujan, Ashish Sabharwal, Bart Selman

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1203.4287 [pdf, other]

Title: Parameter Learning in PRISM Programs with Continuous Random Variables

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan

Comments: 7 pages. Main contribution: Learning algorithm. Inference appears in http://arxiv.org/abs/1112.2681

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1203.5452 [pdf, other]

Title: Modeling of Mixed Decision Making Process

Nesrine Ben Yahia, Narjès Bellamine, Henda Ben Ghezala

Comments: Keywords-collaborative knowledge management; mixed decision making; dynamicity of actors; UML-G

Journal-ref: In Proceedings of IEEE International Conference on Information Technology and e-Services 2012, pp. 555-559 ISBN: 978-9938-9511-1-0

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1203.5532 [pdf, other]

Title: On the Use of Non-Stationary Policies for Infinite-Horizon Discounted Markov Decision Processes

Bruno Scherrer (INRIA Lorraine - LORIA)

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1203.6534 [pdf, other]

Title: Global preferential consistency for the topological sorting-based maximal spanning tree problem

Rémy-Robert Joseph

Comments: 12 pages, 7 figures, conference : Workshop on modeling and solving problems with constraints (ECAI 2008-W31), Patras, Greece, 21 july 2008

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM)

[44] arXiv:1203.6716 [pdf, other]

Title: Creating Intelligent Linking for Information Threading in Knowledge Networks

Dr T.R. Gopalakrishnan Nair, Meenakshi Malhotra

Comments: 5 Pages, 6 Figures, 2 Tables, India Conference (INDICON), 2011

Journal-ref: India Conference (INDICON), 2011

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1203.0202 (cross-list from math.CT) [pdf, other]

Title: Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Aleks Kissinger

Comments: PhD Thesis. Passed examination. Minor corrections made and one theorem added at the end of Chapter 5. 182 pages, ~300 figures. See full text for unabridged abstract

Subjects: Category Theory (math.CT); Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[46] arXiv:1203.0504 (cross-list from cs.CL) [pdf, other]

Title: Modelling Social Structures and Hierarchies in Language Evolution

Martin Bachwerk, Carl Vogel

Comments: 14 pages, 3 figures, 1 table. In proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, 14-16 December 2010

Journal-ref: Research and Development in Intelligent Systems XXVII, 2011, pp. 49-62

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

[47] arXiv:1203.0512 (cross-list from cs.CL) [pdf, other]

Title: Establishing linguistic conventions in task-oriented primeval dialogue

Martin Bachwerk, Carl Vogel

Comments: 8 pages, 5 figures. In proceedings of the COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers

Journal-ref: Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues. Lecture Notes in Computer Science, Volume 6800/2011, 2011, pp. 48-55

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

[48] arXiv:1203.0550 (cross-list from cs.LG) [pdf, html, other]

Title: Algorithms for Learning Kernels Based on Centered Alignment

Corinna Cortes, Mehryar Mohri, Afshin Rostamizadeh

Journal-ref: Journal of Machine Learning Research 13 (2012) 795-828

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

[49] arXiv:1203.0648 (cross-list from cs.SE) [pdf, other]

Title: Towards Electronic Shopping of Composite Product

Mark Sh. Levin

Comments: 10 pages, 20 figures, 17 tables

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

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

Title: Learning High-Dimensional Mixtures of Graphical Models

A. Anandkumar, D. Hsu, F. Huang, S. M. Kakade

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