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)