Results 161 to 170 of about 13,204 (193)
When remediating one artifact results in another: control, confounders, and correction. [PDF]
Hist Philos Life SciColaço D.
europepmc +1 more source
A Claim of Conscience: The Duty to Prove Oneself a Resistor. [PDF]
Linacre QPakaluk M, Pakaluk CR.
europepmc +1 more source
Words or code first? Is the legacy document or a code statement the better starting point for complexity-reducing legal automation? [PDF]
Philos Trans A Math Phys Eng SciGoodenough OR, Carlson PJ.
europepmc +1 more source
Substantial Self-Knowledge and the Necessity of Avowal. [PDF]
J Value InqKloosterboer N.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Knowledge and Information Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Augusto, Juan C., Simari, Guillermo R.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Augusto, Juan C., Simari, Guillermo R.
openaire +2 more sources
Efficient defeasible reasoning systems
Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000, 2001For many years, the non-montonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic.
Maher, M.J. +4 more
openaire +2 more sources
Fundamenta Informaticae, 1994
This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.
openaire +2 more sources
This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.
openaire +2 more sources
Planning and defeasible reasoning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, 2007We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to construct plans using Partial Order Planning techniques.
Diego R. Garcia +2 more
openaire +1 more source
Defeasible Reasoning via Datalog¬
Theory and Practice of Logic Programming, 2021AbstractWe address the problem of compiling defeasible theories to Datalog¬ programs. We prove the correctness of this compilation, for the defeasible logic DL(∂||), but the techniques we use apply to many other defeasible logics. Structural properties of DL(∂||) are identified that support efficient implementation and/or approximation of the ...
openaire +1 more source
From Defeasible Logic to Counterfactual Reasoning
2022Counterfactual reasoning has been the subject of extensive study in philosophy, logics, and AI. The connection between counterfactual reasoning and theory revision is well-known since Ramsey's intuition, according to which "to find out whether the counterfactual `if A were true, then B would be true' is satisfied in a state S, change the state S ...
Matteo Cristani +3 more
openaire +1 more source