Cited in
(9)- PPL: A whole-image processing language
- Sampled-data control and stability of sets for nonlinear systems
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate
- Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems
- Qu-Prolog
- An ISS small gain theorem for general networks
- Distributed Abductive Reasoning with Constraints
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
This page was built for software: LAILA
