Results 271 to 280 of about 405,638 (322)

Near-Field Microwave Sensing for Chip-Level Tamper Detection. [PDF]

Sensors (Basel)
Saadat Safa M, Tajik S.
europepmc   +1 more source

A novel obfuscation method based on majority logic for preventing unauthorized access to binary deep neural networks. [PDF]

Sci Rep
Mohseni A, Moaiyeri MH, Adel MJ.
europepmc   +1 more source

Is it Really Too Late? On Recent Debates About the Climate Crisis, Capitalism, and the Question of Transition

The British Journal of Sociology, EarlyView.
David Kampmann
wiley   +1 more source

General Default Logic [PDF]

Annals of Mathematics and Artificial Intelligence, 2007
In this paper, we propose a new nonmonotonic logic called general default logic. On the one hand, it generalizes Reiter's default logic by adding to it rule-like operators used in logic programming. On the other hand, it extends logic programming by allowing arbitrary propositional formulas. We show that with this new logic, one can formalize naturally
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Expressing Default Logic Variants in Default Logic

Journal of Logic and Computation, 2005
Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants.
Delgrande, James Patrick, Schaub, Torsten (Prof. Dr.)   +1 more
openaire   +3 more sources

On cumulative default logics

Artificial Intelligence, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
GIORDANO, Laura, MARTELLI, Alberto
openaire   +2 more sources

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan Treur, John-Jules Ch. Meyer, Wiebe van der Hoek   +2 more
openaire   +6 more sources

Default Logic as Dynamic Doxastic Logic [PDF]

Erkenntnis, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Representability in Default Logic

Logic Journal of the IGPL, 2005
Summary: A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities.
openaire   +3 more sources