- Annotation Theories over Finite Graphs.Dov M. Gabbay & Andrzej Szałas - 2009 - Studia Logica 93 (2):147-180.details
|
|
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknowndetails
|
|
Senses of ‘argument’ in instantiated argumentation frameworks.Adam Wyner, Trevor Bench-Capon, Paul Dunne & Federico Cerutti - 2015 - Argument and Computation 6 (1):50-72.details
|
|
A Logical Account of Formal Argumentation.Yining Wu, Martin Caminada & Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):383-403.details
|
|
Hypothesizing about signaling networks.Nam Tran & Chitta Baral - 2009 - Journal of Applied Logic 7 (3):253-274.details
|
|
A general first-order solution to the ramification problem with cycles.Hannes Strass & Michael Thielscher - 2013 - Journal of Applied Logic 11 (3):289-308.details
|
|
Logic programming for modeling morality.Ari Saptawijaya & Luís Moniz Pereira - 2016 - Logic Journal of the IGPL 24 (4).details
|
|
Abduction in argumentation frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.details
|
|
The infinite-valued semantics: overview, recent results and future directions.Panos Rondogiannis & Antonis Troumpoukis - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):213-228.details
|
|
Nonmonotonic abductive inductive learning.Oliver Ray - 2009 - Journal of Applied Logic 7 (3):329-340.details
|
|
Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.details
|
|
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.details
|
|
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.details
|
|
Safe beliefs for propositional theories.Mauricio Osorio, Juan Antonio Navarro Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.details
|
|
On the relation between vector annotated logic programs and defeasible theories.Kazumi Nakamatsu - 2000 - Logic and Logical Philosophy 8:181.details
|
|
Logic programming as classical inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.details
|
|
Well-founded semantics for defeasible logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.details
|
|
Functional completion.Vladimir Lifschitz & Fangkai Yang - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):121-130.details
|
|
Some (in)translatability results for normal logic programs and propositional theories.Tomi Janhunen - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):35-86.details
|
|
An Answer Set Prolog formalization of shikake principles and examples.Daniela Inclezan - 2015 - AI and Society 30 (4):537-547.details
|
|
Logic programs and connectionist networks.Pascal Hitzler, Steffen Hölldobler & Anthony Karel Seda - 2004 - Journal of Applied Logic 2 (3):245-272.details
|
|
Open answer set programming for the semantic web.Stijn Heymans, Davy Van Nieuwenborgh & Dirk Vermeir - 2007 - Journal of Applied Logic 5 (1):144-169.details
|
|
An activity-centric argumentation framework for assistive technology aimed at improving health.Esteban Guerrero, Juan Carlos Nieves & Helena Lindgren - 2016 - Argument and Computation 7 (1):5-33.details
|
|
Alan: An Action Language For Modelling Non-Markovian Domains.Graciela González, Chitta Baral & Michael Gelfond - 2005 - Studia Logica 79 (1):115-134.details
|
|
Game semantics for non-monotonic intensional logic programming.Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis - 2017 - Annals of Pure and Applied Logic 168 (2):234-253.details
|
|
An infinite-game semantics for well-founded negation in logic programming.Chrysida Galanaki, Panos Rondogiannis & William W. Wadge - 2008 - Annals of Pure and Applied Logic 151 (2-3):70-88.details
|
|
A theory of truth that prefers falsehood.Melvin Fitting - 1997 - Journal of Philosophical Logic 26 (5):477-500.details
|
|
Approximate postdictive reasoning with answer set programming.Manfred Eppe & Mehul Bhatt - 2015 - Journal of Applied Logic 13 (4):676-719.details
|
|
Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.details
|
|
Representing the semantics of abstract dialectical frameworks based on arguments and attacks.Phan Minh Dung & Phan Minh Thang - 2018 - Argument and Computation 9 (3):249-267.details
|
|
A general theory of confluent rewriting systems for logic programming and its applications.Jürgen Dix, Mauricio Osorio & Claudia Zepeda - 2001 - Annals of Pure and Applied Logic 108 (1-3):153-188.details
|
|
Modeling the suppression task under weak completion and well-founded semantics.Emmanuelle-Anna Dietz, Steffen Hölldobler & Christoph Wernhard - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):61-85.details
|
|
Preferential theory revision.Pierangelo Dell'Acqua & Luís Moniz Pereira - 2007 - Journal of Applied Logic 5 (4):586-601.details
|
|
Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.details
|
|
A neural cognitive model of argumentation with application to legal inference and decision making.Artur S. D'Avila Garcez, Dov M. Gabbay & Luis C. Lamb - 2014 - Journal of Applied Logic 12 (2):109-127.details
|
|
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.details
|
|
Equivalence for the G 3 ′ -stable models semantics.José Luis Carballido, Mauricio Osorio & José Ramón Arrazola - 2010 - Journal of Applied Logic 8 (1):82-96.details
|
|
A logical framework for view updating in indefinite databases.Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczyński & Ester Zumpano - 2019 - Logic Journal of the IGPL 27 (6):777-811.details
|
|
An argument game for stable semantics.Martin Caminada & Yining Wu - 2008 - Logic Journal of the IGPL 17 (1):77-90.details
|
|
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.details
|
|
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.details
|
|
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks.Ofer Arieli - 2015 - Journal of Applied Logic 13 (4):582-604.details
|
|
A QBF-based formalization of abstract argumentation semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-252.details
|
|
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.details
|
|
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.details
|
|
Equivalence of defeasible normative systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.details
|
|
An encompassing framework for Paraconsistent Logic Programs.João Alcântara, Carlos Viegas Damásio & Luís Moniz Pereira - 2005 - Journal of Applied Logic 3 (1):67-95.details
|
|
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.details
|
|
Temporal Equilibrium Logic with past operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.details
|
|
Tableaus for Logic Programming.Melvin Fitting - unknowndetails
|
|