JAIR - arXivDaily 期刊&会议

1106.1813 2011-11-25 cs.AI

SMOTE: Synthetic Minority Over-sampling Technique

N. V. Chawla, K. W. Bowyer, L. O. Hall, W. P. Kegelmeyer

Journal ref Journal Of Artificial Intelligence Research, Volume 16, pages 321-357, 2002

1110.0020 2011-11-21 cs.AI

Causes of Ineradicable Spurious Predictions in Qualitative Simulation

Ö. Yılmaz, A. C. C. Say

Journal ref Journal Of Artificial Intelligence Research, Volume 27, pages 551-575, 2006

1111.2249 2011-11-10 cs.AI

SATzilla: Portfolio-based Algorithm Selection for SAT

Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 565-606, 2008

1111.0860 2011-11-04 cs.AI

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

E. Giunchiglia, M. Narizzano, A. Tacchella

Journal ref Journal Of Artificial Intelligence Research, Volume 26, pages 371-416, 2006

1111.0068 2011-11-02 cs.AI

First Order Decision Diagrams for Relational MDPs

Chenggang Wang, Saket Joshi, Roni Khardon

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 431-472, 2008

1111.0067 2011-11-02 cs.AI

A General Theory of Additive State Space Abstractions

Fan Yang, Joseph Culberson, Robert Holte, Uzi Zahavi, Ariel Felner

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 631-662, 2008

1111.0065 2011-11-02 cs.AI

Communication-Based Decomposition Mechanisms for Decentralized MDPs

Claudia V. Goldman, Shlomo Zilberstein

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 169-202, 2008

1111.0062 2011-11-02 cs.AI

Optimal and Approximate Q-value Functions for Decentralized POMDPs

Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 289-353, 2008

1111.0060 2011-11-02 cs.AI

A Constraint Programming Approach for Solving a Queueing Control Problem

Daria Terekhov, J. Christopher Beck

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 123-167, 2008

1111.0059 2011-11-02 cs.AI

Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 217-257, 2008

1111.0056 2011-11-02 cs.AI

The Complexity of Planning Problems With Simple Causal Graphs

Omer Giménez, Anders Jonsson

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 319-351, 2008

1111.0055 2011-11-02 cs.AI

Extended RDF as a Semantic Foundation of Rule Markup Languages

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 37-94, 2008

1111.0054 2011-11-02 cs.AI cs.SE

CTL Model Update for System Modifications

Yulin Ding, Y. Ding, Yan Zhang, Y. Zhang

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 113-155, 2008

1111.0053 2011-11-02 cs.AI

Exploiting Subgraph Structure in Multi-Robot Path Planning

Malcolm Ross Kinsella Ryan

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 497-542, 2008

1111.0051 2011-11-02 cs.AI

Qualitative System Identification from Imperfect Data

George M. Coghill, Ross D. King, Ashwin Srinivasan

Journal ref Journal Of Artificial Intelligence Research, Volume 32, pages 825-877, 2008

1111.0049 2011-11-02 cs.AI

Conjunctive Query Answering for the Description Logic SHIQ

Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

Journal ref Journal Of Artificial Intelligence Research, Volume 31, pages 157-204, 2008

1111.0048 2011-11-02 cs.CL

Individual and Domain Adaptation in Sentence Planning for Dialogue

F. Mairesse, R. Prasad, A. Stent, M. A. Walker

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 413-456, 2007

1111.0046 2011-11-02 cs.GT

Chain: A Dynamic Double Auction Framework for Matching Patient Agents

J. L. Bredin, Q. Duong, D. C. Parkes

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 133-179, 2007

1111.0045 2011-11-02 cs.DB cs.AI

Query-time Entity Resolution

I. Bhattacharya, L. Getoor

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 621-657, 2007

1111.0044 2011-11-02 cs.AI

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting

C. Domshlak, J. Hoffmann

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 565-620, 2007

1111.0043 2011-11-02 cs.AI

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms

B. Faltings, R. Jurca

Journal ref Journal Of Artificial Intelligence Research, Volume 29, pages 391-419, 2007

1111.0041 2011-11-02 cs.AI cs.MA cs.PL

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

R. H. Bordini, A. F. Moreira, R. Vieira, M. Wooldridge

Journal ref Journal Of Artificial Intelligence Research, Volume 29, pages 221-267, 2007

1111.0040 2011-11-02 cs.AI

New Inference Rules for Max-SAT

C. M. Li, F. Manya, J. Planes

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 321-359, 2007

1111.0039 2011-11-02 cs.AI

Reasoning with Very Expressive Fuzzy Description Logics

I. Horrocks, J. Z. Pan, G. Stamou, G. Stoilos, V. Tzouvaras

Journal ref Journal Of Artificial Intelligence Research, Volume 30, pages 273-320, 2007

1110.5886 2011-10-27 cs.GT

A Continuation Method for Nash Equilibria in Structured Games

B. Blum, D. Koller, C. R. Shelton

Journal ref Journal Of Artificial Intelligence Research, Volume 25, pages 457-502, 2006

1110.4076 2011-10-19 cs.AI

Learning in Real-Time Search: A Unifying Framework

V. Bulitko, G. Lee

Journal ref Journal Of Artificial Intelligence Research, Volume 25, pages 119-157, 2006

1110.2767 2011-10-13 cs.MA cs.AI

Resource Allocation Among Agents with MDP-Induced Preferences

D. A. Dolgov, E. H. Durfee

Journal ref Journal Of Artificial Intelligence Research, Volume 27, pages 505-549, 2006

1110.2766 2011-10-13 cs.GT cs.MA

The Strategy-Proofness Landscape of Merging

P. Everaere, S. Konieczny, P. Marquis

Journal ref Journal Of Artificial Intelligence Research, Volume 28, pages 49-105, 2007

1110.2765 2011-10-13 cs.MA cs.AI

Multi-Issue Negotiation with Deadlines

S. S. Fatima, N. R. Jennings, M. J. Wooldridge

Journal ref Journal Of Artificial Intelligence Research, Volume 27, pages 381-417, 2006

1110.2743 2011-10-13 cs.AI

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling

J. C. Beck

Journal ref Journal Of Artificial Intelligence Research, Volume 29, pages 49-77, 2007