Inductive Learning of Answer Set Programs von Law, Mark, Russo, Alessandra, Broda, Krysia

Volltext

A Translation-Based Approach for Revision of Argumentation Frameworks von Coste-Marquis, Sylvie, Konieczny, Sébastien, Mailly, Jean-Guy, Marquis, Pierre

Volltext

Preserving strong equivalence while forgetting von Knorr, Matthias, Alferes, José Julio

Volltext

Opportunities for Argument-Centric Persuasion in Behaviour Change von Hunter, Anthony

Volltext

Reasoning about Dynamic Normative Systems von Knobbout, Max, Dastani, Mehdi, Meyer, John-Jules Ch

Volltext

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics von Casini, Giovanni, Meyer, Thomas, Moodley, Kodylan, Nortjé, Riku

Volltext

Revisiting Postulates for Inconsistency Measures von Besnard, Philippe

Volltext

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes von Cabalar, Pedro, Fandiño, Jorge, Fink, Michael

Volltext

System aspmt2smt: Computing ASPMT Theories by SMT Solvers von Bartholomew, Michael, Lee, Joohyung

Volltext

Improving the Normalization of Weight Rules in Answer Set Programs von Bomanson, Jori, Gebser, Martin, Janhunen, Tomi

Volltext

Probabilistic Abstract Dialectical Frameworks von Polberg, Sylwia, Doder, Dragan

Volltext

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form von Jabbour, Said, Marques-Silva, Joao, Sais, Lakhdar, Salhi, Yakoub

Volltext

Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario von Marra, Giuseppe, Ricca, Francesco, Terracina, Giorgio, Ursino, Domenico

Volltext

Logical Foundations of Possibilistic Keys von Koehler, Henning, Leck, Uwe, Link, Sebastian, Prade, Henri

Volltext

Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report von Askounis, Dimitris, Koutras, Costas D., Moyzes, Christos, Zikos, Yorgos

Volltext

Constructive Models for Contraction with Intransitive Plausibility Indifference von Peppas, Pavlos, Williams, Mary-Anne

Volltext

Argumentative Aggregation of Individual Opinions von Croitoru, Cosmina

Volltext

SAT Modulo Graphs: Acyclicity von Gebser, Martin, Janhunen, Tomi, Rintanen, Jussi

Volltext

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem von Soh, Takehide, Le Berre, Daniel, Roussel, Stéphanie, Banbara, Mutsunori, Tamura, Naoyuki

Volltext

The D-FLAT System for Dynamic Programming on Tree Decompositions von Abseher, Michael, Bliem, Bernhard, Charwat, Günther, Dusberger, Frederico, Hecher, Markus, Woltran, Stefan

Volltext