@incollection{,
	
					
					
					D8657AECB439B9A8B17F9ADBED87CBAD
				,
	author={{Dr. FatihaMamache} and {Dr. FatihaMamache} and {Universt des Sciences et de la technologie Houari Boumedine. Alger, Algrie}},
	journal={{Global Journal of Computer Science and Technology}},
	journal={{GJCST}}0975-41720975-435010.34257/gjcst,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}1277785
}

@incollection{b0,
	
	
		,
	title={{Towards a general theory of actions and time}}
		,
	author={{
			JAllen
		}}
	
	
		,
	journal={{Artificial Intelligence}}
		
			23
			
			,
	year={1984}
		
	

}

@incollection{b1,
	
	
		,
	title={{Actions and Events in Interval Temporal Logic}}
		,
	author={{
			JFAllen
		} and {
			GFerguson
		}}
		
	
	
		,
	journal={{J. Logic and Computation}}
		
			4
			5
			,
	year={1994}
		
	

}

@incollection{b2,
	
	
		,
	title={{A temporal logic for reasoning about processes and plans}}
		,
	author={{
			DMcdermott
		}}
	
	
		,
	booktitle={{Process and Cognitive Science}}
				ess and Cognitive Science
		
			,
	year={1982}
			6
			
		
	

}

@incollection{b3,
	
	
		,
	title={{Time in a Causal Theory}}
		,
	author={{
			DKayser
		} and {
			AMokhtari
		}}
		
	
	
		,
	journal={{Annals of Mathematics and Artificial Intelligence}}
		
			22
			1-2
			
			,
	year={1998}
		
	

}

@incollection{b4,
	
	
		,
	title={{Events, Actions and Temporal logic}}
		,
	author={{
			FMamache
		}}
	
	
		,
	journal={{International Journal of Open Problems in Computer Science and Mathematics}}
		
			3
			3
			,
	year={2010}
		
	

}

@incollection{b5,
	
	
		,
	title={{Reasoning about Changes over Time: Actions, Events, and their Effects}}
		,
	author={{
			BKnight
		} and {
			JMy
		} and {
			TPeng
		}}
		
		
	
	
		,
	booktitle={{Proc. Formalization of Commonsense Reasoning}}
				Formalization of Commonsense Reasoning
		
			,
	year={1998}
			
		
	

}

@incollection{b6,
	
	
		,
	title={{Representing Temporal Relationships Between Events and Their Effects}}
		,
	author={{
			BKnight
		} and {
			JMy
		} and {
			TPeng
		}}
		
		
	
	
		,
	booktitle={{Proceedings of the International Fourth Temporal Workshop one Representation and Reasoning}}
				the International Fourth Temporal Workshop one Representation and Reasoning
		
			,
	publisher={IEEE Computer Society Press}
			,
	year={1997}
			
		
	

}

@book{b7,
	
	
		,
	title={{Temporal reasoning in the situtin calculus}}
		,
	author={{
			APinto
		}}
		
			,
	year={1994}
		
		
			Computer Science, University of Toronto
		
	
	,
	note={PH D. thesis}

}

@book{b8,
	
	
		,
	title={{Outils logiques pour le traitement du temps de la linguistique à l'intelligence artificielle}}
		,
	author={{
			HBrstougeff
		} and {
			GLigozat
		}}
		
		
			,
	year={1989}
			,
	publisher={Masson}
			,
	address={Paris}
		
	

}

@incollection{b9,
	
	
		,
	title={{Mathematical Logic}}
		,
	author={{
			SKleene
		}}
	
	
		,
	journal={{Collection U}}
		
			,
	year={1971}
		
	

}

@book{b10,
	
	
		,
	title={{Théorie des ensembles, éléments de mathématiques}}
		,
	author={{
			NBourbaki
		}}
		
			,
	year={1971}
			,
	address={Hermann, Paris}
		
	

}

@incollection{b11,
	
	
		,
	title={{A Temporal Logic for Reasoning about Actions}}
		,
	author={{
			FMamache
		}}
	
	
		,
	journal={{International Journal of Open Problems in Computer Science and Mathematics}}
		
			4
			1
			,
	year={2011}
		
	

}

@book{b12,
	
	
		,
	title={{Extraction d'Information et modalisation de connaissances à partir de Notes de Communication Orale PH D. thesis}}
		,
	author={{
			FEven
		}}
		
			,
	year={2005}
		
		
			Université de Nantes
		
	

}

@book{b13,
	
	
		,
	author={{
			MEhrmann
		} and {
			LesEntités Nommées
		}}
		
		,
	title={{Statut théorique et méthodes de désambiguisation PH D. thesis}}
				
			,
	year={2008}
		
		
			Université de Paris
		
	

}

@incollection{b14,
	
	
		,
	title={{Spatial and Temporal Knowledge representation}}
		,
	author={{
			AGalton
		}}
	
	
		,
	journal={{Journal of Earth Science Informatics}}
		
			2
			3
			
			,
	year={2009}
		
	

}

@incollection{b15,
	
	
		,
	title={{Integrating description logics and action formalisms: First results}}
		,
	author={{
			FBaader
		} and {
			CLutz
		} and {
			MMilicic
		} and {
			USattler
		} and {
			FWolter
		}}
		
		
		
		
	
	
		,
	booktitle={{Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI05)}}
				the Twentieth National Conference on Artificial Intelligence (AAAI05)Pittsburgh, PA, USA
		
			,
	year={2005}
		
	

}

@incollection{b16,
	
	
		,
	title={{On Defaults in Action Theories}}
		,
	author={{
			HStrass
		} and {
			MThielscher
		}}
		
	
	
		,
	booktitle={{Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI'09)}}
				the 32nd German Annual Conference on Artificial Intelligence (KI'09)Paderborn, Germany; Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2009}
			
		
	

}

@book{b17,
	
	
		,
	title={{Computing Updates in Description Logics}}
		,
	author={{
			HLiu
		}}
		
			,
	year={2010}
			,
	address={Germany}
		
		
			Dresden University of Technology
		
	
	,
	note={PH D. thesis}

}