default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI Communications, Volume 26
Volume 26, Number 1, 2013
- Alexander Felfernig, Franz Wotawa
:
Intelligent engineering techniques for knowledge bases. 1-2 - Andreas A. Falkner, Alois Haselböck:
Challenges of knowledge evolution in practice. 3-14 - Alexander Felfernig, Stefan Schippel, Gerhard Leitner, Florian Reinfrank, Klaus Isak, Monika Mandl, Paul Blazek, Gerald Ninaus:
Automated repair of scoring rules in constraint-based recommender systems. 15-27 - Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer:
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. 29-38 - Lothar Hotz, Katharina Wolter:
Beyond physical product configuration - Configuration in unusual domains. 39-66 - Guy Alain Narboni:
On rule systems whose consistency can be locally maintained. 67-77 - Adam Pease, Christoph Benzmüller:
Sigma: An integrated development environment for formal ontology. 79-97 - Juha Tiihonen, Mikko Heiskala, Andreas Anderson, Timo Soininen:
WeCoTin - A practical logic-based sales configurator. 99-131 - Franz Wotawa, Ingo Pill:
On classification and modeling issues in distributed model-based diagnosis. 133-143
Volume 26, Number 2, 2013
- Sangwoo Kang, Youngjoong Ko, Jungyun Seo:
A dialogue management system using a corpus-based framework and a dynamic dialogue transition model. 145-159 - Hamidreza Alvari, Sattar Hashemi, Ali Hamzeh:
Discovering overlapping communities in social networks: A novel game-theoretic approach. 161-177 - Gianluca Torta, Pietro Torasso:
Automatic component abstraction for Model-Based Diagnosis on relational models. 179-209 - Geoff Sutcliffe:
The 6th IJCAR automated theorem proving system competition - CASC-J6. 211-223 - Guy Shani, Asela Gunawardana:
Tutorial on application-oriented evaluation of recommendation systems. 225-236 - Han The Anh, Luís Moniz Pereira:
State-of-the-art of intention recognition and its use in decision making. 237-246 - Norberto Díaz-Díaz:
Genes functional coherence based on actual biological knowledge. 247-249 - Irene Barba:
Constraint-based planning and scheduling techniques for the optimized management of business processes. 251-253 - Daniel Villatoro:
Social norms for self-policing multi-agent systems and virtual societies. 255-256 - Fabio Mercorio:
Model checking for universal planning in deterministic and non-deterministic domains. 257-259
Volume 26, Number 3, 2013
- Khalil M. El Hindi:
Specific-class distance measures for nominal attributes. 261-279 - Ricardo Gamelas Sousa, Jaime S. Cardoso:
The data replication method for the classification with reject option. 281-302 - Ljiljana Seric, Maja Stula, Darko Stipanicev:
Engineering of holonic multi agent intelligent forest fire monitoring system. 303-316 - Natalia Criado:
Using norms to control open multi-agent systems. 317-318 - Mauro Vallati:
Efficient planning through automatic configuration and machine learning. 319-321 - María R. Sierra:
Improving heuristic search algorithms by means of pruning by dominance. Application to scheduling problems. 323-324 - Sara Ceschia:
Local search algorithms for integrated logistics. 325-326 - F. Javier Ortega:
Detection of dishonest behaviors in on-line networks using graph-based ranking techniques. 327-329
Volume 26, Number 4, 2013
- Carlos Linares López, Sergio Jiménez Celorrio, Malte Helmert:
Automating the evaluation of planning systems. 331-354 - David Griol, Javier Carbó, José M. Molina:
A statistical simulation technique to develop and evaluate conversational agents. 355-371 - Gianfranco Lamperti, Michele Scandale:
From diagnosis of active systems to incremental determinization of finite acyclic automata. 373-393 - Emanuele Di Rosa, Enrico Giunchiglia:
Combining approaches for solving satisfiability problems with qualitative preferences. 395-408 - Diana Borrego:
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems. 409-411 - Mauro Javier Gómez Lucero:
Formalization of argument accrual: Acceptability semantics and dialectical proof procedure. 413-415 - Domingo S. Rodríguez-Baena:
Extracting and validating biclusters from binary datasets. 417-418 - Miguel A. González:
Metaheuristic solutions to the "Job shop scheduling problem with sequence-dependent setup times". 419-421
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 2025-02-15 00:22 CET 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:
