Results 21 to 30 of about 45,065 (245)
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning, 1990 AbstractAn extension of the resolution principle was recently proposed by Dubois and Prade for logical clauses weighted by certainty degrees and was used in theorem proving under uncertainty. These certainty degrees were lower bounds on necessity measures.
Dubois, Didier, Prade, Henri
openaire +3 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 +1 more source
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.
Pedro Domingos, Parag Singla
openaire +2 more sources
All-fibre phase filters with 1-GHz resolution for high-speed passive optical logic processing
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 +1 more source
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics.
Nalon, C., Marcos, J., Dixon, C.
openaire +6 more sources
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +1 more source
Resolution for temporal logics of knowledge
Journal of Logic and Computation, 1998 A resolution-based proof system for a temporal logic of knowledge is presented and shown to be correct. Such logics are useful for proving properties of distributed and multi-agent systems. Examples are given to illustrate the proof system. An extension of the basic system to the multi-modal case is given and illustrated using the ‘muddy children ...
Dixon, C., Fisher, M., Wooldridge, M.
openaire +4 more sources
A FUZZY LOGIC APPROACH FOR DRONE CAPABILITY ANALYSIS ON DISASTER RISK ASSESSMENT [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2019 The paper proposes a fuzzy logic approach for drone capability analysis on disaster risk assessment. In particular, a fuzzy logic model is designed as a hierarchical system with several inputs and one output.
P. Zlateva, S. Hristozov, D. Velev
doaj +1 more source
A 100 KS/s 8–10-Bit Resolution-Reconfigurable SAR ADC for Biosensor Applications
Micromachines, 2022 A DAC switching scheme that combines energy efficiency and resolution reconfigurability is proposed. Compared with the conventional switching scheme, the proposed scheme achieves 93.8%, 96.1%, and 97.3% switching energy saving in 8-bit, 9-bit, and 10-bit
Yunfeng Hu +5 more
doaj +1 more source
A new redundancy resolution for underwater vehicle–manipulator system considering payload
International Journal of Advanced Robotic Systems, 2017 For the motion coordination problem between the underwater vehicle and manipulator of the underwater vehicle–manipulator system, a new redundancy resolution method is proposed and investigated. The proposed method mainly has two parts: a fuzzy logic part
Yaoyao Wang +4 more
doaj +1 more source