Modeling Game Mechanics With Ceptre

Reference. Modeling Game Mechanics With Ceptre

Cite

Cite as @martens-2024-modeling (helia, typst) · \cite{martens-2024-modeling} (LaTeX)

BibTeX

bibtex · 1 line

@article{martens-2024-modeling, title={Modeling Game Mechanics With Ceptre}, volume={16}, ISSN={2475-1510}, url={http://dx.doi.org/10.1109/tg.2023.3292982}, DOI={10.1109/tg.2023.3292982}, number={2}, journal={IEEE Transactions on Games}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Martens, Chris and Card, Alexander and Crain, Henry and Khatri, Asha}, year={2024}, month=June, pages={431–444} }

hayagriva YAML (typst)

yaml · 18 lines

martens-2024-modeling:
  type: article
  title: Modeling Game Mechanics With Ceptre
  author:
  - Martens, Chris
  - Card, Alexander
  - Crain, Henry
  - Khatri, Asha
  date: 2024-06
  page-range: 431-444
  serial-number:
    doi: 10.1109/tg.2023.3292982
  parent:
    type: periodical
    title: IEEE Transactions on Games
    publisher: Institute of Electrical, Electronics Engineers (IEEE)
    issue: 2
    volume: 16

Download: martens-2024-modeling.bib · martens-2024-modeling.yml

Cites 67 works (1 here)

With notes (1)

QED at Large: A Survey of Engineering of Formally Verified Software ringer-2019-qedFoundations and Trends® in Programming Languages · 2019

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years, but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues. This survey of the literature presents a holistic understanding of proof engineering for program correctness, covering impact in practice, foundations, proof automation, proof organization, and practical proof development.

DOI

External (66)

Ludi language reference (2023)
Generalized mapping for multiset rewriting systems (2021)
Learning compositional rules via neural program synthesis (2020)
An Introduction to the Planning Domain Definition Language (2019)
From Mechanics to Meaning (2019)
The Ceptre Editor: A Structure Editor for Rule-Based System Simulation (2019)
Gemini: Bidirectional Generation and Analysis of Games via ASP (2018)
Textworld: A learning environment for text-based games (2018)
AtDELFI: automatically designing legible, full instructions for games (2018)
The Kappa platform for rule-based modeling (2018)
Generating puzzle progressions to study mental model matching (2018)
Artificial Intelligence for Games (2018)
Deriving quests from open world mechanics (2017)
GDL-III: A Description Language for Epistemic General Game Playing (2017)
Comparing Block-Based and Text-Based Programming in High School Computer Science Classrooms (2017)
A generative model of group conversation (2017)
General Video Game Level Generation (2016)
The 2014 General Video Game Playing Competition (2016)
Compositional compiler verification for a multi-language world (2016)
Ceptre: A Language for Modeling Generative Interactive Systems (2015)
Programming interactive worlds with linear logic (2015)
Playspecs: Regular Expressions for Game Play Traces (2015)
Generative story worlds as linear logic programs (2014)
An approach to general videogame evaluation and automatic generation using a description language (2014)
Towards a video game description language (2013)
A video game description language for model-based or interactive learning (2013)
General video game playing (2013)
Modular Computational Critics for Games (2013)
Micro-Machinations (2013)
A hybrid linear logic for constrained transition systems with applications to molecular biology (2013)
Linear Logical Voting Protocols (2012)
Simulating Mechanics to Study Emergence in Games (2011)
Evolutionary Game Design (2010)
LUDOCORE: A logical game engine for modeling videogames (2010)
The Scratch Programming Language and Environment (2010)
The Greenfoot Programming Environment (2010)
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic (2010)
Defining operational logics (2009)
Computational Support for Play Testing Game Sketches (2009)
Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) (2008)
Mechanizing metatheory in a logical framework (2007)
K: A rewrite-based framework for modular language design, semantics, analysis and implementation-version 2 (2006)
General game playing: Overview of the AAAI competition (2005)
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (2004)
Netlogo: A simple environment for modeling complexity (2004)
A Concurrent Logical Framework I: Judgments and Properties (2003)
A Concurrent Logical Framework II: Examples and Applications (2003)
Artificial Intelligence: A Modern Approach (2003)
On Representing Biological Systems through Multiset Rewriting (2003)
Maude: specification and programming in rewriting logic (2002)
A Linear Logical Framework (2002)
Alice2: Programming without syntax errors (2002)
A behavior language for story-based believable agents (2002)
EGGG: The extensible graphical game generator (2000)
Agentsheets: End-user programmable simulations (2000)
PDDL: The planning domain definition language (1998)
Compositionality (1997)
Compositional parallel programming languages (1996)
Implementing the Linear Logic Programming Language Lygon (1995)
A multiple-conclusion meta-logic (1994)
Evolution of Novice Programming Environments: The Structure Editors of Carnegie Mellon University (1994)
Decidability Issues for Petri Nets (1994)
The think aloud method: A practical approach to modelling cognitive (1994)
A short survey on the state of the art in matching and unification problems (1979)
Decidability questions for petri nets (1976)
Talking to Ceptre: A Natural Language Interface