instructive
发表于 2025-3-28 15:40:54
Dynamic Aspects of OPJK Legal Ontologysked questions. In this paper, we investigate dynamic and temporal aspects of one of the SEKT legal ontologies, by subjecting the ontology OPJK to MORE, a multi-version ontologies reasoning System. MORE is based on a temporal logic approach. We show how the temporal logic approach can be used to obt
Radiation
发表于 2025-3-28 20:45:22
http://reply.papertrans.cn/24/2321/232035/232035_42.png
HARP
发表于 2025-3-29 00:51:04
http://reply.papertrans.cn/24/2321/232035/232035_43.png
是他笨
发表于 2025-3-29 03:25:04
http://reply.papertrans.cn/24/2321/232035/232035_44.png
Dislocation
发表于 2025-3-29 09:14:29
Assumption-Based Argumentation for Epistemic and Practical Reasoninga number of applications. In this paper we substantiate this claim by presenting formal mappings from frameworks for epistemic and practical reasoning onto assumption-based argumentation frameworks. We also correlate these mappings to formulations of epistemic and practical reasoning in abstract arg
acrimony
发表于 2025-3-29 12:21:29
http://reply.papertrans.cn/24/2321/232035/232035_46.png
Flustered
发表于 2025-3-29 18:42:07
Deterrence and Defeasibility in Argumentation Process for ALIS Projecte. The graphs associated with those games are interpreted as sets of inferences sequences between statements in the framework of non-monotonic logic. Thus an argumentation process is interpreted as a game of deterrence, which resolution determines the truth or falsity of statements, and the possible
bonnet
发表于 2025-3-29 22:41:47
Temporal Deontic Defeasible Logic: An Analytical Approachects: first, a synthetical approach with which all temporal and substantial elements of the norm are represented within the same sentence was adopted instead of an analytical approach in which one sentence represents the substantive content of the norm, and other sentences specify its temporal featu
设施
发表于 2025-3-30 03:16:01
Rulebase Technology and Legal Knowledge Representationing a representation of legal knowledge in the area of intellectual property rights using the RuleBurst rule-based system technology. In this first stage, our work has been focused on Italian Copyright law, with the aim to develop a method that could be extended and applied, in a subsequent stage, t
Infant
发表于 2025-3-30 07:53:30
Source Norms and Self-regulated Institutionsof what properties, validly belong to a normative system. Institutions including their own source-norms – here called . – are able to incorporate dynamically and autonomously new norms in their normative systems. After describing these concepts, we shall present a formal model of source-norms built