Volume 23,
Numbers 1-2,
1998
Selected papers from ALT 94 and AII 94
Editor:
Michael M. Richter
- Sanjay Jain, Arun Sharma:
Generalization and Specialization Strategies for Learning r.e. Languages.
1-26 BibTeX
- Steffen Lange, Jochen Nessel, Rolf Wiehagen:
Learning Recursive Languages from Good Examples.
27-52 BibTeX
- Atsuyoshi Nakamura, Jun-ichi Takeuchi, Naoki Abe:
Efficient Distribution-Free Population Learning of Simple Concepts.
53-82 BibTeX
- Peter Auer, Nicolò Cesa-Bianchi:
On-Line Learning with Malicious Noise and the Closure Algorithm.
83-99 BibTeX
- Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara:
Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries.
101-115 BibTeX
- Thomas Zeugmann:
Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with Respect to its Total Learning Time.
117-145 BibTeX
- William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai:
Classification Using Information.
147-168 BibTeX
- Yoshiaki Okubo, Makoto Haraguchi:
Constructing Predicate Mappings for Goal-Dependent Abstraction.
169-197 BibTeX
- Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen:
Identifying Nearly Minimal Gödel Numbers from Additional Information.
199-209 BibTeX
Volume 23,
Number 3-4,
1998
Artificial Intelligence and Mathematics VII
Editor:
Martin Charles Golumbic
- Elizabeth Bradley, A. O'Gallagher, J. Rogers:
Global Solutions for Nonlinear Systems Using Qualitative Reasoning.
211-228 BibTeX
- Gennady Davydov, Inna Davydova, Hans Kleine Büning:
An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF.
229-245 BibTeX
- Qingxun Yu, Mohammed Almulla, Monroe M. Newborn:
Heuristics Used by HERBY for Semantic Tree Theorem Proving.
247-266 BibTeX
- Zippora Arzi-Gonczarowski, Daniel J. Lehmann:
Introducing the Mathematical Category of Artificial Perceptions.
267-298 BibTeX
- Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou:
Adaptation of Declaratively Represented Methods in Proof Planning.
299-320 BibTeX
- Endre Boros, Ondrej Cepek, Alexander Kogan:
Horn Minimization by Iterative Decomposition.
321-343 BibTeX
- Jinchang Wang:
Inference Guiding in Propositional Knowledge Bases.
345-356 BibTeX
Copyright © Sat May 16 23:50:15 2009
by Michael Ley (ley@uni-trier.de)
