阿列斯基·奈特·阿卜杜拉
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2005 [第13条] 阿列斯基·奈特·阿卜杜拉 , 阿兰·勒科姆 :
关于部分信息逻辑中模糊量化和标量隐含的表达。 拉丁美洲和加勒比海 2005 : 205-220 2001 [第12条] 阿雷斯基·奈特·阿卜杜拉 :
逻辑动力学中的最优模型和最优轨迹。 JFPLC公司 2001 : 139-156
1990 – 1999
1995 【b1】 阿列斯基·奈特·阿卜杜拉 :
部分信息的逻辑。 理论计算机科学专著。 EATCS系列 , 施普林格 1995 ,十亿 978-3-642-78162-9 第I-XXV页,1-718页 1991 [第11条] M.A.奈特·阿卜杜拉 :
默认推理中的核心知识与带状知识:逻辑方法。 ICCI公司 1991 : 675-686 [第10条] M.A.奈特·阿卜杜拉 :
非单调推理单调框架的句法和语义。 MFCS公司 1991 : 357-366
1980 – 1989
1989 [j3] M.A.奈特·阿卜杜拉 :
知识模型理论的逻辑代数方法。 理论。 计算。 科学。 66 ( 2 ) : 205-232 ( 1989 ) 【c9】 M.A.奈特·阿卜杜拉 :
默认推理的扩展框架。 FCT公司 1989 : 339-348 【c8】 M.A.奈特·阿卜杜拉 :
一些数学悖论的逻辑程序设计。 FCT公司 1989 : 349-361 1988 【c7】 M.A.奈特·阿卜杜拉 :
启发式逻辑与发现过程。 ICLP/SLP公司 1988 : 859-875 1987 【c6】 M.A.奈特·阿卜杜拉 :
离子逻辑编程。 ICALP公司 1987 : 11-20 1986 【c5】 M.A.奈特·阿卜杜拉 :
Horn-Clause编程中的程序。 ICLP公司 1986 : 433-447 【c4】 M.A.奈特·阿卜杜拉 :
AL-Khowarizmi:高阶逻辑程序设计的形式化系统。 MFCS公司 1986 : 545-553 【c3】 M.A.奈特·阿卜杜拉 :
逻辑编程中的图标和局部定义。 STACS公司 1986 : 60-72 1985 [注2] 马滕·范·埃姆登 , M.A.奈特·阿卜杜拉 :
逻辑程序公平计算的自上而下语义。 J.日志。 程序。 2 ( 1 ) : 67-75 ( 1985 ) 【c2】 M.A.奈特·阿卜杜拉 :
关于逻辑程序的一些拓扑性质。 FCT公司 1985 : 310-319 1984 [j1] M.A.奈特·阿卜杜拉 :
数据类型作为算法。 RAIRO提奥。 信息学应用。 18 ( 1 ) : 3-22 ( 1984 ) 【c1】 M.A.奈特·阿卜杜拉 :
论逻辑程序设计中无穷计算的解释。 ICALP公司 1984 : 358-370
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)