The Generalized A* Architecture.
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling.
Phase Transition for Random Quantified XOR-Formulas.
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
NP Animacy Identification for Anaphora Resolution.
Learning Symbolic Models of Stochastic Domains.
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.
Combination Strategies for Semantic Role Labeling.
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.
Computationally Feasible VCG Mechanisms.
The Language of Search.
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.