A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards a Computational Treatment of Deontic Defeasibility
[chapter]
1996
Workshops in Computing
Preserved Fulltext
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2002
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2000
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2013
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Analytical & Pharmaceutical Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
OGIRISI a New Journal of African Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Drug Delivery and Therapeutics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1923
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1923
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2008
El Harakah
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1998
Slovene studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
~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