Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 23
Volume 23, Numbers 1-2, 2013
- Pedro Cabalar, Agustín Valverde:
Foreword. 1
- Felicidad Aguado
, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
Temporal equilibrium logic: a survey. 2-24 - José Júlio Alferes, Ricardo Gonçalves, João Leite:
Equivalence of defeasible normative systems. 25-48 - Stefania Costantini, Andrea Formisano:
RASP and ASP as a fragment of linear logic. 49-74 - Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran:
Model-based recasting in answer-set programming. 75-104 - Michael Gelfond, Daniela Inclezan:
Some properties of system descriptions of ALd. 105-120 - Vladimir Lifschitz, Fangkai Yang:
Functional completion. 121-130 - N. V. Mayatskiy, Sergei P. Odintsov:
On deductive bases for paraconsistent answer set semantics. 131-146 - David Pearce, Levan Uridia:
Algebraic semantics for modal and superintuitionistic non-monotonic logics. 147-158 - Axel Polleres, Johannes Peter Wallner:
On the relation between SPARQL1.1 and Answer Set Programming. 159-212 - Panos Rondogiannis, Antonis Troumpoukis:
The infinite-valued semantics: overview, recent results and future directions. 213-228
Volume 23, Number 3, 2013
- Leila Amgoud, Philippe Besnard:
Logical limits of abstract argumentation frameworks. 229-267 - Stefano Baratella, Andrea Masini:
A natural deduction system for bundled branching time logic. 268-283 - Norihiro Kamide:
Representing any-time and program-iteration by infinitary conjunction. 284-298
Volume 23, Number 4, 2013
- Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned, Henri Prade:
Multiple agent possibilistic logic. 299-320 - Davide Ciucci, Didier Dubois:
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. 321-352 - Oliver Friedmann, Martin Lange:
Deciding the unguarded modal µ-calculus. 353-371 - Emiliano Lorini:
Temporal STIT logic and its application to normative reasoning. 372-399
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.
last updated on 2024-04-25 05:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
