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
Last update Sat May 18 20:00:48 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
