default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI Communications, Volume 25
Volume 25, Number 1, 2012
- Moser Silva Fagundes, Sascha Ossowski
, Michael Luck, Simon Miles:
Using Normative Markov Decision Processes for evaluating electronic contracts. 1-17 - Jonathan Rubin, Ian D. Watson:
Case-based strategies in computer poker. 19-48 - Geoff Sutcliffe:
The CADE-23 Automated Theorem Proving System Competition - CASC-23. 49-63 - Cristina Rubio-Escudero:
Fusion of knowledge towards the identification of genetic profiles. 65-67 - Pedro Pereira Rodrigues:
Learning from ubiquitous data streams: Clustering data and data sources. 69-71
Volume 25, Number 2, 2012
- Marco Gavanelli, Toni Mancini:
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". 73-74 - Ruben Martins, Vasco Manquinho, Inês Lynce:
Parallel search for maximum satisfiability. 75-95 - Anton Belov, Inês Lynce, João Marques-Silva:
Towards efficient MUS extraction. 97-116 - Luca Pulina, Armando Tacchella:
Challenging SMT solvers to verify neural networks. 117-135 - Marco Maratea, Luca Pulina:
Solving disjunctive temporal problems with preferences using maximum satisfiability. 137-156 - Alfredo Milani, Valentino Santucci:
Community of scientist optimization: An autonomy oriented approach to distributed optimization. 157-172 - Sergio González-Martín, Angel A. Juan, Daniel Riera, Quim Castellà, Rodrigo Muñoz, Alejandra Pérez:
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem. 173-189 - Ian P. Gent, Ian Miguel, Neil C. A. Moore:
An empirical study of learning and forgetting constraints. 191-208
Volume 25, Number 3, 2012
- Daniel Borrajo, Maxim Likhachev, Carlos Linares López:
The Symposium on Combinatorial Search. 209-210 - Lars Otten, Rina Dechter:
Anytime AND/OR depth-first search for combinatorial optimization. 211-227 - Roni Stern, Meir Kalech, Ariel Felner:
Finding patterns in an unknown graph. 229-256 - Lars Kotthoff, Ian P. Gent, Ian Miguel:
An evaluation of machine learning in algorithm selection for search problems. 257-270
Volume 25, Number 4, 2012
- Helen Kwong, Neil Yorke-Smith:
Detection of imperative and declarative question-answer pairs in email conversations. 271-283 - Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo:
Reasoning on partially-ordered observations in online diagnosis of DESs. 285-294 - Filippo Neri:
Agent-based modeling under partial and full knowledge learning settings to simulate financial markets. 295-304 - Seyed Naser Razavi, Nicolas Gaud, Abderrafiaa Koukam, Nasser Mozayani:
A genetic programming based learning system to derive multipole and local expansions for the fast multipole method. 305-319 - Pan Tang, Hongwei Wang, Chao Qi, Jian Wang:
Anytime heuristic search in temporal HTN planning for developing incident action plans. 321-342 - Marco Maratea:
Planning as satisfiability with IPC simple preferences and action costs. 343-360 - Luís Moniz Pereira:
Book Review. 361-364 - Clemente Rubio-Manzano:
Design and implementation of a fuzzy logic programming language using weak unification. 365-367 - Fermín L. Cruz:
Feature-based opinion extraction: A practical, domain-adaptable approach. 369-371 - Ester Martínez-Martín:
Computer vision methods for robot tasks: Motion detection, depth estimation and tracking. 373-375 - Jose M. Such:
Enhancing privacy in Multi-agent Systems. 377-379 - Ana Granados:
Analysis and study on text representation to improve the accuracy of the normalized compression distance. 381-384 - Francisco G. Bulnes:
Classification of periodical defects in inspection systems based on computer vision. 385-386 - Zoe Falomir:
Qualitative distances and qualitative description of images for indoor scene description and recognition in robotics. 387-389 - Luciano H. Tamargo:
Knowledge dynamics in multi-agent systems: Plausibility, belief revision and forwarding information. 391-393
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.
last updated on 2026-03-29 22:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
