Stop the war!
Остановите войну!
for scientists:
default search action
Annals of Mathematics and Artificial Intelligence, Volume 62
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 - Sara Miner More, Pavel Naumov:
Hypergraphs of multiparty secrets. 79-101 - 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 - Luca Pulina, Armando Tacchella:
NeVer: a tool for artificial neural networks verification. 403-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.