Volume 29,
2007
- Nadia Creignou, Hervé Daudé, Uwe Egly:
Phase Transition for Random Quantified XOR-Formulas.
1-18
- Noam Nisan, Amir Ronen:
Computationally Feasible VCG Mechanisms.
19-47
- J. Christopher Beck:
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling.
49-77
- Constantin Orasan, Richard Evans:
NP Animacy Identification for Anaphora Resolution.
79-103
- Mihai Surdeanu, Lluís Màrquez, Xavier Carreras, Pere Comas:
Combination Strategies for Semantic Role Labeling.
105-151
- Pedro F. Felzenszwalb, David A. McAllester:
The Generalized A* Architecture.
153-190
- Jinbo Huang, Adnan Darwiche:
The Language of Search.
191-219
- Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
221-267
- Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.
269-307
- Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling:
Learning Symbolic Models of Stochastic Domains.
309-352
- Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
353-389
- Radu Jurca, Boi Faltings:
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.
391-419
- Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.
421-489
Last update Tue Feb 14 04:19:56 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
