CSR axioms CSR001+0.ax Standard discrete event calculus axioms ∀time1 , fluent, time2 : (stoppedIn(time1 , fluent, time2 ) ⇐⇒ ∃event, time: (happens(event, time) and less(time1 , time) and less( ∀time1 , time2

Source URL: math.chapman.edu

USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS ANDREW D. H. FARRELL, MAREK J. SERGOT Department of Computing, Imperial College, London. SW7 2AZ. United Kingdom. {andrew.farrell,m.sergot}@imperial.

Source URL: spiral.imperial.ac.uk

Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen Frank Tip Ondˇrej Lhot´ak

Source URL: plg.uwaterloo.ca

• Software engineering
• Software
• Computing
• Models of computation
• Cross-platform software
• Scripting languages
• Joyent
• Node.js
• Lambda calculus
• Event
• Call graph
• JavaScript

The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION?

Source URL: www.geovista.psu.edu

• Knowledge representation
• Reasoning
• Logic
• Mathematics
• Computational topology
• Constraint programming
• Region connection calculus
• Mathematical logic
• Ontology
• Topology
• Image segmentation
• Topological space

Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P

Source URL: cognitivegiscience.psu.edu

• Topology
• Knowledge representation
• Mathematics
• Cognition
• Computational topology
• Constraint programming
• Reasoning
• Region connection calculus
• Topological space
• Spatial relation
• Framing
• Topological conjugacy

Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 167–194 http://www.cssp.cnrs.fr/eiss8 Reambiguating: on the non-monotonicity

Source URL: www.cssp.cnrs.fr

• Syntax
• Logic
• Linguistics
• Semantics
• Logic in computer science
• Predicate logic
• Grammar
• Event calculus
• Logic programming
• Predicate
• Anaphora
• First-order logic

Recombinable Game Mechanics for Automated Design Support

Source URL: www.kmjn.org

• Leisure
• Game design
• Gaming
• Video game design
• Logic in computer science
• Theoretical computer science
• Video game development
• Game mechanics
• Event calculus
• Calculus
• Axiom
• Platform game

Event Calculus for Event Recognition Alexander Artikis Institute of Informatics & Telecommunications NCSR Demokritos Athens, Greece http://cer.iit.demokritos.gr

Source URL: www.vcla.at

Discrete event calculus with branching time Erik T. Mueller IBM Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NYUSA Preprint of December 21, 2006

Source URL: xenia.media.mit.edu

Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P

Source URL: www.cognitivegiscience.psu.edu

• Knowledge representation
• Computational topology
• Constraint programming
• Reasoning
• Region connection calculus
• Topology
• Topological space
• Spatial relation
• Framing
• Topological conjugacy