Results 31 to 40 of about 966,425 (288)

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]

, 2000
A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri, Fensel, Dieter, van Eck, Pascal, van Harmelen, Frank, Venema, Yde, Willems, M., Willems, Mark   +6 more
core   +7 more sources

Dynamic epistemic logic in update logic [PDF]

Journal of Logic and Computation, 2016
We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
openaire   +2 more sources

A reconfigurable binary/ternary logic conversion-in-memory based on drain-aligned floating-gate heterojunction transistors

Nature Communications, 2023
A new type of heterojunction non-volatile memory transistor (H-MTR) has been developed, in which the negative transconductance (NTC) characteristics can be controlled systematically by a drain-aligned floating gate.
Chungryeol Lee, Changhyeon Lee, Seungmin Lee, Junhwan Choi, Hocheon Yoo, Sung Gap Im   +5 more
doaj   +1 more source

Inquisitive Propositional Dynamic Logic

Journal of Logic, Language and Information, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vít Punčochář, Igor Sedlár
openaire   +2 more sources

Learning Action Models: Qualitative Approach [PDF]

, 2015
In dynamic epistemic logic, actions are described using action models. In this paper we introduce a framework for studying learnability of action models from observations. We present first results concerning propositional action models.
Bolander, Thomas, Gierasimczuk, Nina
core   +3 more sources

Logic adaptive optimization model for dynamic temperature compensation of heating furnace based on proportion‐integral‐derivative position algorithm

The Journal of Engineering, 2023
In order to improve the adaptive compensation control ability of the furnace dynamic temperature compensation logic, an adaptive optimal control model of the furnace dynamic temperature compensation logic based on proportion‐integral‐derivative (PID ...
Xin Tong
doaj   +1 more source

DYNAMIC GRADED EPISTEMIC LOGIC [PDF]

The Review of Symbolic Logic, 2019
AbstractGraded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic ...
Ma, Minghui, van Ditmarsch, Hans
openaire   +2 more sources

Analyzing logic programs with dynamic scheduling [PDF]

, 1994
Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
García de la Banda, M., Hermenegildo, Manuel V., Marriott, K.   +2 more
core   +2 more sources

Probabilistic Dynamic Logic of Phenomena and Cognition

, 2010
The purpose of this paper is to develop further the main concepts of Phenomena Dynamic Logic (P-DL) and Cognitive Dynamic Logic (C-DL), presented in the previous paper.
Kovalerchuk, Boris, Perlovsky, Leonid, Smerdov, Stanislav, Vityaev, Evgenii   +3 more
core   +1 more source

Automata Linear Dynamic Logic on Finite Traces [PDF]

Logical Methods in Computer Science
Temporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj   +1 more source