Nonmonotonic and Inductive Logic

Keyphrases

Publications

volume 659, 1993

Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings Nonmonotonic and Inductive Logic 659 (1993)

1991

Gerhard Lakemeyer
All I Know About Tweety. Nonmonotonic and Inductive Logic (1991)
Steffen Lange, Thomas Zeugmann
Monotonic Versus Nonmonotonic Language Learning. Nonmonotonic and Inductive Logic (1991)
Robert P. Daley
Multi-Agent Learning: Theoretical and Empirical Studies. Nonmonotonic and Inductive Logic (1991)
Marta Franová, Yves Kodratoff
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. Nonmonotonic and Inductive Logic (1991)
Gerhard Brewka, Jürgen Dix, Kurt Konolige
A Tutorial on Nonmonotonic Reasoning. Nonmonotonic and Inductive Logic (1991)
Naoki Abe
On the Sample Complexity of Various Learning Strategies in the Probabilistic PAC Learning Paradigms. Nonmonotonic and Inductive Logic (1991)
Stefan Brass
Deduction with Supernormal Defaults. Nonmonotonic and Inductive Logic (1991)
Philippe Besnard, Éric Grégoire
Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic (1991)
Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen
Dual Types of Hypotheses in Inductive Inference. Nonmonotonic and Inductive Logic (1991)
Juris Viksna
Probabilistic Inference of Approximations. Nonmonotonic and Inductive Logic (1991)
Janis Barzdins, Guntis Barzdins
Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities. Nonmonotonic and Inductive Logic (1991)
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki
A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages. Nonmonotonic and Inductive Logic (1991)
V. Wiktor Marek, Miroslaw Truszczynski
Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic (1991)
Yuji Takada
Interactive Synthesis of Process Flowcharts. Nonmonotonic and Inductive Logic (1991)
Setsuo Arikawa, Takeshi Shinohara, Satoru Miyano, Ayumi Shinohara
More About Learning Elementary Formal Systems. Nonmonotonic and Inductive Logic (1991)
Michael Mehl
Retrieval in Case-Based Reasoning Using Preferred Subtheories. Nonmonotonic and Inductive Logic (1991)

volume 543, 1991

Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings Nonmonotonic and Inductive Logic 543 (1991)

1990