Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 6

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 6, Number 1, 1996

Special Issue: 1993 AAAI Fall Symposium on Automated Deduction in Non-Standard Logics

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MillerP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MillerP96
Michael J. Miller, Donald Perlis:
Automated Inference in Active Logics. 9-27
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MoserMRKD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MoserMRKD96
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
Automated Deduction in a Graphical Temporal Logic. 29-47
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Hahnle96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Hahnle96
Reiner Hähnle:
Exploiting Data Dependencies in Many-Valued Logics. 49-69
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Risch96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Risch96
Vincent Risch:
Analytic Tableaux for Default Logics. 71-88
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Pollock96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Pollock96
John L. Pollock:
A General-Purpose Defeasible Reasoner. 89-113

Volume 6, Number 2, 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/ThijsseW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/ThijsseW96
Elias Thijsse, Heinrich Wansing:
A Fugue on the Themes of Awareness Logic and Correspondence. 127-136
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Preller96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Preller96
Anne Preller:
The Universe of Discourse of Modal Logic. 137-147
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Radzikowska96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Radzikowska96
Anna Radzikowska:
A Three-Valued Approach to Default Logic. 149-190
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/ChakrabortyC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/ChakrabortyC96
Mihir K. Chakraborty, A. Chatterjee:
On Representation of Indeterminate Identity via Vague Concepts. 191-201

Volume 6, Number 3, 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Muravitsky96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Muravitsky96
Alexei Yu. Muravitsky:
A Framework for Knowledge-Based Systems. 263-286
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BadaloniZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BadaloniZ96
Silvana Badaloni, Alberto Zanardo:
Plausible Reasoning: A First-Order Approach. 215-261
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Caferra96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Caferra96
Ricardo Caferra:
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. 287-288
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Richards96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Richards96
Bradley Richards:
Review of Stephen Muggleton, Ed.: Inductive Logic Programming. 289-291
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Shramko96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Shramko96
Yaroslav Shramko:
Review of Walter P. van Stigt: Brouwer's Intuitionism. 292-295

Volume 6, Number 4, 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Vakarelov96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Vakarelov96
Dimiter Vakarelov:
Many-dimensional arrow logics. 303-345
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Heinemann96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Heinemann96
Bernhard Heinemann:
Expressive Completeness of Modal Logic on Binary Ramified Frames. 347-367
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Gerla96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Gerla96
Giangiacomo Gerla:
Graded Consequence Relations and Fuzzy Closure Operators. 369-379

a service of

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.