The prob lem of r e c o n s t r u c t i n g a p rocedure f rom t r a c e s o f i t s behav io r i s c o n s i d e r e d . A r e p r e s e n t a t i o n f o r p r o c e d u r e s , i n c l u d i n g backt r a c k i n g p r o c e d u r e s , i s d e s c r i b e d and a d e f i n i t i o n o f a t r a c e o r p r o t o c o l i s p r e s e n t e d . A l g o r i t h m s f o r t h e c o n s t r u c t...

A s a r u l e , t h e w o r t h o f a s p e c i a l i s t b e c o m e s a p p r e h e n s i b l e t o a l l o n l y a f t e r h i s d e a t h , w h e n the a b s e n c e o f h i s p r o f e s s i o n a l k n o w l e d g e m a k e s i t s e l f f e l t . H o w e v e r , L á s z l ó P E L L É R D Y w a s one o f t he s c i e n t i s t w h o s e g r e a t n e s s w a s r e c o g n i z e d and a p ...

T h i s p u b l i c a t i o n c o n t a i n s w o r k o n s e v e r a l a s p e c t s r e l a c e d t o p o l y s a c c h a r i d e s y n e r g y . F i r s t l y a m o d e l f o r p r e d i c t i n g t h e v i s c o s i t y o f n o n i n t e r a c t i n g m i x e d p o l y s a c c h a r i d e s o l u t i o n s b a s e d u p o n c o i l o c c u p a n c y w a s d e r i v e d a n d e x p e r i n e...

We propose a new method f o r automated theorem p r o v i n g i n f i r s t o r d e r modal l o g i c . E s s e n t i a l l y , the method c o n s i s t s i n a t r a n s l a t i o n o f modal l o g i c i n t o a s p e c i a l l y des igned t y p e d f i r s t o r d e r l o g i c c a l l e d Path L o g i c , such t h a t c l a s s i c a l modal systems ( f i r s t o r d e r Q, T , 0 4 , S4, S5)...

R e a s o n i n g , P r o c e e d i n g s E C A I 9 8 , p p . 3 8 3 – 3 8 7 . [ J u n g , e t a l . , 1 9 9 6 ] C . G . J u n g , K . F i s c h e r a n d A . B u r t , M u l t i A g e n t P l a n n i n g U s i n g a n A b d u c t i v e E v e n t C a l c u l u s , D F K I R e p o r t R R 9 6 0 4 ( 1 9 9 6 ) , D F K I , G e r m a n y . [ K a k a s , e t a l . , 1 9 9 8 ] A . C . K a k a s , A . M...

S e v e r a l r e c e n t r e s e a r c h r e p o r t s have f o c u s s e d o n t h e r e p r e s e n t a t i o n and s o l u t i o n o f p rob lems i n s e m a n t i c a l l y r i c h domains ( 1 ) , ( 2 ) , ( 3 ) , ( 4 ) . These i n c l u d e a n a l y s i s o f a l g e b r a word p r o b l e m s a s w e l l as p r o b l e m s in mechan ics and t he rmodynamics . The t e r m " s e m a n t i ...

T h i s p a p e r p r e s e n t s a n e w t e x t u r e a n a l y s i s m e t h o d i n c o r p o r a t i n g w i t h t h e p r o p e r t i e s o f b o t h t h e g ray l eve l c o o c c u r r e n c e m a t r i x ( G L C M ) a n d t e x t u r e s p e c t r u m (TS) m e t h o d s . T h e c o o c c u r r e n c e f ea tu res e x t r a c t e d f r o m t h e c r o s s d i a g o n a l t e x t u r e m ...

With t h e p u r p o s e o f c l a r i f y i n g c h a r a c t e r i s t i c d i f f e r e n c e o f t h e op t imum c o l l e c t i v e s u b m a n i f o l d s i n n o n r e s o n a n t and r e s o n a n t c a s e s , we d e v e l o p a n improved method o f s o l v i n g t h e b a s i c e q u a t i o n s of t h e s e l f c o n s i s t e n t c o l l e c t i v e c o o r d i n a t e (SCC) method...

C t v i o u s l y , d e m o n s t r a t i n g t h a t ADAPT s t u d e n t s h a v e c h a n g e d o n t h e a h c v e d i m e n s i o n s is n o t s u f f i c i e n t . C e r t a i n l y o n e would e x p e c t some g r o w t h a n d c h a n g e t o o c c u r d u r i n g a c o l l e g e s t u d e n t ' s f r e s h m a n y e a r , A m o r e c o m p e l l i n g d o c u m e n t a t i o n of c h a ...

A r e f u t a t i o n a l sys tem o f l o g i c f o r a l a n g u a g e o f o r d e r w i a p r e s e n t e d . T h i s langage i s a s l i g h t m o d i f i c a t i o n o f C h u r c h ' s \ c a l c u l u s w i t h t y p e s . The sys tem i s c o m p l e t e , i n the sense t h a t a r e f u t a t i o n o f a s e t o f sen tences e x i s t s i f and o n l y i f t h i s s e t does n o t possess...