default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 233
Volume 233, April 2016
- Robert Craven, Francesca Toni
:
Argument graphs and assumption-based argumentation. 1-59 - Ernest Davis, Gary Marcus:
The scope and limits of simulation in automated reasoning. 60-72 - Mikolás Janota, João Marques-Silva:
On the query complexity of selecting minimal sets for monotone predicates. 73-83 - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Domain expansion for ASP-programs with external sources. 84-121 - Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas:
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. 122-141
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 2024-12-29 20:13 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:
