scientific article; zbMATH DE number 2162299
From MaRDI portal
Publication:4672985
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)
Recommendations
Cited in
(30)- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- scientific article; zbMATH DE number 2152347 (Why is no real title available?)
- Advances in Artificial Intelligence
- Distributed reason maintenance for multiagent systems
- A class of algorithms for distributed constraint optimization.
- Scalable fine-grained proofs for formula processing
- Solving modal logic problems by translation to higher-order logic
- Distributed constraint optimization problems and applications: a survey
- An interactive derivation viewer
- Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
- scientific article; zbMATH DE number 194623 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 7566059 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1573293 (Why is no real title available?)
- scientific article; zbMATH DE number 2084766 (Why is no real title available?)
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- 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
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)
