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
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
- scientific article; zbMATH DE number 1573293 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 2084766 (Why is no real title available?)
- 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)
