نتایج جستجو برای: epistemic bases for their methodologies these bases

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

1998
Riccardo Rosati

We propose a unifying view of negation as failure, integrity constraints, and epistemic queries in nonmonotonic reasoning. Specifically, we study the relationship between satisfiability and logical implication in nonmonotonic logics, showing that, in many nonmonotonic formalisms, it is possible and easy to reduce logical implication to satisfiability. This result not only allows for establishin...

2011
Anees Mehdi Sebastian Rudolph Stephan Grimm

Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, ...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و علوم انسانی 1390

abstract birbery and corruption and other criminal and as such is one of social phenomena , and i can firmly say that society is protected and safe from harm , this is criminal . eache community is familiar with these crimes and the crime associated ( direct or indirect ) with the political economic , social , and cultural beliefs and religious issues , especially with the community . admitted...

Journal: :journal of physical & theoretical chemistry 2004
s. ketabi m. hashemian zadeh a. amiri

the hydration of biomolecules is vitally important in molecular biology, so in this paper thesolvation energy and radial distribution function of dna bases have been calculated by themonte carlo simulation.the geometries of isolated adenine, guanine, cytosine, and thyminehave been optimized using 6-31+g(d,p) basis function sets. these geometries then will be used inthe monte carlo calculation o...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ادبیات و علوم انسانی 1393

abstract: the present study is an attempt to find out cultural exophoric references in iranian high-school elt textbooks and touch stone series to compare the frequency of occurrence of such references in these books. the purpose is to find out which of the series of the books under investigation impose a greater referential burden on efl learners as far as their reading comprehension of the ...

A. Gupte D.S. Patel J. V. Patel K. Jadav S. D. Toliwal Y. Patel

Schiff bases of fatty acid hydrazides made from Oil recovered from spent bleaching earth (ORSBE) and Acid oil (AO)were prepared. These newly synthesized Schiff bases were characterized on the basis of FT-IR, elemental analysis and evaluated for biological performance. Schiff bases exhibited mild antibacterial activities against certain micro-organisms if compared with streptomycin used as stand...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده ادبیات و علوم انسانی 1389

this study purported to compare and contrast the use of self-mention and evidentials as two mtadiscourse features in opinion columns of persian and english newspapers. the theoretical basis of this study is the idea that metadiscourse features vary across cultural boundaries. for this purpose, 150 persian and 150 english opinion columns were collected based on three factors of topic, audience a...

Journal: :IJDSST 2010
Ignacio García-Manotas Eduardo Lupiani-Ruiz Francisco García Sánchez Rafael Valencia-García

Knowledge-based decision support systems (KBDSS) hold up business and organizational decisionmaking activities on the basis of the knowledge available concerning the domain under question. One of the main problems with knowledge bases is that their construction is a time-consuming task. A number of methodologies have been proposed in the context of the Semantic Web to assist in the development ...

2011
Gerhard Lakemeyer Yves Lespérance

In many applications, agents must reason about what other agents know, whether to coordinate with them or to come out on top in a competitive situation. However in general, reasoning in a multiagent epistemic logic such as Kn has high complexity. In this paper, we look at a restricted class of knowledge bases that are sets of modal literals. We call these proper epistemic knowledge bases (PEKBs...

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

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