LAILA

swMATH2266MaRDI QIDQ14809FDOQ14809

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Distributed Abductive Reasoning with Constraints
• Sampled-data control and stability of sets for nonlinear systems
• PPL: A whole-image processing language
• An ISS small gain theorem for general networks
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Title not available (Why is that?)

This page was built for software: LAILA