Results 61 to 70 of about 13,204 (193)
Parallel defeasible argumentation
Journal of Computer Science and Technology, 2000 Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García +1 more
doaj
Defeasible Logic Programming: An Argumentative Approach
, 2003 The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation.
Garcia, Alejandro Javier +1 more
core +2 more sources
Data in Brief, 2020 Mental workload (MWL) is an imprecise construct, with distinct definitions and no predominant measurement technique. It can be intuitively seen as the amount of mental activity devoted to a certain task over time. Several approaches have been proposed in
Lucas Rizzo, Luca Longo
doaj +1 more source
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
, 2018 In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked ...
Dupré, Daniele Theseider +1 more
core +1 more source
A flexible framework for defeasible logics [PDF]
, 2000 Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others.
David Billington +4 more
core +5 more sources
Kant on Bullshit Jobs—Mere Means and True Means
Journal of Social Philosophy, EarlyView.ABSTRACT Following David Graeber's Bullshit Jobs, there has recently been academic and public discussion about useless work. Immanuel Kant maintains that we ought to be means for others and that there is a duty to be useful. Graeber and Kant are both concerned with a form of harm often overlooked in contemporary ethics and political philosophy, namely,
Martin Sticker
wiley +1 more source
Formalizing defeasible argumentation using a labeled deductive system
Journal of Computer Science and Technology, 2001 In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas.
Carlos Iván Chesñevar +1 more
doaj
ManuscritoBRICS has philosophical significance. It creates new pressure on cross-cultural skill. This is analysed here as requiring transduction: a variety of defeasible practical reasoning.
Don Peterson
doaj +1 more source
Diagnostics as a Reasoning Process: From Logic Structure to Software Design
Journal of Computing and Information Technology, 2019 Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reasoning.
Matteo Cristiani +4 more
doaj +1 more source
Automating Defeasible Reasoning in Law
, 2022 The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about
Lim, How Khang +3 more
openaire +2 more sources