nopeSep 12, 2023
PDDL - The Planning Domain Definition Language, Version 1.2
(1998) : McDermott, Drew et al
url: http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf
#planning #PDDL #language_design #my_bibtex
nopeAug 25, 2023
Logic Programming in a Fragment of Intuitionistic Linear Logic
(1994) : Hodas, J.S. Miller, D.
DOI: https://doi.org/10.1006/inco.1994.1036
#language_design #linear_logic #logic #my_bibtex
nopeJul 26, 2023
GDL-III
(2017) : Thielscher, Michael
DOI: https://doi.org/10.24963/ijcai.2017/177
#epistemic_logic #semantics #DSL #GDL #muddy_children_domain #syntax #game_description_language #language_design #my_bibtex
GDL-III: A Description Language for Epistemic General Game Playing | IJCAI

Electronic proceedings of IJCAI 2017

nopeMay 15, 2023
Multilisp
(1985) : Halstead, Robert H.
DOI: https://doi.org/10.1145/4472.4478
#concurrency #process_scheduling #multi_lisp #garbage_collection #language_design #symbolic_computation #my_bibtex
MULTILISP: a language for concurrent symbolic computation | ACM Transactions on Programming Languages and Systems

Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing ...

ACM Transactions on Programming Languages and Systems
nopeNov 13, 2022
Modelling Mixed Discrete-Continuous Domains for Planning
(2006) : M. Fox and D. Long
DOI: https://doi.org/10.1613/jair.2044
#PDDL #hybrid_automata #language_design #planning #syntax
#my_bibtex
Modelling Mixed Discrete-Continuous Domains for Planning | Journal of Artificial Intelligence Research

nopeJul 7, 2022
A craft practice of programming language research
(2018) : Blackwell, A
url: http://www.ppig.org/sites/ppig.org/files/2018-PPIG-29th-blackwell.pdf
#craft #language_design #live_coding #programming
#my_bibtex