LinGraph: a graph-based automated planner for concurrent task planning based on linear logic (English)
- New search for: Kortik, Sıtar
- Further information on Kortik, Sıtar:
- https://orcid.org/0000-0003-4833-9938
- New search for: Saranli, Uluc̣
- New search for: Kortik, Sıtar
- Further information on Kortik, Sıtar:
- https://orcid.org/0000-0003-4833-9938
- New search for: Saranli, Uluc̣
In:
Applied Intelligence
;
47
, 3
; 914-934
;
2017
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:LinGraph: a graph-based automated planner for concurrent task planning based on linear logic
-
Contributors:Kortik, Sıtar ( author ) / Saranli, Uluc̣ ( author )
-
Published in:Applied Intelligence ; 47, 3 ; 914-934
-
Publisher:
- New search for: Springer US
- New search for: Springer Science + Business Media B.V
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.72$jKünstliche Intelligenz / 30.20 / 30.20$jNichtlineare Dynamik / 54.72
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.72$jKünstliche Intelligenz / 30.20 Nichtlineare Dynamik / 30.20$jNichtlineare Dynamik / 54.72 Künstliche Intelligenz -
Source:
Table of contents – Volume 47, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 585
-
MATHsAiD: Automated mathematical theory explorationMcCasland, R. L. / Bundy, A. / Smith, P. F. et al. | 2017
- 607
-
An improved DPOP algorithm based on breadth first search pseudo-tree for distributed constraint optimizationChen, Ziyu / He, Zhen / He, Chen et al. | 2017
- 624
-
Fuzzy C-Means Clustering and Particle Swarm Optimization based scheme for Common Service Center location allocationGupta, Rajan / Muttoo, Sunil K. / Pal, Saibal K. et al. | 2017
- 644
-
Self-adaptive differential evolution algorithm with improved mutation modeWang, Shihao / Li, Yuzhen / Yang, Hongyu et al. | 2017
- 659
-
Personalized recommendation algorithm for social networks based on comprehensive trustZhang, Zhijun / Xu, Gongwen / Zhang, Pengfei / Wang, Yongkang et al. | 2017
- 670
-
Bellman residuals minimization using online support vector machinesEsposito, Gennaro / Martin, Mario et al. | 2017
- 705
-
An angle based constrained many-objective evolutionary algorithmXiang, Yi / Peng, Jing / Zhou, Yuren / Li, Miqing / Chen, Zefeng et al. | 2017
- 721
-
Multi-objective hybrid artificial bee colony algorithm enhanced with Lévy flight and self-adaption for cloud manufacturing service compositionZhou, Jiajun / Yao, Xifan et al. | 2017
- 743
-
Intuitionistic fuzzy hybrid arithmetic and geometric aggregation operators for the decision-making of mechanical design schemesYe, Jun et al. | 2017
- 752
-
A GA based method for search-space reduction of chess game-treeDehghani, Hootan / Babamir, Seyed Morteza et al. | 2017
- 769
-
Efficiently mining frequent itemsets with weight and recency constraintsLin, Jerry Chun-Wei / Gan, Wensheng / Fournier-Viger, Philippe / Chao, Han-Chieh / Hong, Tzung-Pei et al. | 2017
- 793
-
An accelerated PSO for query expansion in web information retrieval: application to medical datasetKhennak, Ilyes / Drias, Habiba et al. | 2017
- 809
-
A hybrid framework for mining high-utility itemsets in a sparse transaction databaseDawar, Siddharth / Goyal, Vikram / Bera, Debajyoti et al. | 2017
- 828
-
Vulnerability severity prediction and risk metric modeling for softwareZhu, Xiaoling / Cao, Chenglong / Zhang, Jing et al. | 2017
- 837
-
Link prediction in fuzzy social networks using distributed learning automataMoradabadi, Behnaz / Meybodi, Mohammad Reza et al. | 2017
- 850
-
Human mental search: a new population-based metaheuristic optimization algorithmMousavirad, Seyed Jalaleddin / Ebrahimpour-Komleh, Hossein et al. | 2017
- 888
-
Cooperative co-evolution with sensitivity analysis-based budget assignment strategy for large-scale global optimizationMahdavi, Sedigheh / Rahnamayan, Shahryar / Shiri, Mohammad Ebrahim et al. | 2017
- 914
-
LinGraph: a graph-based automated planner for concurrent task planning based on linear logicKortik, Sıtar / Saranli, Uluc̣ et al. | 2017
- 935
-
Using differential evolution strategies in chemical reaction optimization for global numerical optimizationNouioua, Mourad / Li, Zhiyong et al. | 2017
- 962
-
Training primal K-nearest neighbor based weighted twin support vector regression via unconstrained convex minimizationGupta, Deepak et al. | 2017