JAIR - arXivDaily 期刊&会议

1401.5850 2014-01-24 cs.LO cs.AI

The Logical Difference for the Lightweight Description Logic EL

Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

Journal ref Journal Of Artificial Intelligence Research, Volume 44, pages 633-708, 2012

1401.5848 2014-01-24 cs.AI

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

1401.5700 2014-01-23 cs.CL

Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora

Felipe Sánchez-Martínez, Mikel L. Forcada

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 605-635, 2009

1401.5699 2014-01-23 cs.CL

Text Relatedness Based on a Word Thesaurus

George Tsatsaronis, Iraklis Varlamis, Michalis Vazirgiannis

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 1-39, 2010

1401.5698 2014-01-23 cs.CL

Identification of Pleonastic It Using the Web

Yifan Li, Petr Musilek, Marek Reformat, Loren Wyard-Scott

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 339-389, 2009

1401.5697 2014-01-23 cs.CL

Wikipedia-based Semantic Interpretation for Natural Language Processing

Evgeniy Gabrilovich, Shaul Markovitch

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 443-498, 2009

1401.5696 2014-01-23 cs.CL

Unsupervised Methods for Determining Object and Relation Synonyms on the Web

Alexander Pieter Yates, Oren Etzioni

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 255-296, 2009

1401.5695 2014-01-23 cs.CL

Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches

Tahira Naseem, Benjamin Snyder, Jacob Eisenstein, Regina Barzilay

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 341-385, 2009

1401.5694 2014-01-23 cs.CL

Cross-lingual Annotation Projection for Semantic Roles

Sebastian Pado, Mirella Lapata

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 307-340, 2009

1401.5693 2014-01-23 cs.CL

Sentence Compression as Tree Transduction

Trevor Anthony Cohn, Mirella Lapata

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 637-674, 2009

1401.5674 2014-01-23 cs.CL

Generalized Biwords for Bitext Compression and Translation Spotting

Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquin Adiego

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 389-418, 2012

1401.5390 2014-01-22 cs.CL cs.AI cs.LG

Learning to Win by Reading Manuals in a Monte-Carlo Framework

S. R. K. Branavan, David Silver, Regina Barzilay

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 661-704, 2012

1401.5389 2014-01-22 cs.IR cs.CL cs.LG

Which Clustering Do You Want? Inducing Your Ideal Clustering with Minimal Feedback

Sajib Dasgupta, Vincent Ng

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 581-632, 2010

1401.4613 2014-01-21 cs.AI cs.LO

Local Consistency and SAT-Solvers

Peter Jeavons, Justyna Petke

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

1401.4612 2014-01-21 cs.RO cs.CV

Modelling Observation Correlations for Active Exploration and Robust Object Detection

Javier Velez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy

Journal ref Journal Of Artificial Intelligence Research, Volume 44, pages 423-453, 2012

1401.4609 2014-01-21 cs.DS cs.AI

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

Léon R. Planken, Mathijs M. de Weerdt, Roman P. J. van der Krogt

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 353-388, 2012

1401.4607 2014-01-21 cs.AI cs.LO

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

1401.4606 2014-01-21 cs.AI

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

1401.4605 2014-01-21 cs.AI cs.DS

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

1401.4604 2014-01-21 cs.AI cs.LO

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

1401.4603 2014-01-21 cs.AI cs.CL

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

1401.4602 2014-01-21 cs.GT cs.MA

Cloning in Elections: Finding the Possible Winners

Edith Elkind, Piotr Faliszewski, Arkadii Slinko

Journal ref Journal Of Artificial Intelligence Research, Volume 42, pages 529-573, 2011

1401.4601 2014-01-21 cs.AI

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

1401.4600 2014-01-21 cs.AI

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

1401.4599 2014-01-21 cs.RO cs.AI

Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation

Freek Stulp, Andreas Fedrizzi, Lorenz Mösenlechner, Michael Beetz

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 1-42, 2012

1401.4598 2014-01-21 cs.AI

SAS+ Planning as Satisfiability

Ruoyun Huang, Yixin Chen, Weixiong Zhang

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

1401.4597 2014-01-21 cs.AI

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

1401.4596 2014-01-21 cs.LO cs.AI

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

Journal ref Journal Of Artificial Intelligence Research, Volume 42, pages 487-527, 2011

1401.4595 2014-01-21 cs.AI

Robust Local Search for Solving RCPSP/max with Durational Uncertainty

Na Fu, Hoong Chuin Lau, Pradeep R. Varakantham, Fei Xiao

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 43-86, 2012

1401.4593 2014-01-21 cs.MA cs.AI

Location-Based Reasoning about Complex Multi-Agent Behavior

Adam Sadilek, Henry Kautz

Journal ref Journal Of Artificial Intelligence Research, Volume 43, pages 87-133, 2012