Artificial Intelligence

Authors and titles for January 2014

[101] arXiv:1401.4597 [pdf, other]

Title: Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs

Matthew L. Ginsberg

Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 851-886, 2011

Subjects: Artificial Intelligence (cs.AI)

[102] arXiv:1401.4598 [pdf, other]

Title: SAS+ Planning as Satisfiability

Ruoyun Huang, Yixin Chen, Weixiong Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 293-328, 2012

Subjects: Artificial Intelligence (cs.AI)

[103] arXiv:1401.4600 [pdf, other]

Title: Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams

Yifeng Zeng, Prashant Doshi

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 211-255, 2012

Subjects: Artificial Intelligence (cs.AI)

[104] arXiv:1401.4601 [pdf, other]

Title: Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems

Gilles Pesant, Claude-Guy Quimper, Alessandro Zanarini

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 173-210, 2012

Subjects: Artificial Intelligence (cs.AI)

[105] arXiv:1401.4603 [pdf, other]

Title: Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction

Esperanza Albacete, Javier Calle, Elena Castro, Dolores Cuadra

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 397-421, 2012

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

[106] arXiv:1401.4604 [pdf, other]

Title: Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 419-476, 2012

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

[107] arXiv:1401.4605 [pdf, other]

Title: Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

J.H.M. Lee, Ka Lun Leung

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 257-292, 2012

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

[108] arXiv:1401.4606 [pdf, other]

Title: Drake: An Efficient Executive for Temporal Plans with Choice

Patrick Raymond Conrad, Brian Williams

Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 607-659, 2011

Subjects: Artificial Intelligence (cs.AI)

[109] arXiv:1401.4607 [pdf, other]

Title: Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Joohyung Lee, Ravi Palla

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 571-620, 2012

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

[110] arXiv:1401.4613 [pdf, other]

Title: Local Consistency and SAT-Solvers

Peter Jeavons, Justyna Petke

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 329-351, 2012

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

[111] arXiv:1401.4942 [pdf, other]

Title: Info-computational constructivism in modelling of life as cognition

Gordana Dodig-Crnkovic

Comments: 5 pages, SMLC conference University of Bergamo 12-14.09.2013, this http URL

Subjects: Artificial Intelligence (cs.AI)

[112] arXiv:1401.5031 [pdf, other]

Title: A Scalable Conditional Independence Test for Nonlinear, Non-Gaussian Data

Joseph D. Ramsey

Comments: 4 Figures, 2 Boxes, 1 Table, 15 Pages

Subjects: Artificial Intelligence (cs.AI); Methodology (stat.ME)

[113] arXiv:1401.5156 [pdf, other]

Title: Harmony Search Algorithm for Curriculum-Based Course Timetabling Problem

Juliana Wahid, Naimah Mohd Hussin

Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 365-371, 2013

Subjects: Artificial Intelligence (cs.AI)

[114] arXiv:1401.5157 [pdf, other]

Title: Skill Analysis with Time Series Image Data

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi

Comments: 5 pages, 6 figures

Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 576-580, 2013

Subjects: Artificial Intelligence (cs.AI)

[115] arXiv:1401.5334 [pdf, other]

Title: A Microkernel Architecture for Constraint Programming

Laurent Michel, Pascal Van Hentenryck

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[116] arXiv:1401.5341 [pdf, other]

Title: Domain Views for Constraint Programming

Pascal Van Hentenryck, Laurent Michel

Comments: Workshop: TRICS13: Techniques foR Implementing Constraint programming, September 2013, CP, Uppsala

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[117] arXiv:1401.5424 [pdf, other]

Title: Real Time Strategy Language

Roy Hayes, Peter Beling, William Scherer

Subjects: Artificial Intelligence (cs.AI)

[118] arXiv:1401.5813 [pdf, other]

Title: GGP with Advanced Reasoning and Board Knowledge Discovery

Adrian Łańcucki

Subjects: Artificial Intelligence (cs.AI)

[119] arXiv:1401.5848 [pdf, other]

Title: Algorithms and Limits for Compact Plan Representations

Christer Bäckström, Peter Jonsson

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 141-177, 2012

Subjects: Artificial Intelligence (cs.AI)

[120] arXiv:1401.5852 [pdf, other]

Title: Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures

Priyankar Ghosh, Amit Sharma, P.P. Chakrabarti, Pallab Dasgupta

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 275-333, 2012

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

[121] arXiv:1401.5853 [pdf, other]

Title: Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

Bernardo Cuenca Grau, Boris Motik

Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 197-255, 2012

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

[122] arXiv:1401.5854 [pdf, other]

Title: Avoiding and Escaping Depressions in Real-Time Heuristic Search

Carlos Hernández, Jorge A Baier

Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 523-570, 2012

Subjects: Artificial Intelligence (cs.AI)

[123] arXiv:1401.5856 [pdf, other]

Title: Narrative Planning: Compilations to Classical Planning

Patrik Haslum

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 383-395, 2012

Subjects: Artificial Intelligence (cs.AI)

[124] arXiv:1401.5857 [pdf, other]

Title: COLIN: Planning with Continuous Linear Numeric Change

Amanda J. Coles, Andrew I. Coles, Maria Fox, Derek Long

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 1-96, 2012

Subjects: Artificial Intelligence (cs.AI)

[125] arXiv:1401.5858 [pdf, other]

Title: SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management

Joerg Hoffman, Ingo Weber, Frank Michael Kraft

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 587-632, 2012

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

[126] arXiv:1401.5859 [pdf, other]

Title: Plan-based Policies for Efficient Multiple Battery Load Management

Maria Fox, Derek Long, Daniele Magazzeni

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 335-382, 2012

Subjects: Artificial Intelligence (cs.AI)

[127] arXiv:1401.5860 [pdf, other]

Title: A New Look at BDDs for Pseudo-Boolean Constraints

Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell, Valentin Mayer-Eichberger

Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 443-480, 2012

Subjects: Artificial Intelligence (cs.AI)

[128] arXiv:1401.5861 [pdf, other]

Title: Online Speedup Learning for Optimal Planning

Carmel Domshlak, Erez Karpas, Shaul Markovitch

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 709-755, 2012

Subjects: Artificial Intelligence (cs.AI)

[129] arXiv:1401.5869 [pdf, other]

Title: An Enhanced Branch-and-bound Algorithm for the Talent Scheduling Problem

Zizhen Zhang, Hu Qin, Xiaocong Liang, Andrew Lim

Subjects: Artificial Intelligence (cs.AI)

[130] arXiv:1401.6048 [pdf, other]

Title: Replanning in Domains with Partial Information and Sensing Actions

Ronen I. Brafman, Guy Shani

Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 565-600, 2012

Subjects: Artificial Intelligence (cs.AI)

[131] arXiv:1401.6049 [pdf, other]

Title: Generating Approximate Solutions to the TTP using a Linear Distance Relaxation

Richard Hoshino, Ken-ichi Kawarabayashi

Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 257-286, 2012

Subjects: Artificial Intelligence (cs.AI)

[132] arXiv:1401.6098 [pdf, other]

Title: An adaptive Simulated Annealing-based satellite observation scheduling method combined with a dynamic task clustering strategy

Guohua Wu, Huilin Wang, Haifeng Li, Witold Pedrycz, Dishan Qiu, Manhao Ma, Jin Liu

Comments: 23 pages, 5 figures, 4 tables

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

[133] arXiv:1401.6679 [pdf, other]

Title: Quality of Geographic Information: Ontological approach and Artificial Intelligence Tools

Robert Jeansoulin, Nic Wilson

Comments: 12 pages, 8th EC-GIS Workshop (European Commission), Dublin, Ireland, July, 3-5, 2002

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

[134] arXiv:1401.6686 [pdf, other]

Title: Perturbed Message Passing for Constraint Satisfaction Problems

Siamak Ravanbakhsh, Russell Greiner

Journal-ref: JMLR 16(Jul):1249-1274, 2015

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)

[135] arXiv:1401.7249 [pdf, other]

Title: Fuzzy Controller Design for Assisted Omni-Directional Treadmill Therapy

Atif Ali Khan, Oumair Naseer, Daciana Iliescu, Evor Hines

Comments: Presented at: "The International Conference on Soft Computing and Software Engineering (SCSE 2013)" at San Francisco State University at Downtown Campus, in San Francisco, California, USA, March 1-2, 2013

Journal-ref: The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 30-37, 2013

Subjects: Artificial Intelligence (cs.AI)

[136] arXiv:1401.7463 [pdf, other]

Title: Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

Pierre Flener, Justin Pearson

Subjects: Artificial Intelligence (cs.AI)

[137] arXiv:1401.7941 [pdf, other]

Title: Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks

Stefano V. Albrecht, Subramanian Ramamoorthy

Comments: 44 pages; final manuscript published in Journal of Artificial Intelligence Research (JAIR)

Subjects: Artificial Intelligence (cs.AI)

[138] arXiv:1401.8175 [pdf, other]

Title: Equilibrium Points of an AND-OR Tree: under Constraints on Probability

Toshio Suzuki, Yoshinao Niida

Comments: 13 pages, 3 figures

Journal-ref: ANN PURE APPL LOGIC 166, pp. 1150--1164 (2015)

Subjects: Artificial Intelligence (cs.AI)

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

Title: A DDoS-Aware IDS Model Based on Danger Theory and Mobile Agents

Mahdi Zamani, Mahnush Movahedi, Mohammad Ebadzadeh, Hossein Pedram

Comments: 10 pages, 3 figure

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA)

[140] arXiv:1401.0166 (cross-list from cs.CV) [pdf, other]

Title: Medical Image Fusion: A survey of the state of the art

A.P. James, B. V. Dasarathy

Comments: Information Fusion, 2014

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Medical Physics (physics.med-ph)

[141] arXiv:1401.0282 (cross-list from cs.MA) [pdf, other]

Title: Design of a GIS-based Assistant Software Agent for the Incident Commander to Coordinate Emergency Response Operations

Reza Nourjou, Michinori Hatayama, Stephen F. Smith, Atabak Sadeghi, Pedro Szekely

Comments: 3 pages, 1 figure, In Workshop on Robots and Sensors integration in future rescue INformation system (ROSIN' 13). In Conjunction of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS' 13), 2013

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

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

Title: Quantitative methods for Phylogenetic Inference in Historical Linguistics: An experimental case study of South Central Dravidian

Taraka Rama, Sudheer Kolachina, Lakshmi Bai B

Journal-ref: Indian Linguistics, Volume 70, 2009

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

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

Title: Data Smashing

Ishanu Chattopadhyay, Hod Lipson

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Information Theory (cs.IT); Machine Learning (stat.ML)

[144] arXiv:1401.0943 (cross-list from cs.CY) [pdf, other]

Title: LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet

Adeyinka K Akanbi

Comments: 9 Pages, 7 figures, Research Paper

Journal-ref: International Journal of Research in Computer Science, 4 (1): pp. 1-9, January 2014

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)

[145] arXiv:1401.1031 (cross-list from cs.HC) [pdf, other]

Title: Constraint Solvers for User Interface Layout

Noreen Jamil

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

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

Title: Belief Revision in Structured Probabilistic Argumentation

Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa

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

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

Title: Optimal Demand Response Using Device Based Reinforcement Learning

Zheng Wen, Daniel O'Neill, Hamid Reza Maei

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

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

Title: Beyond One-Step-Ahead Forecasting: Evaluation of Alternative Multi-Step-Ahead Forecasting Models for Crude Oil Prices

Tao Xiong, Yukun Bao, Zhongyi Hu

Comments: 32 pages

Journal-ref: Energy Economics. 40, 2013: 405-415

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

[149] arXiv:1401.1752 (cross-list from cs.HC) [pdf, other]

Title: Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy

Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)

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

Title: A PSO and Pattern Search based Memetic Algorithm for SVMs Parameters Optimization

Yukun Bao, Zhongyi Hu, Tao Xiong

Comments: 27 pages. Neurocomputing, 2013

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)