Reasoning on Incomplete Execution Traces Using Action Languages - A First Report.
Chiara Di FrancescomarinoChiara GhidiniSergio TessarisItzel Vázquez SandovalPublished in: ICSOC Workshops (2014)
Keyphrases
- execution traces
- reasoning about actions
- source code
- uncertain information
- program comprehension
- inconsistent information
- incomplete knowledge
- expressive power
- causal knowledge
- knowledge representation languages
- knowledge base
- missing values
- plan execution
- knowledge representation
- case study
- software maintenance
- inconsistent knowledge
- databases
- practical reasoning
- eye tracking
- data management
- open source
- artificial intelligence