JAIR 2007

44 papers

A Framework for Kernel-Based Multi-Category Classification Simon I. Hill, Arnaud Doucet

Abstract Reasoning for Planning and Coordination Bradley J. Clement, Edmund H. Durfee, Anthony C. Barrett

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities Cédric Pralet, Gérard Verfaillie, Thomas Schiex

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Tran Cao Son, Enrico Pontelli, Phan Huy Tu

Anytime Heuristic Search Eric A. Hansen, Rong Zhou

Auctions with Severely Bounded Communication Liad Blumrosen, Noam Nisan, Ilya Segal

Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems Alex S. Fukunaga, Richard E. Korf

Chain: A Dynamic Double Auction Framework for Matching Patient Agents Jonathan Bredin, David C. Parkes, Quang Duong

Closed-Loop Learning of Visual Control Policies Sébastien Jodogne, Justus H. Piater

Combination Strategies for Semantic Role Labeling Mihai Surdeanu, Lluís Màrquez, Xavier Carreras, Pere Comas

Compressed Pattern Databases Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte

Computationally Feasible VCG Mechanisms Noam Nisan, Amir Ronen

Consistency and Random Constraint Satisfaction Models Yong Gao, Joseph C. Culberson

Cutset Sampling for Bayesian Networks Bozhena Bidyuk, Rina Dechter

Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin, Yin Chen

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia, Cristopher Moore, Doug Strain

Graph Abstraction in Real-Time Heuristic Search Vadim Bulitko, Nathan R. Sturtevant, Jieshan Lu, Timothy Yau

Individual and Domain Adaptation in Sentence Planning for Dialogue Marilyn A. Walker, Amanda Stent, François Mairesse, Rashmi Prasad

Junta Distributions and the Average-Case Complexity of Manipulating Elections Ariel D. Procaccia, Jeffrey S. Rosenschein

Knowledge Derived from Wikipedia for Computing Semantic Relatedness Simone Paolo Ponzetto, Michael Strube

Learning Semantic Definitions of Online Information Sources Mark James Carman, Craig A. Knoblock

Learning Symbolic Models of Stochastic Domains Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling

Learning to Play Using Low-Complexity Rule-Based Policies: Illustrations Through Ms. Pac-Man Istvan Szita, András Lörincz

Marvin: A Heuristic Search Planner with Online Macro-Action Learning Andrew Coles, Amanda Smith

Natural Events John Bell

New Inference Rules for Max-SAT Chu Min Li, Felip Manyà, Jordi Planes

NP Animacy Identification for Anaphora Resolution Constantin Orasan, Richard Evans

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms Radu Jurca, Boi Faltings

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini

On the Semantics of Logic Programs with Preferences Sergio Greco, Irina Trubitsyna, Ester Zumpano

Phase Transition for Random Quantified XOR-Formulas Nadia Creignou, Hervé Daudé, Uwe Egly

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations J. Christopher Beck, Nic Wilson

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting Carmel Domshlak, Jörg Hoffmann

Query-Time Entity Resolution Indrajit Bhattacharya, Lise Getoor

Reasoning with Very Expressive Fuzzy Description Logics Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling J. Christopher Beck

Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang

The Generalized A* Architecture Pedro F. Felzenszwalb, David A. McAllester

The Language of Search Jinbo Huang, Adnan Darwiche

The Planning Spectrum - One, Two, Three, Infinity Marco Pistore, Moshe Y. Vardi

The Strategy-Proofness Landscape of Merging Patricia Everaere, Sébastien Konieczny, Pierre Marquis

Topic and Role Discovery in Social Networks with Experiments on Enron and Academic Email Andrew McCallum, Xuerui Wang, Andrés Corrada-Emmanuel

Using Linguistic Cues for the Automatic Recognition of Personality in Conversation and Text François Mairesse, Marilyn A. Walker, Matthias R. Mehl, Roger K. Moore