Filters

124 Hits in 2.2 sec

### Towards a Computational Treatment of Deontic Defeasibility [chapter]

Alberto Artosi, Guido Governatori, Giovanni Sartor
1996 Workshops in Computing
Unification scheme KEM 's label unification scheme involves two kinds of unifications, respectively "high" and "low" unifications.  ...  By a KEM − proof of a formula A we mean a σ L -closed KEM -tree for F A, i.  ...  KEM for DDL In order to extend KEM to deal with DDL we have only to define the following special unifications: i, k are i-ground, and (i, k)σ S5 ∈ Φ d ∪ Φ s ; otherwise (i, k)σ DDL = (h(i), h(k))σ × (s  ...

### A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations [chapter]

Alberto Artosi, Guido Governatori, Antonino Rotolo
2000 Lecture Notes in Computer Science
The label formalism KEM , introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas.  ...  unification algorithm.  ...  If ⊢ KEM A, then |= SFC A where, a If ⊢ CU A then ⊢ KEM A s usual with tableau methods, ⊢ KEM A means that the KEM -tree starting with F A, w 1 is closed. Lemma 4.  ...

### Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

A. Artosi
2002 Journal of Logic and Computation
The label formalism KEM, introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas.  ...  inference rules are provided by the propositional system KE + -a tableau-like analytic proof system devised to be used both as a refutation method and a direct method of proof-that is the classical core of KEM  ...  A KEM-proof (or simply proof) of A is a closed KEM-tableau for FA : i, where i is in Φ C . Finally KEM A means that there is a KEM-proof for A.  ...

### A tableau methodology for deontic conditional logics [article]

Alberto Artosi, Guido Governatori
2000 arXiv   pre-print
The KEM label formalism, designed to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logics by simply indexing labels with formulas.  ...  The theorem proving methodology we are going to present can be viewed as a first step towards developing an appropriate algorithmic framework for several conditional logics for (defeasible) conditional  ...  Label unification As we have already said, the logic-dependent notion of label (or σ-) unification is at the heart of KEM modal proof system.  ...

### Analytic Modal Revision for Multi-agent Systems [chapter]

Paolo Di Giusto, Guido Governatori
1999 Lecture Notes in Computer Science
To this end it is possible to define logic dependent label unifications σ L , which will be used in the course of KEM proofs.  ...  KEM is a labelled tableaux system based on a mixture of natural deduction and tableaux rules which uses labels to simulate the accessibility relation, and a unification algorithm to determine whether two  ...

### CCA-Secure IB-KEM from Identity-Based Extractable Hash Proof System

Y. Chen, Z. Zhang, D. Lin, Z. Cao
2013 Computer journal
We show how to construct identity-based key encapsulation mechanism (IB-KEM) from IB-EHPS in a simple and modular fashion.  ...  Our construction provides a generic method of building and interpreting CCA-secure IB-KEMs based on computational assumptions.  ...  One is that towards utmost generality for an abstract paradigm, it is more preferable to minimize the dependence on other primitives, while the other is that the proof of CCA-secure IB-KEM based on the  ...

### Efficient Chosen-Ciphertext Security via Extractable Hash Proofs [chapter]

Hoeteck Wee
2010 Lecture Notes in Computer Science
Partial progress towards a unifying approach was made recently by Cramer, Hofheinz and Kiltz [13] ; their approach remains unsatisfactory in two ways: first, it does not encompass constructions from hardness  ...  Our framework may be viewed as a clarification and unification of all these constructions.  ...  A KEM is said to be indistinguishable against chosen ciphertext attacks (IND-CCA) if for all PTA adversaries A, the advantage AdvCCA A KEM (k) is a negligible function in k.  ...

### Detailed Unification Equations for Kinetic Parameters: A Case Study on Human Salivary Alpha Amylase

Ikechukwu Iloh Udema
2017 Journal of Analytical & Pharmaceutical Research
Conclusion: Unification quadratic equations were derived and give quantitative results similar to the results obtained from conventional equations.  ...  Tris, 3, 5-dinitrosalicylic acid, maltose, and sodium potassium tartrate tetrahydrate were purchased from Kem light laboratories Mumbai India, while potassium iodide was purchased from Merck Germany.  ...  But it has been made known that there are different aspects of the process involved in the amylolytic production of reducing sugar, namely transit of enzyme towards the heavier polysaccharide, catalytic  ...

### English-Igbo glossary creation of palm oil production and processing terms

Daniel I. Ilechukwu, Aloysius U. Umeodinka
2016 OGIRISI a New Journal of African Studies
the researcher recommends that the federal government should give the needed support for research development; translators involved in terminology should register with international organizations for unification  ...  (Igbo) as "kem[kalx".  ...  Individual efforts in this area should be commended for the efforts towards term creation. 5.  ...

### GLIMPSE OF PHARMACY PROFESSION IN INDIA

Anant P Hardas
2012 Journal of Drug Delivery and Therapeutics
Post of Hospital Pharmacist created at KEM Hospital, Mumbai, 1941 (Modern pharmacy services started at CMCH, Vellore; Jaslok; JJ Hospital and other hospitals in India).  ...  Unification of IPCA & IPA took place in March 1954 and it was resolved that IPCA will hold annual conferences and all other professional activities will be carried out by IPA and subsequently the first  ...

### THE INTERNATIONAL WORK OF SCIENTIFIC SYNTHESIS

R. D. Carmichael
1923 Science
Grénval in Svensk Kem. Tids. for April may be of interest to some of your readers.  ...  The continued suceess of this effective organ of international culture is a matter of importance to the development and unification of science.  ...

### The International Work of Scientific Synthesis

R. D. Carmichael
1923 Science
Grénval in Svensk Kem. Tids. for April may be of interest to some of your readers.  ...  The continued suceess of this effective organ of international culture is a matter of importance to the development and unification of science.  ...

### MENGANGANKAN HAM INDONESIA BERWAWASAN ISLAM

M. Fauzan Zenrif
2008 El Harakah
When human rights issues arise, the unification of Indonesian Islam seeks to justify the problem into its shari'ah.  ...  ؛‬Mengenai permasalahan konseptual HAM universttl lihat dalam Abdlullah Alimetl An-'Na'im, "Towards ‫،؛‬n Islamic Reformation: Civil Liberties, liuman Rights and International Law", diteijemalikan oleli  ...  Hak Keamanan Jiwa M asalalr jiw a m anusia adalalr masalalr yang paling esensi dalaih eksistensi manusia, selrab pengakuan terhadap kem ttnusiaan sesungguhnytt irrerujrakan pengakuitn terhadap  ...

### Page 102 of Encounter Vol. 20, Issue 1 [page]

Encounter
While the author’s position is a de- nial of the transcendent, there appears to be an implicit and unconscious sug- gestion of a transcendent goal and a force moving us toward that goal.  ...  Kem- pis), the author supports a variation of modern hedonism (social utilitarian- ism) in which the “interests and de- mands of the state as an entity, of so- ciety as a group of individuals, and of the  ...

### Slovenes and Czechs: an Enduring Friendship

Irena Gantar Godina
1998 Slovene studies
~eskoslovanskem katoli~kem shodu," Slovenec 204, 5 September 1908. Vac\av Za~ek, Slovans!  ...  Both Czechs and Slovenes began organizing tabori (camps) towards the end of the 1860s.  ...  "the brotherhood of Catholic Slovenes with Catholic Czechs would indeed be one of my highest national-political ideals in Austria," and utterly rejected any other type of connection. 15 This attitude towards  ...
« Previous Showing results 1 — 15 out of 124 results