Volume 7, Number 1, March 2009
- Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz:
Empirically successful computerized reasoning.
- Matt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber:
Integrating external deduction tools with ACL2.
- Tjark Weber, Hasan Amjad:
Efficiently checking propositional refutations in HOL theorem provers.
- Jia Meng, Lawrence C. Paulson:
Lightweight relevance filtering for machine-generated resolution problems.
- Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli:
Computing finite models by reduction to function-free clause logic.
- Michael Wessel, Ralf Möller:
Flexible software architectures for ontology-based information systems.
- Johan Bos:
Applying automated deduction to natural language understanding.
- Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen:
Solving the $100 modal logic challenge.
Volume 7, Number 2, June 2009
Volume 7, Number 3, September 2009
- Antonis C. Kakas, Peter A. Flach:
Abduction and Induction in Artificial Intelligence.
- Nam Tran, Chitta Baral:
Hypothesizing about signaling networks.
- Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel:
Using abduction and induction for operational requirements elaboration.
- Gauvain Bourgne, Amal El Fallah-Seghrouchni, Nicolas Maudet:
Towards refinement of abductive or inductive hypotheses through propagation.
- Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima:
Reconsideration of circumscriptive induction with pointwise circumscription.
- Chiaki Sakama, Katsumi Inoue:
Equivalence issues in abduction and induction.
- Oliver Ray:
Nonmonotonic abductive inductive learning.
- Henning Christiansen:
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.
Volume 7, Number 4, December 2009 Special issue papers
Last update Sat May 18 16:41:51 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page