scientific article; zbMATH DE number 2162299
From MaRDI portal
Publication:4672985
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99) Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99)
Recommendations
- Distributed constraint satisfaction. Foundations of cooperation in multi-agent systems
- scientific article; zbMATH DE number 2152347
- Distributed reason maintenance for multiagent systems
- Research and development of distributed constraint satisfaction problems
- Distributed constraint optimization problems and applications: a survey
Cited in
(31)- Constraint-based protocols for distributed problem solving
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts
- Privacy stochastic games in distributed constraint reasoning
- Distributed search by constrained agents. Algorithms, performance, communication.
- Explorative anytime local search for distributed constraint optimization
- Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
- Distributed constraint satisfaction. Foundations of cooperation in multi-agent systems
- An interactive derivation viewer
- The impact of the conflict on solving distributed constraint satisfaction problems
- Distributed Abductive Reasoning with Constraints
- Research and development of distributed constraint satisfaction problems
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- THF0 – The Core of the TPTP Language for Higher-Order Logic
- A class of algorithms for distributed constraint optimization.
- Distributed reason maintenance for multiagent systems
- Constraint programming for distributed resource allocation
- Distributed constraint optimization problems and applications: a survey
- scientific article; zbMATH DE number 2152347 (Why is no real title available?)
- scientific article; zbMATH DE number 194623 (Why is no real title available?)
- Distributed Reasoning for Multiagent Simple Temporal Problems
- The CADE-28 Automated Theorem Proving System Competition – CASC-28
- A flexible proof format for SAT solver-elaborator communication
- AI 2003: Advances in Artificial Intelligence
- Advances in Artificial Intelligence
- Sledgehammer: judgement day
- Communication-Aware Local Search for Distributed Constraint Optimization
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Scalable fine-grained proofs for formula processing
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
- Solving modal logic problems by translation to higher-order logic
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)
