scientific article; zbMATH DE number 1249705

From MaRDI portal

Revision as of 15:16, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4230753

Jump to:navigation, search

zbMath0931.68085MaRDI QIDQ4230753

No author found.

Publication date: 9 February 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Conference Proceedings Madison, WI (USA)Artificial Intelligence Innovative applications

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Related Items (7)

Solving projected model counting by utilizing treewidth and its limits ⋮ Cut-and-solve: An iterative search strategy for combinatorial optimization problems ⋮ Undoing the effects of action sequences ⋮ Fuzzy description logics under Gödel semantics ⋮ Proofs as schemas and their heuristic use ⋮ Weak, strong, and strong cyclic planning via symbolic model checking ⋮ Conformant planning via symbolic model checking and heuristic search

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4230753&oldid=18107185"