LAILA
From MaRDI portal
Software:14809
No author found.
Related Items (8)
PPL: A whole-image processing language ⋮ Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ An ISS small gain theorem for general networks ⋮ Unnamed Item ⋮ Sampled-data control and stability of sets for nonlinear systems ⋮ Distributed Abductive Reasoning with Constraints ⋮ Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems ⋮ Cooperation and competition in ALIAS: A logic framework for agents that negotiate
This page was built for software: LAILA
