scientific article; zbMATH DE number 2162299
From MaRDI portal
Publication:4672985
zbMath1069.68098MaRDI QIDQ4672985
No author found.
Publication date: 28 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of software (68N99)
Related Items
The CADE-28 Automated Theorem Proving System Competition – CASC-28 ⋮ A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Privacy stochastic games in distributed constraint reasoning ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ THF0 – The Core of the TPTP Language for Higher-Order Logic ⋮ Explorative anytime local search for distributed constraint optimization ⋮ Sledgehammer: Judgement Day ⋮ Unnamed Item ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ Scalable fine-grained proofs for formula processing ⋮ Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts ⋮ An Interactive Derivation Viewer ⋮ Communication-Aware Local Search for Distributed Constraint Optimization
