Communication and trust in the DALI logic programming agent-oriented language.
Stefania CostantiniArianna TocchioAlessia VerticchioPublished in: Intelligenza Artificiale (2005)
Keyphrases
- logic programming
- agent oriented
- logic programming language
- programming language
- knowledge representation language
- logic programs
- declarative semantics
- constraint logic programming
- multi agent systems
- agent technology
- answer set programming
- agent systems
- multi agent
- development process
- classical first order logic
- nonmonotonic reasoning
- deductive databases
- software development
- disjunctive logic programming
- knowledge representation
- knowledge base
- answer sets
- default logic
- virtual organization
- stable models
- software engineering
- natural language
- database
- machine learning
- reasoning about actions
- general purpose
- decision making
- case study
- object oriented
- data mining
- declarative programming
- background knowledge