default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 23

> 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 23, Numbers 1-2, 2013

Foreword

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CabalarV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CabalarV13
Pedro Cabalar, Agustín Valverde:
Foreword. 1

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/AguadoCDPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/AguadoCDPV13
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
Temporal equilibrium logic: a survey. 2-24
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/AlferesGL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/AlferesGL13
José Júlio Alferes, Ricardo Gonçalves, João Leite:
Equivalence of defeasible normative systems. 25-48
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CostantiniF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CostantiniF13
Stefania Costantini, Andrea Formisano:
RASP and ASP as a fragment of linear logic. 49-74
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/EiterFPTW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/EiterFPTW13
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran:
Model-based recasting in answer-set programming. 75-104
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GelfondI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GelfondI13
Michael Gelfond, Daniela Inclezan:
Some properties of system descriptions of AL_d. 105-120
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/LifschitzY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/LifschitzY13
Vladimir Lifschitz, Fangkai Yang:
Functional completion. 121-130
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MayatskiyO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MayatskiyO13
N. V. Mayatskiy, Sergei P. Odintsov:
On deductive bases for paraconsistent answer set semantics. 131-146
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/PearceU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/PearceU13
David Pearce, Levan Uridia:
Algebraic semantics for modal and superintuitionistic non-monotonic logics. 147-158
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/PolleresW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/PolleresW13
Axel Polleres, Johannes Peter Wallner:
On the relation between SPARQL1.1 and Answer Set Programming. 159-212
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/RondogiannisT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/RondogiannisT13
Panos Rondogiannis, Antonis Troumpoukis:
The infinite-valued semantics: overview, recent results and future directions. 213-228

Volume 23, Number 3, 2013

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/AmgoudB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/AmgoudB13
Leila Amgoud, Philippe Besnard:
Logical limits of abstract argumentation frameworks. 229-267
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BaratellaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BaratellaM13
Stefano Baratella, Andrea Masini:
A natural deduction system for bundled branching time logic. 268-283
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Kamide13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Kamide13
Norihiro Kamide:
Representing any-time and program-iteration by infinitary conjunction. 284-298

Volume 23, Number 4, 2013

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BelhadiDKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BelhadiDKP13
Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned, Henri Prade:
Multiple agent possibilistic logic. 299-320
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CiucciD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CiucciD13
Davide Ciucci, Didier Dubois:
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. 321-352
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/FriedmannL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/FriedmannL13
Oliver Friedmann, Martin Lange:
Deciding the unguarded modal µ-calculus. 353-371
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Lorini13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Lorini13
Emiliano Lorini:
Temporal STIT logic and its application to normative reasoning. 372-399

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.