The following pages link to LAILA (Q14809):
Displaying 8 items.
- Sampled-data control and stability of sets for nonlinear systems (Q606463) (← links)
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate (Q1861899) (← links)
- PPL: A whole-image processing language (Q2381982) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- An ISS small gain theorem for general networks (Q2641908) (← links)
- Distributed Abductive Reasoning with Constraints (Q2999244) (← links)
- (Q4708903) (← links)
- Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems (Q5436762) (← links)