维普期刊资源整合服务平台（V6.5）

128篇 您的检索式：期刊名="Journal of Logic Computing"

选中清除导出查看参考文献查看引证文献引用追踪共7页首页上一页第1页下一页末页 /7 跳转

	题名	作者	年代	出处	被引量
1	Propositional information systems显示文摘	Kohlas J Haenni R	1999	Journal of Logic and Computation1999，9，5：	1
2	Formali- zing Collaborative Decision-making and Practical Rea- soning in Multi-agent Systems显示文摘	Panzarasa P Jennings N R Norman T J	2002	Journal of Logic and Computation2002，12，1：	1
3	On BCK algebras part III: classes of examples of proper MV algebras, BL algebras and divisible bounded residuated lattices, with or without condition (WNM)显示文摘	IORGULESCU A	2010	Journal of Multiple-Valued Logic & Soft Computing2010，16，：	1
4	A local search approach to modeling and solving interval algebra problems显示文摘	THORNTON J BEAUMONT M SATTAR A	2004	Journal of Logic and Computation2004，14，1：	1
5	Actions and events in interval temporal logic 显示文摘	Allen J F Ferguson G	1994	Journal of logic and computation1994，4，5：	1
6	Coherence and flexibility in dialogue games for argumentation显示文摘	Prakken H	2005	Journal of Logic and Computation2005，15，：	1
7	Rule systems for run time monitoring: from Eagle to RuleR显示文摘	Barringer H Rydeheard D Havelund K	2010	Journal of Logic and Computation2010，20，3：	1
8	Approximations in hyperrings显示文摘	Davvaz B	2009	Journal of Multiple-Valued Logic and Soft Computing2009，15，：	1
9	Cooperative problem solving 显示文摘	WOOLDRIDGE M JENNINGS R	1999	Journal of Logic and Computation1999，9，4：	1
10	A description logic with transitive and inverse roles and role hierarchies 显示文摘	I Horrocks U Sattler	1999	Journal of Logic and Computation1999，9，3：	1
11	Training artificial neural networks using L6vy group search optimizer 显示文摘	He S	2010	Journal of Multiple- Valued Logic and Soft Computing2010，16，：	1
12	Decision procedures for BDI logics显示文摘	RAO S GEORGEFF P	1998	Journal of Logic and Computation1998，8，3：	1
13	Keel data- mining software tool: data set repository, integration of algorithms and experimental analysis framework 显示文摘	Alcalh-fdez J Fem6ndez A Luengo J	2011	Journal of Multiple-Valued Logic & Soft Computing2011，17，2：	1
14	Special issue on Ontology dynamics 显示文摘	Giorgos Flouris Mathieu Aquin Grigoris Antoniou	2009	Journal of Logic Computing2009，19，5：	1
15	Fuzzy logics with non-commutative conjunction 显示文摘	HAJEK P	2003	Journal of Logic and Computation2003，13，4：	1
16	Expressive number restrictions in description logics显示文摘	BAADER F SATTLER U	1999	Journal of Logic and Computation1999，9，3：	1
17	KEEL Da- u-Mining Software Tool: Data Set Repository, Integration of Al- gorithms and Experimental Analysis Framework 显示文摘	Alcala-Fdez J Femandez A Luengo J	2011	Journal of Multiple-Valued Logic & Soft Computing2011，12，17：	1
18	Actions and events in interval temporal logic显示文摘	Allen J F Ferguson G	1994	Journal of Logic Computation1994，4，5：	1
19	Collaborative Runtime Verification with Trace- matches显示文摘	BODDEN E	2010	Journal of Logic and Computation2010，20，3：	1
20	Coalgebraic Theories of Sequences in PVS显示文摘	Hensel U Jacobs B	1999	Journal of Logic and Computation1999，，：	1

返回顶部每页显示：

共7页首页上一页第1页下一页末页 /7 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示