On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis.
Amelia BadicaCostin BadicaIon BuligiuMirjana IvanovicMaria GanzhaMarcin PaprzyckiPublished in: SQAMIA (2018)
Keyphrases
- logic programs
- agent oriented
- software development
- logic programming
- development process
- answer sets
- agent oriented software engineering
- answer set programming
- stable models
- agent technology
- agent systems
- multi agent systems
- partial deduction
- fixpoint
- stable model semantics
- normal logic programs
- multi agent
- prolog programs
- inductive logic programming
- term rewriting systems
- software engineering
- user interface
- virtual organization
- object oriented
- strong equivalence
- expert systems
- software agents
- intelligent agents
- functional programs
- loop formulas
- semantics for logic programs
- case study