Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 33
Volume 33, Number 1, January 2023
- Anasse Chafik
, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
Defeasible linear temporal logic. 1-51 - Umberto Rivieccio:
Fragments of quasi-Nelson: residuation. 52-119
Volume 33, Number 2, April 2023
- Tim S. Lyon:
Nested sequents for intermediate logics: the case of Gödel-Dummett logics. 121-164 - Stefano Guerrini, Andrea Masini, Margherita Zorzi:
Natural deduction calculi for classical and intuitionistic S5. 165-205
Volume 33, Numbers 3-4, October 2023
- Sylvie Doutre, Andreas Herzig, Anthony Hunter:
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. 207-211 - Henry Prakken:
When is argumentation deductive? 212-223 - Francesca Toni, Antonio Rago, Kristijonas Cyras:
Forecasting with jury-based probabilistic argumentation. 224-243 - Sylvie Doutre, Marie-Christine Lagasquie-Schiex:
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. 244-297 - Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran:
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. 298-327 - Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet:
An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation. 328-386 - Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
Merging operators on stratified belief bases equipped with argumentative inference. 387-420 - Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui:
Morphologic for knowledge dynamics: revision, fusion and abduction. 421-466 - Florence Dupin de Saint-Cyr, Henri Prade:
Belief revision and incongruity: is it a joke? 467-494 - Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric dynamic equilibrium logic. 495-519 - Marta Cialdea Mayer, Luis Fariñas del Cerro:
Logical connectives for two-state semantics. 520-536 - John Grant:
Postulate satisfaction for inconsistency measures in monotonic logics and databases. 537-560 - Sihem Belabbes, Salem Benferhat:
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. 561-581 - Didier Dubois, Lluís Godo, Henri Prade:
An elementary belief function logic. 582-605 - Martin Gius, Hans Tompits:
Sequent-type rejection systems for finite-valued non-deterministic logics. 606-640 - Thomas Guyet:
Admissible generalisation of temporal sequences as chronicles. 641-653
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-29 21:46 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:
