Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
Manuel A. MartinsIgor SedlárPublished in: J. Log. Comput. (2023)
Keyphrases
- special issue
- international workshop
- dynamic logic
- domain driven data mining
- modal logic
- reasoning about actions
- ecml pkdd
- selected papers
- international journal
- revised selected papers
- imperative programs
- ai edam
- applied intelligence
- pacific rim
- lecture notes in artificial intelligence
- modal operators
- propositional dynamic logic
- neural network
- databases
- special section
- acm sigkdd
- book constitutes the refereed proceedings
- logic programming