نتایج جستجو برای: multi value logic

تعداد نتایج: 1296814  

Due to the high density and the low consumption power in the digital integrated circuits, mostly technology of CMOS is used. During the past times, the Metal oxide silicon field effect transistors (MOSFET) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. B...

2006
Mehmet A. Orgun Guido Governatori Chuchang Liu

To develop theories to specify and reason about various aspects of multi-agent systems, many researchers have proposed the use of modal logics such as belief logics, logics of knowledge, and logics of norms. As multi-agent systems operate in dynamic environments, there is also a need to model the evolution of multi-agent systems through time. In order to introduce a temporal dimension to a beli...

2016
Martin C. Cooper Andreas Herzig Faustine Maffre Frédéric Maris Pierre Régnier

A realistic model of multi-agent planning must allow us to formalize notions which are absent in classical planning, such as communication and knowledge. We investigate multi-agent planning based on a simple logic of knowledge that is grounded on the visibility of propositional variables. Using such a formal logic allows us to prove the existence of a plan given the description of the individua...

2016
Bryan Renne

Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...

Journal: :shiraz journal of system management 0

abstract. different groups of employees are managed differently and may require different leadership styles based on human resource characteristics, including uniqueness and strategic value of human capital. choosing concurrent leadership styles is one of the most important phases of the strategic human resource management (shrm), which attracts increasing attentions of many researchers. litera...

Journal: :J. Log. Comput. 2011
Bryan Renne

Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...

Journal: :iranian journal of earth science 0
misagh mirzaei department of mining engineering, south tehran branch, islamic azad university, tehran, iran peyman afzal camborne school of mines, university of exeter, penryn, uk ahmad adib department of mining engineering, south tehran branch, islamic azad university, tehran, iran masoumeh khalajmasoumi department of geology, sciences and research branch, islamic azad university, tehran, iran afshar zia zarifi department of mining engineering, lahijan branch, islamic azad university, lahijan, iran

the aim of this study is prospecting of iron and manganese in the balvard 1:100000 sheet which is situated in sanandaj - sirjan structural zone utilizing index overlay and fuzzy logic methods in the gis. in this study, the layers for integration, alterations, geological, geophysical, geochemical and structural data based on stream sediments, airborne magnetometeric and remote sensing studies. b...

2006
Jianzhong Chen Lawrence A. Kelley Stephen Muggleton Michael J. E. Sternberg

In this paper, we present a probabilistic method of dealing with multiclass classification using Stochastic Logic Programs (SLPs), a Probabilistic Inductive Logic Programming (PILP) framework that integrates probability, logic representation and learning. Multi-class prediction attempts to classify an observed datum or example into its proper classification given that it has been tested to have...

Journal: :ECEASST 2012
Ginés Moreno Pedro J. Morcillo Jaime Penabad Carlos Vázquez

Classically, most programming languages use in a predefined way the notion of “string” as an standard data structure for a comfortable management of arbitrary sequences of characters. However, in this paper we assign a different role to this concept: here we are concerned with fuzzy logic programming, a somehow recent paradigm trying to introduce fuzzy logic into logic programming. In this sett...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید