Filters








1,557,491 Hits in 6.9 sec

The Complexity of Revision, Revised

G. Aldo Antonelli
2002 Notre Dame Journal of Formal Logic  
The purpose of this note is to acknowledge a gap in a previous paper -"The Complexity of Revision", see [1] -and provide a corrected version of argument.  ...  The main point of the argument given in [1] is to show that the Gupta-Belnap revision-theoretic system S * admits of an analogue of the Löwenheim-Skolem theorem for first-order logic (all notation and  ...  Moreover, since S is countable, the ordinal α 0 giving the length of the new revision sequence will also be countable (even if it is uncountable "from the point of view" of S ). This establishes ( ).  ... 
doi:10.1305/ndjfl/1071509429 fatcat:gqqm3m63rneqzcfxwrge4xya6y

The Complexity of Revision

Gian Aldo Antonelli
1994 Notre Dame Journal of Formal Logic  
The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.  ...  In this paper we show that the Gupta-Belnap systems S # and S * are 1 2 . Since Kremer has independently established that they are 1 2 -hard, this completely settles the problem of their complexity.  ...  If not, what is the complexity of the theorems of S # relative to that of D?  ... 
doi:10.1305/ndjfl/1040609294 dblp:journals/ndjfl/Antonelli94 fatcat:6t2tocfwijftfjoqjs5ll5dipu

The complexity of theory revision

Russell Greiner
1999 Artificial Intelligence  
The first (sample complexity) results suggest reasons why theory revision can be more effective than learning from scratch, while the second (computational complexity) results explain many aspects of the  ...  It then considers the computational complexity of finding this best theory, and proves that, unless P = NP, no polynomial-time algorithm can identify this optimal revision, even given the exact distribution  ...  Fourth, Mooney [53] addressed the sample complexity of certain types of theory revision systems.  ... 
doi:10.1016/s0004-3702(98)00107-6 fatcat:saaqtredj5fknlp4aoiwhmjlb4

The Complexity of Theory Revision

Russell Greiner
1995 International Joint Conference on Artificial Intelligence  
a related theory that is as accurate as possible After formally denning the theory revision task and bounding its sample complexity, this paper addresses the task's computational complexity It first proves  ...  "theory revision" systems use a given set of "labeled queries" (each a query paired with its correct answer) to transform the given theory, by adding and/or deleting either rules and/or antecedents, into  ...  3 then addresses the computational complexity of the task of finding the optimal (or even near-optimal) revised theory It first proves that the task of computing the optimal theory within this space of  ... 
dblp:conf/ijcai/Greiner95 fatcat:djed2ocjjrdwnbjhuwsxsvlxim

The complexity of iterated belief revision [chapter]

Paolo Liberatore
1997 Lecture Notes in Computer Science  
In this paper we analyze the complexity of revising a knowledge base when an iteration of this process is necessary.  ...  The analysis concerns both the classical problems of belief revision (inference, model checking, computation of the new base) and new issues, related to the problem of "committing" the changes.  ...  Acknowledgments We thank to Marco Cadoli and Marco Schaerf for their comments on earlier versions of this paper. We also thank to the anonymous referees for their valuable suggestions.  ... 
doi:10.1007/3-540-62222-5_51 fatcat:4iwde442b5gojm3ia74gj7oge4

The complexity of revising logic programs

Russell Greiner
1999 The Journal of Logic Programming  
A theory revision algorithm, seeking a revised rule-base whose expected accuracy, over the distribution of queries, is optimal, should therefore consider modifying the order of the rules.  ...  We next prove similar hardness and non-approximatability, results for the related tasks of determining, in these impure contexts, (1) the optimal ordering of the antecedents; (2) the optimal set of new  ...  Acknowledgements I gratefully acknowledge the many helpful comments I received from the anonymous reviewers. Much of this work was done while I worked at Siemens Corporate Research, in Princeton, NJ.  ... 
doi:10.1016/s0743-1066(99)00021-7 fatcat:dvzwcvts4bfjdpfcmcrnuo4gnu

Revision of the Rhamphobrachium complex (Polychaeta: Onuphidae)

Hannelore Paxton
1986 Records of the Australian Museum  
The Rhamphobrachium complex is revised. Three species each are recognized for Brevibrachium and Longibrachium, of which B. augeneri and L. longipes are newly described.  ...  Keys to adults and descriptions of all species are provided.  ...  The aim of this paper is to provide keys and descriptions to all species of the Rhamphobrachium complex.  ... 
doi:10.3853/j.0067-1975.38.1986.176 fatcat:krsuygri3jc6ffblrn72cxddpa

Managing the Complexity of Revising across Languages

Chris Hall
1990 TESOL Quarterly (Print)  
First of all, L2 revisions were more time consuming and numerous, suggesting that composition in a second language places a far greater burden on revision while managing the complexity of text production  ...  Furthermore, this tool for managing complexity does not have to be limited to one stage of the composition process.  ... 
doi:10.2307/3586851 fatcat:k2ymfjzccbhs3iomqddabaj7zm

Taxonomic revision of the Typhula ishikariensis complex

Tamotsu Hoshino, Oleg B. Tkachenko, Motoaki Tojo, Anne Marte Tronsmo, Taiga Kasuya, Naoyuki Matsumoto
2022 Mycoscience  
Although some of their taxonomic and ecological features have only recently been elucidated (e.g.  ...  Phylogenetic analyses revealed the monophyly of Typhula from outgroups (Pleurotus spp.) and also that of the T. ishikariensis complex for Typhula of ITS (Fig. 1 : 82/100, 82/0.61) and the partial mitochondrial  ...  Thus, the situation of the T. ishikariensis complex is comparable to that of Armillaria mellea (Vahl) Kumm. (Cha, Sung, & Igarashi, 1994) and Heterobasidion annosum (Fr.) Bref.  ... 
doi:10.47371/mycosci.2022.03.003 fatcat:vhrdyacbvffm3pjeh5yswpavia

A Revision of the Liatris scariosa Complex

L. H. Shinners
1943 The American midland naturalist  
ee TT oe ee A Revision of the Liatris scariosa Complex L. H.  ...  The variability of each species in the complex, the occurrence of hybrids, and the scanty representation of some of the species in most herbaria have all contributed to the difficulty of understanding  ... 
doi:10.2307/2420976 fatcat:t7rv4noqvre4hpkwbe7gx56kfm

Revision of the Aechmea multiflora complex (Bromeliaceae)

MARIA BERNADETE FERREIRA CANELA, NATÁLIA PRADO LOPEZ PAZ, TÂNIA WENDT
2003 Botanical journal of the Linnean Society  
A taxonomic revision of the Aechmea multiflora complex (Bromeliaceae) is presented. The complex currently comprises four species belonging to the subgenus Chevaliera.  ...  In this study, we document morphological variation in herbarium and living plants in order to improve the delimitation of species in the genus Aechmea.  ...  ACKNOWLEDGEMENTS We are grateful to the curators of all herbaria mentioned in the text; T.  ... 
doi:10.1046/j.1095-8339.2003.00202.x fatcat:sbqxnrfiqbbzdmh3l2e62nnsbu

A Revision of the Rosa Californica Complex

Donald Cole
1956 The American midland naturalist  
A Revision of the Rosa Californica Complex Donald Cole Pomona College, Claremont, California The Genus Rosa was described by Linnaeus in his Species Plantarum in 1753.  ...  Watson (1885) was among the first to treat the North American group of species as a whole. His work included a history and revision of the North American members of the genus.  ... 
doi:10.2307/2422335 fatcat:5kfpv3452bhffl53qfokpygnxe

A revision of the Combretum vendae complex

N. Hahn
2012 South African Journal of Botany  
This article proposes the Combretum vendae complex be split into two varieties based on extensive field work which revealed two distinct forms occurring on the Soutpansberg and Blouberg.  ...  The typical form is confined to the eastern Soutpansberg and a glabrous form occurs towards the west.  ...  Hugh Glen is thanked for translating the diagnoses into Latin and correcting grammatical mistakes.  ... 
doi:10.1016/j.sajb.2011.06.005 fatcat:ndvmscbca5g4znx5titqur3w7i

A Taxonomic Revision of the Allium virgunculae Complex (Alliaceae)

HIROSHI TAKAHASHI, MITSURU HOTTA
2009 Acta phytotaxonomica et geobotanica  
virgunculae Complex 85 Herbs, perennial, evergreen.  ...  The ovaries of Allium kiiense are ed from the style.  ... 
doi:10.18942/apg.kj00005878344 fatcat:ffrvqbbqj5b2jeczy3aiqjztju

A Revision of the Euphorbia Dioscoreoides Complex (Euphorbiaceae)

Victor Steinmann
1995 Aliso  
A revision of the Euphorbia dioscoreoides complex (subgenus Agaloma) is provided.  ...  Se presenta una revision taxonomica del Euphorbia dioscoreoides complejo (subgenero Agaloma).  ...  The exact phylogenetic relationships between the individual members of the Euphorbia dioscoreoides complex are not yet elucidated, and its relationship to other members of Agaloma is also not obvious,  ... 
doi:10.5642/aliso.19951403.34 fatcat:6r6zoyxkgvhcvhvsws32e3udwq
« Previous Showing results 1 — 15 out of 1,557,491 results