Journal: Annals of Mathematics and Artificial Intelligence

Volume 23, Issue 3-4

211 -- 228Elizabeth Bradley, A. O Gallagher, J. Rogers. Global Solutions for Nonlinear Systems Using Qualitative Reasoning
229 -- 245Gennady Davydov, Inna Davydova, Hans Kleine Büning. An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF
247 -- 266Qingxun Yu, Mohammed Almulla, Monroe M. Newborn. Heuristics Used by HERBY for Semantic Tree Theorem Proving
267 -- 298Zippora Arzi-Gonczarowski, Daniel J. Lehmann. Introducing the Mathematical Category of Artificial Perceptions
299 -- 320Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou. Adaptation of Declaratively Represented Methods in Proof Planning
321 -- 343Endre Boros, Ondrej Cepek, Alexander Kogan. Horn Minimization by Iterative Decomposition
345 -- 356Jinchang Wang. Inference Guiding in Propositional Knowledge Bases

Volume 23, Issue 1-2

1 -- 26Sanjay Jain, Arun Sharma. Generalization and Specialization Strategies for Learning r.e. Languages
27 -- 52Steffen Lange, Jochen Nessel, Rolf Wiehagen. Learning Recursive Languages from Good Examples
53 -- 82Atsuyoshi Nakamura, Jun-ichi Takeuchi, Naoki Abe. Efficient Distribution-Free Population Learning of Simple Concepts
83 -- 99Peter Auer, Nicolò Cesa-Bianchi. On-Line Learning with Malicious Noise and the Closure Algorithm
101 -- 115Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara. Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries
117 -- 145Thomas Zeugmann. Lange and Wiehagen s Pattern Language Learning Algorithm: An Average-Case Analysis with Respect to its Total Learning Time
147 -- 168William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai. Classification Using Information
169 -- 197Yoshiaki Okubo, Makoto Haraguchi. Constructing Predicate Mappings for Goal-Dependent Abstraction
199 -- 209Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen. Identifying Nearly Minimal Gödel Numbers from Additional Information