default search action

combined dblp search
author search
venue search
publication search

ask others

2. NIL 1990: Karlsruhe, Germany

> Home > Conferences and Workshops > NIL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/nil/1990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/1990
Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt:
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Lecture Notes in Computer Science 543, Springer 1991, ISBN 3-540-54564-6

Nonmonotonicity in Logic Programs

- view
  authority control:
- export record
  dblp key:
  - conf/nil/BrewkaMS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/BrewkaMS90
Gerhard Brewka, David Makinson, Karl Schlechta:
Cumulative Inference Relations for JTMS and Logic Programming. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Dix90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Dix90
Jürgen Dix:
Cumulativity and Rationality in Semantics of Normal Logic Programs. 13-37
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Herre90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Herre90
Heinrich Herre:
Nonmonotonic Reasoning and Logic Programs. 38-58

Axiomatic Approach to Nonmonotonic Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/nil/Freund90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Freund90
Michael Freund:
Supracompact Inference Operations. 59-73
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Jager90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Jager90
Gerhard Jäger:
Notions of Nonmonotonic Derivability. 74-84
- view
  authority control:
- export record
  dblp key:
  - conf/nil/MarekST90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/MarekST90
V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski:
Ranges of Strong Modal Nonmonotonic Logics. 85-99
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Thiele90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Thiele90
Helmut Thiele:
On Generation of Cumulative Inference Operators by Default Deduction Rules. 100-137
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Weydert90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Weydert90
Emil Weydert:
Qualitative Magnitude Reasoning. 138-160

Inductive Inference

- view
  authority control:
- export record
  dblp key:
  - conf/nil/Jantke90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Jantke90
Klaus P. Jantke:
Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. 161-177
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Lange90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Lange90
Steffen Lange:
A Note on Polynominal-Time Inference of k-Variable Pattern Languages. 178-183
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Wiehagen90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Wiehagen90
Rolf Wiehagen:
A Thesis in Inductive Inference. 184-207
- view
  authority control:
- export record
  dblp key:
  - conf/nil/Zeugmann90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Zeugmann90
Thomas Zeugmann:
Inductive Inference of Optimal Programs: A Survey and Open Problems. 208-222

Autoepistemic Logic

- view
  authority control:
- export record
  dblp key:
  - conf/nil/Kalinski90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/Kalinski90
Jürgen Kalinski:
Autoepistemic Expansions with Incomplete Belief Introspection. 223-232

Belief Updates

- view
  authority control:
- export record
  dblp key:
  - conf/nil/MorreauR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nil/MorreauR90
Michael Morreau, Hans Rott:
Is it Impossible to Keep up to Date? 233-243

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.