Volume 62, Numbers 1-2, June 2011
Jürgen Dix, João Leite: Preface to the special issue on computational logics in multi-agent systems. 1-5- Toby Walsh: Is computational complexity a barrier to manipulation? 7-26
- Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: A normative programming language for multi-agent organisations. 27-53
- Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. 55-77
- Christoph Benzmüller: Combining and automating classical and non-classical logics in classical higher-order logics. 103-128
- Robert A. Kowalski, Fariba Sadri: Abductive logic programming agents with destructive databases. 129-158
Volume 62, Numbers 3-4, July 2011
- Marco Gavanelli, Toni Mancini: 17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". 159-160
- Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. 161-186
- Marco Baioletti, Alfredo Milani, Valentina Poggioni, Fabio Rossi: Experimental evaluation of pheromone models in ACOPlan. 187-217
- Duygu Çakmak, Esra Erdem, Halit Erdogan: Computing weighted solutions in ASP: representation-based method vs. search-based method. 219-258
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina: Planning in domains with derived predicates through rule-action graphs and local search. 259-298
- Daniel Guimarans, Rosa Herrero, Daniel Riera, Angel A. Juan, Juan José Ramos: Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the Vehicle Routing Problem. 299-315
- João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce: Boolean lexicographic optimization: algorithms & applications. 317-343
- Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani: Knowledge-based multi-criteria optimization to support indoor positioning. 345-370
- Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith: Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis. 371-402
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team