JAIR - arXivDaily 期刊&会议

1401.3882 2014-01-17 cs.AI

Probabilistic Relational Planning with First Order Decision Diagrams

Saket Joshi, Roni Khardon

Journal ref Journal Of Artificial Intelligence Research, Volume 41, pages 231-266, 2011

1401.3881 2014-01-17 cs.AI

Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition

Mustafa Bilgic, Lise Getoor

Journal ref Journal Of Artificial Intelligence Research, Volume 41, pages 69-95, 2011

1401.3880 2014-01-17 cs.LG

Regression Conformal Prediction with Nearest Neighbours

Harris Papadopoulos, Vladimir Vovk, Alex Gammerman

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 815-840, 2011

1401.3879 2014-01-17 cs.AI cs.DS

Soft Constraints of Difference and Equality

Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon

Journal ref Journal Of Artificial Intelligence Research, Volume 41, pages 97-130, 2011

1401.3878 2014-01-17 cs.LO cs.AI

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 701-728, 2011

1401.3877 2014-01-17 cs.LG cs.AI stat.ML

Properties of Bethe Free Energies and Message Passing in Gaussian Models

Botond Cseke, Tom Heskes

Journal ref Journal Of Artificial Intelligence Research, Volume 41, pages 1-24, 2011

1401.3876 2014-01-17 cs.GT cs.MA

Determining Possible and Necessary Winners Given Partial Orders

Lirong Xia, Vincent Conitzer

Journal ref Journal Of Artificial Intelligence Research, Volume 41, pages 25-67, 2011

1401.3875 2014-01-17 cs.AI

On-line Planning and Scheduling: An Application to Controlling Modular Printers

Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P. J. Fromherz

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 415-468, 2011

1401.3874 2014-01-17 cs.IR cs.DB

Identifying Aspects for Web-Search Queries

Fei Wu, Jayant Madhavan, Alon Halevy

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 677-700, 2011

1401.3872 2014-01-17 cs.AI

Second-Order Consistencies

Christophe Lecoutre, Stephane Cardon, Julien Vion

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 175-219, 2011

1401.3871 2014-01-17 cs.AI cs.LG

Non-Deterministic Policies in Markovian Decision Processes

Mahdi Milani Fard, Joelle Pineau

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 1-24, 2011

1401.3870 2014-01-17 cs.LG cs.AI stat.ML

Learning to Make Predictions In Partially Observable Environments Without a Generative Model

Erik Talvitie, Satinder Singh

Journal ref Journal Of Artificial Intelligence Research, Volume 42, pages 353-392, 2011

1401.3869 2014-01-17 cs.GT cs.MA

False-Name Manipulations in Weighted Voting Games

Haris Aziz, Yoram Bachrach, Edith Elkind, Mike Paterson

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 57-93, 2011

1401.3868 2014-01-17 cs.LO cs.AI

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

Albert Atserias, Johannes Klaus Fichte, Marc Thurley

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 353-373, 2011

1401.3867 2014-01-17 cs.AI

Iterated Belief Change Due to Actions and Observations

Aaron Hunter, James P. Delgrande

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 269-304, 2011

1401.3866 2014-01-17 cs.AI cs.LO cs.MA

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

Christian Geist, Ulle Endriss

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 143-174, 2011

1401.3864 2014-01-17 cs.LO cs.AI

A Logical Study of Partial Entailment

Yi Zhou, Yan Zhang

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 25-56, 2011

1401.3863 2014-01-17 cs.AI

An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem

Gerold Jäger, Weixiong Zhang

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 663-687, 2010

1401.3862 2014-01-17 cs.MA

A Probabilistic Approach for Maintaining Trust Based on Evidence

Yonghong Wang, Chung-Wei Hang, Munindar P. Singh

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 221-267, 2011

1401.3861 2014-01-17 cs.AI cs.DC

Best-First Heuristic Search for Multicore Machines

Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 689-743, 2010

1401.3860 2014-01-17 cs.AI

Planning with Noisy Probabilistic Relational Rules

Tobias Lang, Marc Toussaint

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

1401.3859 2014-01-17 cs.AI cs.CR cs.CY

A Utility-Theoretic Approach to Privacy in Online Services

Andreas Krause, Eric Horvitz

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 633-662, 2010

1401.3858 2014-01-17 cs.LO cs.AI

Logical Foundations of RDF(S) with Datatypes

Jos de Bruijn, Stijn Heymans

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 535-568, 2010

1401.3857 2014-01-17 cs.AI

Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding

Vadim Bulitko, Yngvi Björnsson, Ramon Lawrence

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 269-300, 2010

1401.3856 2014-01-17 cs.GT

Cooperative Games with Overlapping Coalitions

Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis, Maria Polukarov, Nicholas Robert Jennings

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 179-216, 2010

1401.3855 2014-01-17 cs.GT cs.AI

Algorithms for Closed Under Rational Behavior (CURB) Sets

Michael Benisch, George B. Davis, Tuomas Sandholm

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 513-534, 2010

1401.3854 2014-01-17 cs.AI

A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

Bonny Banerjee, B. Chandrasekaran

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 373-427, 2010

1401.3853 2014-01-17 cs.AI

Implicit Abstraction Heuristics

Michael Katz, Carmel Domshlak

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 51-126, 2010

1401.3852 2014-01-17 cs.GT

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 633-685, 2010

1401.3851 2014-01-17 cs.AI cs.CR

Intrusion Detection using Continuous Time Bayesian Networks

Jing Xu, Christian R. Shelton

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 745-774, 2010