601 Hits in 3.8 sec


Giacomo Boracchi, Lazaros Iliadis, Aristidis Likas
2019 Neural computing & applications (Print)  
May the foundations of this publication inspire further successful research and contribute to shape the role of AI in our postindustrial societies.  ...  We hope that the readers of this Special Issue will appreciate these novel and promising approaches.  ...  Fourteen papers were submitted to this SI of the Neural Computing and Applications Springer Journal, and nine of them were finally accepted to be published after several rounds of reviewing.  ... 
doi:10.1007/s00521-019-04032-z fatcat:3jmqkkefcnd3llrrymg2yvjqoq

Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem [chapter]

Kun Wu, William S. Havens
2005 Lecture Notes in Computer Science  
The second phase involves a semisystematic local search, which supports mixed-initiative user interaction and control of the search process.  ...  Part of the challenge in curriculum scheduling is handling multiple possible schedules that are equivalent under symmetry. We show to overcome these symmetries in the search process.  ...  If no value in the live domain can pass the consistency check, which means no value in the live domain of current variable is consistent with all assigned variables, then backtrack is needed.  ... 
doi:10.1007/11424918_10 fatcat:kkegqofy7jhwnkjnafd2knuqdq

Planning in a multi-agent environment

Jürgen Dix, Héctor Muñoz-Avila, Dana Nau, Lingling Zhang
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02  
We give the theoretical foundations and empirical evaluation of a planning agent, shop, performing HTN planning in a multi-agent environment. shop is based on A-SHOP, an agentized version of the original  ...  As a result, we noticed that in such realistic settings the time spent on communication (including network time) is orders of magnitude higher than the actual inference process.  ...  The selection of the route depends on the transportation vehicle used and may lead to backtracking.  ... 
doi:10.1145/544862.544960 dblp:conf/atal/DixMNZ02 fatcat:brn5zjqmvbdalouatmycz6kdt4

The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming

Marc Eisenstadt, Mike Brayshaw
1988 The Journal of Logic Programming  
[7] ), but also from the software engineering and AI communities (e.g. [18, 24, 25] ).  ...  the existence and scope of backtracking.  ...  Figure 56 shows an LDV snapshot just after the generation of the second of an infinite number of possible sentences obtained (in live-trace mode) during backtracking using the grammar presented in Figure  ... 
doi:10.1016/0743-1066(88)90001-5 fatcat:chxkrr6iljh5na5sn7t3b33a2m

Investigating the Formation of Structural Elements in Proteins Using Local Sequence-Dependent Information and a Heuristic Search Algorithm

Alejandro Estaña, Malik Ghallab, Pau Bernadó, Juan Cortés
2019 Molecules  
The domain-dependent heuristic function aims at minimizing the length of the path in terms of angular distances, while maximizing the local density of the intermediate states, which is related to their  ...  The computation of conformational transitions leading to the formation of the structural elements is formulated as a discrete path search problem using this database.  ...  Introduction and Related Work Proteins are bio-macro-molecules that perform essential functions in living organisms.  ... 
doi:10.3390/molecules24061150 fatcat:2w5nmhzdlzalroaudcx5o6l6ym

Kusunda: An Indo-Pacific language in Nepal

P. Whitehouse, T. Usher, M. Ruhlen, W. S.-Y. Wang
2004 Proceedings of the National Academy of Sciences of the United States of America  
The Kusunda people of central Nepal have long been regarded as a relic tribe of South Asia.  ...  Our research indicates that the Kusunda language is a member of the Indo-Pacific family.  ...  Until recently they were seminomadic hunter-gatherers living in jungles and forests, and indeed their name for themselves is ''people of the forest.''  ... 
doi:10.1073/pnas.0400233101 pmid:15056764 pmcid:PMC397480 fatcat:im4mmzmovjcivjrz6q446ywzwe

The birth of Prolog

Alain Colmerauer, Philippe Roussel
1993 SIGPLAN notices  
The project gave rise to a preliminary version of Prolog at the end of 1971 and a more definitive version at the end of 1972.  ...  This article gives the history of this project and describes in detail the preliminary and then the final versions of Prolog.  ...  Acknowledgement We would like to thank all those who contributed to the English version of this paper: Andy Tom, Franz Günther, Mike Mahoney and Pamela Morton. Bibliography [Battani, 1973] Battani  ... 
doi:10.1145/155360.155362 fatcat:6zqwyve7pvd45fmdappydn7cfm

The birth of Prolog

Alain Colmerauer, Philippe Roussel
1993 The second ACM SIGPLAN conference on History of programming languages - HOPL-II  
The project gave rise to a preliminary version of Prolog at the end of 1971 and a more definitive version at the end of 1972.  ...  This article gives the history of this project and describes in detail the preliminary and then the final versions of Prolog.  ...  Acknowledgement We would like to thank all those who contributed to the English version of this paper: Andy Tom, Franz Günther, Mike Mahoney and Pamela Morton. Bibliography [Battani, 1973] Battani  ... 
doi:10.1145/154766.155362 dblp:conf/hopl/ColmerauerR93 fatcat:rd6rqqiuhfdytlnkzugv3v3ccm

Diagnosing Vision-and-Language Navigation: What Really Matters [article]

Wanrong Zhu, Yuankai Qi, Pradyumna Narayana, Kazoo Sone, Sugato Basu, Xin Eric Wang, Qi Wu, Miguel Eckstein, William Yang Wang
2022 arXiv   pre-print
We find unbalanced attention on the vision and text input and doubt the reliability of such cross-modal alignments.  ...  Moreover, the agents' inner mechanisms for navigation decisions remain unclear. To the best of our knowledge, how the agents perceive the multimodal input is under-studied and needs investigation.  ...  Noyce Trust for their generous gift to the University of California via the Noyce Initiative. The UCSB authors were also sponsored by the U.S.  ... 
arXiv:2103.16561v2 fatcat:wjsp4nefbvcxfauxvlhiggcwwa

Engineering Courses on Computational Thinking Through Solving Problems in Artificial Intelligence

Piyanuch Silapachote, Ananta Srisuphab
2017 International Journal of Engineering Pedagogy (iJEP)  
In addition to comprehension of the essence of computational thinking, practical exercises in AI enable inspirations of collaborative problem solving beyond abstraction, logical reasoning, critical and  ...  Computational thinking sits at the core of every engineering and computing related discipline. It has increasingly emerged as its own subject in all levels of education.  ...  A live-demonstration of a complete and interactive AI program after every CPS session effectively boosts the tangibility of a problem (in some occasions, a demonstration is advantageous in the beginning  ... 
doi:10.3991/ijep.v7i3.6951 fatcat:mo65uj4lcfdbrhlen5xthr2l6a

Computer Bridge - A Big Win for AI Planning

Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
1998 The AI Magazine  
This is an updated and expanded version of similar tables from Schaeffer (1993) and Korf (1994) .  ...  of p} if p is a terminal node Connect Four Solved Go-Moku Solved Qubic Solved Nine-Men's Morris Solved Othello Probably better than any human Checkers Better than any living human Backgammon Better than  ...  Other AI planning researchers have begun to develop practical applications of AI planning techniques in several other domains, such as marine oil spills  ... 
doi:10.1609/aimag.v19i2.1371 dblp:journals/aim/SmithNT98 fatcat:c3kz4wlograxxenrmlqenuvuoq

Inventory Loops (i.e. Counting Sequences) have Pre-period 2max S_1+60 [article]

Onno M. Cain, Sela T. Enin
2020 arXiv   pre-print
And oddly the period of the cycle can be determined after only O(loglog M) iterations.  ...  We answer Bronstein and Fraenkel's open question of 26 years showing the pre-period of any such starting value is no more than 2M+60 where M=max S_1.  ...  By the Corollary, any such Inventory loop must correspond to one of the nine cycles shown in Figure 5 .1.  ... 
arXiv:2004.00209v1 fatcat:ix5k455dbrggxitw6eqifbdk2u

Living Space Evolution: A New Crowd Based Computational Approach

Xiao Laisheng
2015 International Journal of Distributed Sensor Networks  
One is living space evolution: under the guidance of living space information, the offspring of life concentrate and evolve continuously towards richer living spaces.  ...  Inspired by the life cycle and survival of the fittest and combined with the consideration of living space information, a new computational intelligence approach, namely, living space evolution (LSE),  ...  Conflict of Interests The author declares that there is no conflict of interests regarding the publication of this paper.  ... 
doi:10.1155/2015/804512 fatcat:jmzxfgwv4jac5p7zigwfpfsf4e


E. S. Ali, S. M. Abd Elazim
2021 Yanbu Journal of Engineering and Science  
The parameters of PSSs are perfected by GOA to belittle the time domain objective function.  ...  In addition, the strength of the GOA in earning generous damping characteristics is belayed.  ...  Its live has two platforms, nymph and adulthood.  ... 
doi:10.53370/001c.23729 fatcat:lwquxkuhhfdgphepmmov7u3bd4

HTN planning: Overview, comparison, and beyond

Ilche Georgievski, Marco Aiello
2015 Artificial Intelligence  
We thank Eirini Kaldeli for the useful feedback on an earlier version of the paper.  ...  The work is supported by the Dutch National Research Council under the NWO Smart Energy Systems program, contract no. 647.000.004.  ...  During the search, Nonlin employs dependency-directed backtracking -it backtracks on choices of variable bindings and choices of task orderings, while SIPE-2 backtracks chronologically, and uses the heuristics  ... 
doi:10.1016/j.artint.2015.02.002 fatcat:liw5deufezetbj57i7xcbuegyy
« Previous Showing results 1 — 15 out of 601 results