Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Volume 543 of Lecture Notes in Computer Science, Springer, 1991.

Conference: nil1991

Abstract is missing.

Cumulative Inference Relations for JTMS and Logic ProgrammingGerhard Brewka, David Makinson, Karl Schlechta. 1-12

Cumulativity and Rationality in Semantics of Normal Logic ProgramsJürgen Dix. 13-37

Nonmonotonic Reasoning and Logic ProgramsHeinrich Herre. 38-58

Supracompact Inference OperationsMichael Freund. 59-73

Notions of Nonmonotonic DerivabilityGerhard Jäger. 74-84

Ranges of Strong Modal Nonmonotonic LogicsV. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski. 85-99

On Generation of Cumulative Inference Operators by Default Deduction RulesHelmut Thiele. 100-137

Qualitative Magnitude ReasoningEmil Weydert. 138-160

Monotonic and Nonmonotonic Inductive Inference of Functions and PatternsKlaus P. Jantke. 161-177

A Note on Polynominal-Time Inference of ::::k::::-Variable Pattern LanguagesSteffen Lange. 178-183

A Thesis in Inductive InferenceRolf Wiehagen. 184-207

Inductive Inference of Optimal Programs: A Survey and Open ProblemsThomas Zeugmann. 208-222

Autoepistemic Expansions with Incomplete Belief IntrospectionJürgen Kalinski. 223-232

Is it Impossible to Keep up to Date?Michael Morreau, Hans Rott. 233-243

runs on WebDSL