Results 241 to 250 of about 823,326 (291)

Optical logic convolutional neural network. [PDF]

open access: yesSci Adv
Zhang W   +7 more
europepmc   +1 more source

Weighted Linear Dynamic Logic

International Journal of Foundations of Computer Science, 2023
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem. Surprisingly, the equivalence does not require any restriction to our weighted LDL.
Droste, Manfred   +2 more
openaire   +1 more source

Visibly Linear Temporal Logic

Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire   +2 more sources

Linear Logic and Exceptions

Journal of Logic and Computation, 1994
Reasoning about hierarchical structures, where a simple inheritance could be complicated by possible exceptions, is an interesting research topic in artificial intelligence. The fundamental problems in this area are of a formal nature and they are solved using proper formalization.
Vauzeilles, Jacqueline   +1 more
openaire   +3 more sources

Home - About - Disclaimer - Privacy