Results 1 to 10 of about 46,994 (285)
Lietuvos Matematikos Rinkinys, 2011 We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.
Stanislovas Norgėla
doaj +5 more sources
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +4 more sources
A Resolution Prover for Coalition Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency.
Cláudia Nalon +3 more
doaj +8 more sources
All-fibre phase filters with 1-GHz resolution for high-speed passive optical logic processing [PDF]
Nature Communications, 2023 Authors present a fibre Bragg grating-based all-pass spectral phase filter with an unprecedented frequency resolution of 1 GHz, at least 10× improvement compared to a standard optical waveshaper.
Saket Kaushal +5 more
doaj +2 more sources
A logic for synchronous transitions with dynamic conflict resolution
CLEI Electronic Journal, 2000 This paper introduces a formalism named DSYNC aimed at. the design and verification of synchronous concurrent systems. The components of this formalism are a transition system and first-order linear-time temporal logic. The DSYNC transition system adopts
Vanderlei Moraes Rodrigues +1 more
doaj +3 more sources
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]
International Journal of Computational Intelligence Systems, 2014 This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj +2 more sources
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +2 more sources
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +3 more sources
Entity Resolution with Markov Logic [PDF]
Sixth International Conference on Data Mining (ICDM'06), 2006 Entity resolution is the problem of determining which records in a database refer to the same entities, and is a crucial and expensive step in the data mining process. Interest in it has grown rapidly in recent years, and many approaches have been proposed. However, they tend to address only isolated aspects of the problem, and are often ad hoc.
Parag Singla, Pedro Domingos
openalex +3 more sources
A Molecular Logic Gate Enables Unconventional Super-resolution Same-Day Imaging of Lysosome Membrane in Live Cells. [PDF]
Anal ChemXie Y +9 more
europepmc +2 more sources