LAILA: a language for coordinating abductive reasoning among logic agents.
Anna CiampoliniEvelina LammaPaola MelloPaolo TorroniPublished in: Comput. Lang. (2001)
Keyphrases
- abductive reasoning
- dynamic logic
- autonomous agents
- multi agent
- multi agent systems
- agent programming
- probabilistic logic
- nonmonotonic reasoning
- inference rules
- logical representation
- logic programs
- causal inference
- plan recognition
- reasoning tasks
- intelligent agents
- natural language understanding
- software agents
- programming language
- natural language
- logic programming
- decision theoretic
- modal logic
- machine learning
- prime implicates
- natural language processing
- probabilistic model
- decision making