scientific article; zbMATH DE number 2162299
From MaRDI portal
Publication:4672985
zbMATH Open1069.68098MaRDI QIDQ4672985FDOQ4672985
Authors:
Publication date: 28 April 2005
Title of this publication is not available (Why is that?)
Recommendations
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99)
Cited In (30)
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- A class of algorithms for distributed constraint optimization.
- Distributed reason maintenance for multiagent systems
- Solving modal logic problems by translation to higher-order logic
- Scalable fine-grained proofs for formula processing
- Distributed constraint optimization problems and applications: a survey
- An interactive derivation viewer
- Title not available (Why is that?)
- Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
- AI 2003: Advances in Artificial Intelligence
- Distributed search by constrained agents. Algorithms, performance, communication.
- THF0 – The Core of the TPTP Language for Higher-Order Logic
- The impact of the conflict on solving distributed constraint satisfaction problems
- Distributed Abductive Reasoning with Constraints
- Communication-Aware Local Search for Distributed Constraint Optimization
- Title not available (Why is that?)
- Sledgehammer: judgement day
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
- Research and development of distributed constraint satisfaction problems
- The CADE-28 Automated Theorem Proving System Competition – CASC-28
- Title not available (Why is that?)
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Title not available (Why is that?)
- Distributed Reasoning for Multiagent Simple Temporal Problems
- Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts
- Explorative anytime local search for distributed constraint optimization
- Privacy stochastic games in distributed constraint reasoning
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- Advances in Artificial Intelligence
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4672985)
