• 

    • <nav id="zaw9e"></nav>
    

    • 

    亚洲app_AV俺去_谁有av网站在线观看_九九精品黄色
    
	
    		
		
	
    
		 
	
    
	
	
    
		
	
    


		
    
			
    
				
    
					首頁(yè) >
					期刊 >
					
					中山大學(xué)學(xué)報(bào)論叢 > 
					
					前提嵌套程序和基數(shù)約束程序的簡(jiǎn)潔性研究 【正文】
					
				
    
			
    

			
    
				
    
					
    
						
						
    前提嵌套程序和基數(shù)約束程序的簡(jiǎn)潔性研究
    

						
						
						

						
						
    作者：張燕; 沈榆平; 趙希順  中山大學(xué)邏輯與認(rèn)知研究所
    
						

						
    摘要：直觀地說(shuō),簡(jiǎn)潔性是指一個(gè)邏輯系統(tǒng)緊湊表示問(wèn)題的能力。近年來(lái)關(guān)于簡(jiǎn)潔性的研究逐漸得到人們的關(guān)注。本文將討論兩類(lèi)邏輯程序,即基數(shù)約束程序(Cardinality Constraint Programs,CCP)與前提嵌套程序(Nested Logic Programs,NLP)之間的簡(jiǎn)潔性。我們?cè)O(shè)計(jì)了一個(gè)從CCP到NLP多項(xiàng)式長(zhǎng)度的等價(jià)翻譯,這極大改進(jìn)了Ferraris和Lifschitz提出的指數(shù)長(zhǎng)度翻譯方法,由此證明NLP至少與CCP一樣簡(jiǎn)潔。
    
						

						
    注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢(xún)雜志社。
    
						
						
						
						
					
    
				
    
				
				
				
    
	
    
		
	
    
	
    
		
    中山大學(xué)學(xué)報(bào)論叢雜志
    
		
    中山大學(xué)學(xué)報(bào)論叢雜志，
		月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：研究報(bào)告、文獻(xiàn)綜述、簡(jiǎn)報(bào)等。于1981年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
    
		
      
			
			
    • 部級(jí)期刊
      • 
			
			
			
    • 1個(gè)月內(nèi)審核
      • 
			
		
    
	
    
	

    
				

				


				
				
    
					
    服務(wù)介紹LITERATURE
    
					
    
						
    
							
    正規(guī)發(fā)表流程  全程指導(dǎo)
    
							
    多年專(zhuān)注期刊服務(wù)，熟悉發(fā)表政策，投稿全程指導(dǎo)。因?yàn)閷?zhuān)注所以專(zhuān)業(yè)。
    
							
						
    
						
    
							
    保障正刊  雙刊號(hào)
    
							
    推薦期刊保障正刊，評(píng)職認(rèn)可，企業(yè)資質(zhì)合規(guī)可查。
    
							
						
    
						
    
							
    用戶(hù)信息嚴(yán)格保密
    
							
    誠(chéng)信服務(wù)，簽訂協(xié)議，嚴(yán)格保密用戶(hù)信息，提供正規(guī)票據(jù)。
    
							
						
    
						
    
							
    不成功可退款
    
							
    如果發(fā)表不成功可退款或轉(zhuǎn)刊。資金受第三方支付寶監(jiān)管，安全放心。
    
							
						
    
						
    
					
    
				
    
			
    
		
    
	
    
	
	






	
	

亚洲app_AV俺去_谁有av网站在线观看_九九精品黄色 

  • 

    • <nav id="zaw9e"></nav>
    

    •