JAIR - arXivDaily 期刊&会议

1401.3487 2014-01-16 cs.LO cs.AI

The DL-Lite Family and Relations

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 1-69, 2009

1401.3486 2014-01-16 cs.AI

The Role of Macros in Tractable Planning

Anders Jonsson

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 471-511, 2009

1401.3485 2014-01-16 cs.LO cs.AI

Hypertableau Reasoning for Description Logics

Boris Motik, Rob Shearer, Ian Horrocks

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009

1401.3484 2014-01-16 cs.LO cs.AI

Modularity Aspects of Disjunctive Stable Models

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009

1401.3483 2014-01-16 cs.AI

Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

Hai Leong Chieu, Wee Sun Sun Lee

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 229-266, 2009

1401.3482 2014-01-16 cs.CL cs.AI cs.IR

Enhancing QA Systems with Complex Temporal Question Processing Capabilities

Estela Saquete, Jose Luis Vicedo, Patricio Martínez-Barco, Rafael Muñoz, Hector Llorens

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 775-811, 2009

1401.3481 2014-01-16 cs.AI

Bounds Arc Consistency for Weighted CSPs

Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 593-621, 2009

1401.3479 2014-01-16 cs.CL cs.IR cs.LG

Complex Question Answering: Unsupervised Learning Approaches and Experiments

Yllias Chali, Shafiq Rayhan Joty, Sadid A. Hasan

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 1-47, 2009

1401.3478 2014-01-16 cs.LG cs.AI stat.ML

Efficient Markov Network Structure Discovery Using Independence Tests

Facundo Bromberg, Dimitris Margaritis, Vasant Honavar

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 449-484, 2009

1401.3477 2014-01-16 cs.AI

Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

José Enrique Gallardo, Carlos Cotta, Antonio José Fernández

Comments arXiv admin note: substantial text overlap with arXiv:0812.4170

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 533-555, 2009

1401.3476 2014-01-16 cs.LO cs.AI

The Complexity of Circumscription in DLs

Piero A. Bonatti, Carsten Lutz, Frank Wolter

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 717-773, 2009

1401.3475 2014-01-16 cs.LO cs.AI

Prime Implicates and Prime Implicants: From Propositional to Modal Logic

Meghyn Bienvenu

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 71-128, 2009

1401.3474 2014-01-16 cs.AI

Optimal Value of Information in Graphical Models

Andreas Krause, Carlos Guestrin

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 557-591, 2009

1401.3473 2014-01-16 cs.GT

Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty

Sarvapali Dyanand Ramchurn, Claudio Mezzetti, Andrea Giovannucci, Juan Antonio Rodriguez-Aguilar, Rajdeep Kumar Dash, Nicholas Robert Jennings

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 119-159, 2009

1401.3472 2014-01-16 cs.LO cs.AI

Variable Forgetting in Reasoning about Knowledge

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 677-716, 2009

1401.3471 2014-01-16 cs.AI

Conservative Inference Rule for Uncertain Reasoning under Incompleteness

Marco Zaffalon, Enrique Miranda

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 757-821, 2009

1401.3470 2014-01-16 cs.AI

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection

Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 49-117, 2009

1401.3469 2014-01-16 cs.AI

Exploiting Single-Cycle Symmetries in Continuous Constraint Problems

Vicente Ruiz de Angulo, Carme Torras

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 499-520, 2009

1401.3468 2014-01-16 cs.AI

Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width

Hector Palacios, Hector Geffner

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 623-675, 2009

1401.3467 2014-01-16 cs.AI cs.CC

Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard

Omer Giménez, Anders Jonsson

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 675-706, 2009

1401.3466 2014-01-16 cs.MA cs.AI

An Anytime Algorithm for Optimal Coalition Structure Generation

Talal Rahwan, Sarvapali Dyanand Ramchurn, Nicholas Robert Jennings, Andrea Giovannucci

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 521-567, 2009

1401.3465 2014-01-16 cs.GT cs.SI physics.soc-ph

Learning to Reach Agreement in a Continuous Ultimatum Game

Steven de Jong, Simon Uyttendaele, Karl Tuyls

Journal ref Journal Of Artificial Intelligence Research, Volume 33, pages 551-574, 2008

1401.3464 2014-01-16 cs.NE cs.AI cs.LG

Learning Bayesian Network Equivalence Classes with Ant Colony Optimization

Rónán Daly, Qiang Shen

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 391-447, 2009

1401.3463 2014-01-16 cs.LO cs.AI

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

Roberto Sebastiani, Michele Vescovi

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 343-389, 2009

1401.3462 2014-01-16 cs.RO cs.AI

Efficient Informative Sensing using Multiple Robots

Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 707-755, 2009

1401.3461 2014-01-16 cs.AI

A Bilinear Programming Approach for Multiagent Planning

Marek Petrik, Shlomo Zilberstein

Journal ref Journal Of Artificial Intelligence Research, Volume 35, pages 235-274, 2009

1401.3460 2014-01-16 cs.AI

Policy Iteration for Decentralized Control of Markov Decision Processes

Daniel S. Bernstein, Christopher Amato, Eric A. Hansen, Shlomo Zilberstein

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 89-132, 2009

1401.3459 2014-01-16 cs.AI

Generic Preferences over Subsets of Structured Objects

Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 133-164, 2009

1401.3458 2014-01-16 cs.AI

Solving #SAT and Bayesian Inference with Backtracking Search

Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 391-442, 2009

1401.3457 2014-01-16 cs.CL cs.IR

Learning Document-Level Semantic Properties from Free-Text Annotations

S. R. K. Branavan, Harr Chen, Jacob Eisenstein, Regina Barzilay

Journal ref Journal Of Artificial Intelligence Research, Volume 34, pages 569-603, 2009