1,698 Hits in 8.6 sec

Procedural Puzzle Generation: A Survey

Barbara De Kegel, Mads Haahr
2019 IEEE Transactions on Games  
Nevertheless, a significant body of work exists, which allows puzzles of different types to be generated algorithmically, and there is scope for much more research into this area.  ...  This paper presents a detailed survey of existing work in PCG for puzzles, reviewing 32 methods within 11 categories of puzzles.  ...  [62] created a constructive generator for parallel programming puzzles based on graph grammars.  ... 
doi:10.1109/tg.2019.2917792 fatcat:o3rmo5olhzc7bgmtz2lant6v6i

Index—Volumes 1–89

1997 Artificial Intelligence  
a -1259 failures, learning from -1380 for a proof of a clause 18 1 for attractors in phase space 551 for best solutions 72 for patterns, parallel -337 forward -563 generalization as -212 genetic  ...  9 computer -56 programs 240,243,261, 1374 techniques, AI -230 game position conflicting criteria for a -1238 multiple criteria for a -1238 game positions, estimates attached to -243 previously  ...  mathematics of non-monotonic-150 mechanism 381 mechanized formal -152 meta-level -185 method geometric -12 17 methods choices of -1157 models inexact -906 multiple inheritance -966 multiple lines of -  ... 
doi:10.1016/s0004-3702(97)80122-1 fatcat:6az7xycuifaerl7kmv7l3x6rpm

Programming Puzzles [article]

Tal Schuster, Ashwin Kalyan, Oleksandr Polozov, Adam Tauman Kalai
2021 arXiv   pre-print
We introduce a new type of programming challenge called programming puzzles, as an objective and comprehensive evaluation of program synthesis, and release an open-source dataset of Python Programming  ...  In a small user study, we find a positive correlation between puzzle-solving performance and coding experience, and between the puzzle difficulty for humans and AI solvers.  ...  We would like to thank Mariia Mykhailova for suggesting doing a Python Programming Puzzles Hackathon. We are especially grateful to the participants in our user study and hackathon.  ... 
arXiv:2106.05784v3 fatcat:pbpukqbjijf4pd5a7eo4zircfu

Languages of Games and Play

Riemer Van Rozen
2020 ACM Computing Surveys  
Digital games are a powerful means for creating enticing, beautiful, educational, and often highly addictive interactive experiences that impact the lives of billions of players worldwide.  ...  We explore what informs the design and construction of good games in order to learn how to speed-up game development.  ...  ) and address quality issues of grammar- based level generation.  ... 
doi:10.1145/3412843 fatcat:k25yj7aylbcg5k3ks4v5d5dueu

The structure of games

David M. Kaiser
2005 Proceedings of the 43rd annual southeast regional conference on - ACM-SE 43  
Get yours done early rather than later. vi ABSTRACT OF THE DISSERTATION  ...  Her steadfast love, endless support and unwavering encouragement made the completion of this work possible. This dissertation is also dedicated to my children Alexander and Katherine.  ...  HOYLE begins with precise but general prior knowledge about the domain of two-person, perfect information, deterministic games. The program learns how to play a specific game gradually.  ... 
doi:10.1145/1167350.1167378 dblp:conf/ACMse/Kaiser05 fatcat:oympuuxgeneypkgzb2ipobsw2i

Graph Grammar Induction via Evolutionary Computation

Linting Xue, Collin F. Lynch, Min Chi
2015 Educational Data Mining  
In their ongoing work they are applying evolutionary computation to the induction of Augmented Graph Grammars, a graph-based formalism for rules about graphs.  ...  Guerra takes a similar approach to the assessment of users' conceptual changes when learning programming.  ...  We thank all the members of these projects for their help and insights.  ... 
dblp:conf/edm/XueLC15 fatcat:nbsz5igo5jhrlbmuwvbhm5k5qe

Using Audio-Visual Aids and Computer-Assisted Language Instruction (CALI) to Overcome Learning Difficulties of Grammatical Structure in Students of Special Needs

Sadeq Ali Saad Al- Yaari
2013 Journal for the Study of English Linguistics  
Both groups studied a course of grammar by the same SLT under similar circumstances.  ...  number of normal students with similar ages was assigned as a control group (n = 40).  ...  Kebbe for the moral support despite his just being newly appointed as professor for PhD students at Imam University.  ... 
doi:10.5296/jsel.v1i2.4737 fatcat:bmfougthxzhilimkezucvewdni

On Look-Ahead in Language: Navigating a Multitude of Familiar Paths [chapter]

Shimon Edelman
2011 Predictions in the Brain  
Acknowledgments The idea of representing a corpus of language in the form of a graph arose in a series of conversations that I  ...  A programming formalism for reactive systems based on higraphs, called statecharts, has proved to be widely applicable in computer science (Harel, 2007) .  ...  In the ADIOS algorithm for distilling a grammar from a graph representing a corpus of language (Solan et al., 2005) , the criterion for rewiring the graph relied on a simple binomial significance test  ... 
doi:10.1093/acprof:oso/9780195395518.003.0060 fatcat:qy76jazt25d3pbpaysyexhhk6y

Player-Centered AI for Automatic Game Personalization: Open Problems [article]

Jichen Zhu, Santiago Ontañón
2021 arXiv   pre-print
Computer games represent an ideal research domain for the next generation of personalized digital applications.  ...  This paper presents a player-centered framework of AI for game personalization, complementary to the commonly used system-centered approaches.  ...  ACKNOWLEDGMENTS This paper is partially based on Jichen Zhu's invited talk at the 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17).  ... 
arXiv:2102.07548v1 fatcat:nh4xa72urfa5pcz3huyqy6j2mq

Learning and Inductive Inference [chapter]

1982 The Handbook of Artificial Intelligence  
In such cases, a program can reason about a puzzling instance by trying to infer "'what the teacher was getting at" in presenting the example.  ...  In general, the more constraints a program can assume about the data, the more easily it can learn from them.  ...  496 Learning and Inductive Inference XIV 3. A set of prduettion--the phrase-structure rules of the language; and 4.  ... 
doi:10.1016/b978-0-86576-091-2.50009-5 fatcat:whndkx7nhrdrrn3k7y2f7b3vti

Moving Beyond Syntax: Lessons from 20 Years of Blocks Programing in AgentSheets

Alexander Repenning
2017 Journal of Visual Languages and Sentient Systems  
Over the last 25 years, I have worked to empower students to create their own games, simulations, and robots. In this time I have explored, combined, and evaluated a number of programming paradigms.  ...  The blocks programming community has been preoccupied with identifying syntactic obstacles that keep novices from learning to program.  ...  ChipWits [64] was a robot control game providing powerful control flow based on graphical instruction tiles to program robots.  ... 
doi:10.18293/vlss2017-010 fatcat:37wlentoune7lncv3pmo5w5lea

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper [article]

Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Olveczky, Bernd-Holger Schlingloff, Nikolay Shilov (+1 others)
2020 arXiv   pre-print
This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on "Formal Methods, Fun for Everybody" which was held in Bergen, Norway, 2-3 December  ...  As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.  ...  Grammars for formal methods are usually smaller than those for programming languages.  ... 
arXiv:2010.05708v1 fatcat:qgnfjxwak5bpta2gkrrg52wg4u

Game AI Competitions: Motivation for the Imitation Game-Playing Competition

Maciej Świechowski
2020 Proceedings of the 2020 Federated Conference on Computer Science and Information Systems  
Games have played crucial role in advancing research in Artificial Intelligence and tracking its progress. In this article, a new proposal for game AI competition is presented.  ...  In addition to the proposal, we include a short survey of the available game AI competitions.  ...  This competition is based around a game called Legends of Code and Magic (LOCM). It is a small and relatively generic framework for research in the area of collectible card-games.  ... 
doi:10.15439/2020f126 dblp:conf/fedcsis/Swiechowski20 fatcat:abhgqzwgrfaofd5sttasw3baae

The Synthetic Modeling of Language Origins

Luc Steels
1997 Evolution of Communication  
This paper surveys work on the computational modeling of the origins and evolution of language.  ...  The main approaches are described and some example experiments from the domains of the evolution of communication, phonetics, lexicon formation, and syntax are discussed.  ...  The experiments are also based on games in which one agent generates a sentence and another one attempt to parse it. Agents adjust their grammar by mutations or recombinations of grammar rules.  ... 
doi:10.1075/eoc.1.1.02ste fatcat:hxw77ureujbrxlypavj3soejlu

Authoring of Adaptive Single-Player Educational Games

Florian Mehm
2014 PIK - Praxis der Informationsverarbeitung und Kommunikation  
This extension is based on the novel concept of Narrative Game-Based Learning Objects (NGLOBs) for the annotation and control of a game based on the dimensions storytelling, gaming and learning.  ...  A major decision in the matter of graph structure was the choice between a tree structure featuring only branches or a series-parallel digraph, in which each branch of a tree will join the parallel branches  ... 
doi:10.1515/pik-2013-0044 fatcat:tnyby7lufrenxi6w3qqvu5f7za
« Previous Showing results 1 — 15 out of 1,698 results