default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 234

> Home > Journals > Artificial Intelligence

Refine list

refinements active!

zoomed in on 9 of 9 records

view refined list in

export refined list as

showing all 9 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 234, May 2016

- view
  authority control:
- export record
  dblp key:
  - journals/ai/JanotaKMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/JanotaKMC16
Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke:
Solving QBF with counterexample guided refinement. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChatterjeeCGK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChatterjeeCGK16
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Optimal cost almost-sure reachability in POMDPs. 26-48
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AineL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AineL16
Sandip Aine, Maxim Likhachev:
Truncated incremental search. 49-77
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BotoevaKRWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BotoevaKRWZ16
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Games for query inseparability of description logic knowledge bases. 78-119
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Thimm16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Thimm16
Matthias Thimm:
On the expressivity of inconsistency measures. 120-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ai/KouvarosL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/KouvarosL16
Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised verification for multi-agent systems. 152-189
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Hansson16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Hansson16
Sven Ove Hansson:
The co-occurrence test for non-monotonic inference. 190-195
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CooperDMETZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CooperDMETZ16
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
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AmendolaEFLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AmendolaEFLM16
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. 219-271
no results

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.