default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI Communications, Volume 23
Volume 23, Number 1, 2010
- Diego Magro:
F: Conceptual language-based configuration. 1-46 - Geoff Sutcliffe
:
The CADE-22 automated theorem proving system competition - CASC-22. 47-59 - Luca Pulina:
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. 61-63 - Mariano Rico:
Simplifying Semantic Web application development and semantic data usage. 65-66
Volume 23, Numbers 2-3, 2010
- Boris Konev, Renate A. Schmidt, Stephan Schulz:
Special issue on practical aspects of automated reasoning. 67-68 - Michel Ludwig, Ullrich Hustadt:
Implementing a fair monodic temporal logic prover. 69-96 - Christoph Weidenbach, Patrick Wischnewski:
Subterm contextual rewriting. 97-109 - Lan Zhang, Ullrich Hustadt, Clare Dixon:
CTL-RP: A computation tree logic resolution prover. 111-136 - Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
Large theory reasoning with SUMO at CASC. 137-144 - Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. 145-157 - Jens Otten:
Restricting backtracking in connection calculi. 159-182 - Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray:
SOLAR: An automated deduction system for consequence finding. 183-203 - Nasim Farsiniamarj, Volker Haarslev:
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. 205-240 - Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
An application of automated reasoning in natural language question answering. 241-265 - J. D. Phillips, David Stanovský:
Automated theorem proving in quasigroup and loop theory. 267-283 - Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn:
Interactive verification of concurrent systems using symbolic execution. 285-307
Volume 23, Number 4, 2010
- Jordi Sabater-Mir, Paul Davidsson:
Preface. 309-310 - Yann-Michaël De Hauwere, Peter Vrancx, Ann Nowé:
Generalized learning automata for multi-agent reinforcement learning. 311-324 - Giulia Andrighetto, Daniel Villatoro, Rosaria Conte:
Norm internalization in artificial societies. 325-339 - Nicoletta Fornara, Marco Colombetti:
Representation and monitoring of commitments and norms using OWL. 341-356 - Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
Robust coordination in large convention spaces. 357-372 - Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda:
Speculative constraint processing for hierarchical agents. 373-388 - Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. 389-403
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-10-31 20:18 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:
