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  ... 
doi:10.1007/978-1-4471-1488-8_2 dblp:conf/deon/ArtosiGS96 fatcat:3hed57m33jabnnmvjucekufbkm

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.  ... 
doi:10.1007/10722086_10 fatcat:m3tskadk4jclrd3amltcsuprui

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.  ... 
doi:10.1093/logcom/12.6.1027 fatcat:ozctwfsytze2zjzid3tbcxtxqu

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.  ... 
arXiv:cs/0003050v1 fatcat:qokcu3o2wje7zc3nkebzvb4ive

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  ... 
doi:10.1007/3-540-48159-1_20 fatcat:x2uhwpj4g5bsjj6swrinzlhyua

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  ... 
doi:10.1093/comjnl/bxt090 fatcat:bwe3oo2hajgu5gn3ooh5w4f2pq

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.  ... 
doi:10.1007/978-3-642-14623-7_17 fatcat:gy2trq7ypbb6ddz4ywaole7zya

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  ... 
doi:10.15406/japlr.2017.06.00181 fatcat:zp77qz3l4ndo7mtgk2slcxxsce

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.  ... 
doi:10.4314/og.v12is1.11 fatcat:lcbd2irq5jhj3mcwwidk5xly3q

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  ... 
doi:10.22270/jddt.v2i2.123 fatcat:c47dhav3ajcfpnhquxmkyryyru

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.  ... 
doi:10.1126/science.57.1479.529-b pmid:17743889 fatcat:42t4zn4y7beydaeg2hq2ugd5dq

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.  ... 
doi:10.1126/science.57.1479.529.c fatcat:4wp3phvy4fhuley4wshtvpnvlm

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  ... 
doi:10.18860/el.v2i1.5100 fatcat:si3tbggtbnfxxjitngpyhqgunu

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  ... 
doi:10.7152/ssj.v17i1.3988 fatcat:azg7rkyjlvaupdcjy4gph7gkty
« Previous Showing results 1 — 15 out of 124 results