1.1k citations
- Data61AU39 papers
- Commonwealth Scientific and Industrial Research OrganisationAU33 papers
- Australia Telescope National FacilityAU29 papers
- Swinburne University of TechnologyAU22 papers
- Australian National UniversityAU21 papers
- The University of SydneyAU21 papers
- Centre for Quantum Computation and Communication TechnologyAU19 papers
- Australian Defence Force AcademyAU17 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- The University of QueenslandAU14 papers
- Australian Research CouncilAU13 papers
- The University of MelbourneAU13 papers
4 papers · 2 filters
ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog,…
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy +1
We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testin…
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry…
Abstract Processes of Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token inter…