Compiled by George William Jackson, the Jackson Family Album contains 34 cartes de visite or "cdv" visiting cards. These wallet-sized portraits, roughly the size of a small playing card, replaced the daguerrotype and tintype as the most popular form of portraiture in the mid 1860s. The stories behind the portraits clearly reveal that Stonewall Jackson had much company in achieving greatness wit...

While Civil War history is dominated by pivotal battles and campaigns like the Battle of Gettysburg or Sherman's March through Georgia, the greater part of the War efforts of both the Union and Confederate armies were expended in sustaining and moving large armies, in jockeying for position and in preparing for battle. It has been estimated that in the course of a year's service, the average so...

c o l o r e d l i g h t r e f l e c t i o n s p r o d u c e d b y h i s m o b i l e s . H i s s h o r t J a m e s E . D a v i s , " F i g u r e S t u d y , " p e n c i l o n p a p e r , 1 9 3 4 . f i l m s , a v e r a g i n g a b o u t t e n m i n u t e s i n l e n g t h , w e r e o f t e n a c c o m p a n i e d b y o r i g i n a l m u s i c , s o m e t i m e s c o m p o s e d a n d a r r a n g...

CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...

In this extended abstract we report on results recently achieved for answering instance queries relaxed by concept similarity measures [4]. Traditionally, Description Logic (DL) reasoning systems only support crisp inference services, like subsumption and instances queries. The latter can be effectively used to perform different types of search tasks: Given an ABox describing a set of individua...