default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 234
Volume 234, May 2016
- Mikolás Janota
, William Klieber, João Marques-Silva, Edmund M. Clarke:
Solving QBF with counterexample guided refinement. 1-25 - Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Optimal cost almost-sure reachability in POMDPs. 26-48 - Sandip Aine, Maxim Likhachev:
Truncated incremental search. 49-77 - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Games for query inseparability of description logic knowledge bases. 78-119 - Matthias Thimm:
On the expressivity of inconsistency measures. 120-151 - Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised verification for multi-agent systems. 152-189 - Sven Ove Hansson:
The co-occurrence test for non-monotonic inference. 190-195 - Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini:
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. 196-218 - Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. 219-271
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
