LAILA

MaRDI QIDQ14809swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0096055101000200

Described by source

• LAILA: a language for coordinating abductive reasoning among logic agents

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