Results 91 to 100 of about 4,242,976 (194)

Nested epistemic logic programs

, 2005
Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored.
Baral, Chitta, Wang, Kewen, Zhang, Yan
core  

Temporal Relevant Logic as the Logic Basis for Reasoning about Dynamics of Concurrent Systems

, 1998
Specifying, reasoning, and proving desirable properties of a concurrent system are important formal techniques to achieve the reliability of the system. The logic system that is widely used in the current approaches to specifying, reasoning, and proving ...
Jingde Cheng
core  

A more relevant relevance logic.

Notre Dame Journal of Formal Logic, 1979
openaire   +3 more sources

A multi-paradigm approach for mobile agents development

Journal of Computer Science and Technology, 2001
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems.
Edgardo A. Belloni
doaj  

Magnetoelectric Multiferroics for the Next-Generation Ultralow-Power Electronics. [PDF]

Adv Sci (Weinh)
Liu Y, Sun Y, Luo H, Zhao D, Zeng Y, Zhang X, Liu Z, Peng H, Zhang Z, Yang J, Zhang J, Wang D, Shi J, Li S.   +13 more
europepmc   +1 more source

Attribution assignment for deep-generative sequence models enables interpretability analysis using positive-only data. [PDF]

PLoS Comput Biol
Frank R, Widrich M, Akbar R, Klambauer G, Sandve GK, Robert PA, Greiff V.   +6 more
europepmc   +1 more source

Ultrafast dual-band all-optical logic gate design using CMOS compatible alternative plasmonic materials with IMI geometry and nanoring resonators. [PDF]

Nanoscale Adv
Fahim MFA, Mohsin ASM, Hossain Bhuian MB, Rahman MM.   +3 more
europepmc   +1 more source

AI-Based Clinical Decision Support Systems in Primary Care: Systematic Review of Clinical Implementation. [PDF]

J Med Internet Res
Naye F, Ouellet S, Yousefi F, Cachinho C, Bergeron F, Bhattacharyya O, Stamenova V, Sasseville M.   +7 more
europepmc   +1 more source

Modularity and relevant logic.

Notre Dame Journal of Formal Logic, 1989
openaire   +2 more sources

How much less is enough? A reflexive perspective on the theory of simplified information processing by Voigt et al. (2025). [PDF]

Front Sociol
Koerner S, Staller MS.
europepmc   +1 more source