Results 21 to 30 of about 1,522 (259)
Products of weighted logic programs [PDF]
Theory and Practice of Logic Programming, 2011 AbstractWeighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a ...
Shay B. Cohen +2 more
openaire +4 more sources
Assessment of Ecological Power to Determine the Land Use in Agriculture: A case study of Qaleh Ganj County [PDF]
Pizhūhish/hā-yi Rūstāyī, 2019 Achieving sustainable development and using resources effectively and efficiently depends on a thorough and accurate knowledge of the available facilities and capabilities as well as the limitations that deter desirable situations.
Ahmad Haj Alizadeh +2 more
doaj +1 more source
ENS-AI: Un sistema experto para la enseñanza
Teoría de la Educación: Revista Interuniversitaria, 2009 The E.S. being developed in named ENS-AI, acronym for ENSeñanza Artificial Intilligence. ENS-AI will work as support and guide system for education practice.
Clara BARROSO JEREZ
doaj +1 more source
On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees
Fuzzy Information and Engineering, 2016 The linearity contained in the natural order of unit interval [0,1] plays an important role in many concepts and applications of fuzzy theory. Besides, it is very important in concepts like ordered weighted aggregation operators (OWA) and fuzzy decision ...
I.A. Da Silva +2 more
doaj +1 more source
Protein & Cell, 2016 The mammalian brain is heterogeneous, containing billions of neurons and trillions of synapses forming various neural circuitries, through which sense, movement, thought, and emotion arise. The cellular heterogeneity of the brain has made it difficult to
Xiaoying Chen +11 more
doaj +1 more source
Multi-weighted Automata and MSO Logic [PDF]
Theory of Computing Systems, 2013 The final version appeared in the Proceedings of the 8th International Computer Science Symposium in Russia (CSR 2013)
Manfred Droste, Vitaly Perevoshchikov
openaire +2 more sources
A Computationally Grounded, Weighted Doxastic Logic [PDF]
Studia Logica, 2015 The paper deals with reasoning about quantified beliefs of agents in a multi-agent system, or in general with epistemic and doxastic characterizations of agents. The authors provide a language COGWEG (computationally grounded weighted doxastic logic). This system is based on the branching-time notion and a finite state space.
Taolue Chen 0001 +3 more
openaire +2 more sources
Significance of multi-level fusion in multi-component fault diagnosis under speed varying condition in rotational machinery [PDF]
FME TransactionsMost well-known challenging effects of identifying multiple defects in a rotational machine when speed is varied, are illustriously inspected by many researchers.
Saimurugan M. +2 more
doaj +1 more source
Weighted Distributed Systems and Their Logics [PDF]
, 2007 We provide a model of weighted distributed systems and give a logical characterization thereof. Distributed systems are represented as weighted asynchronous cellular automata. Running over directed acyclic graphs, Mazurkiewicz traces, or (lossy) message sequence charts, they allow for modeling several communication paradigms in a unifying framework ...
Benedikt Bollig, Ingmar Meinecke
openaire +1 more source