Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems.
Walter TerkajMarcello UrgoDaniela AndolfattoPublished in: FedCSIS (2017)
Keyphrases
- answer set programming
- transportation systems
- reasoning tasks
- logic programs
- logic programming
- answer sets
- disjunctive logic programs
- derivation rules
- constraint logic programming
- stable model semantics
- modulo theories
- causal theories
- answer set programs
- stable models
- event calculus
- orders of magnitude
- general purpose
- knowledge representation
- disjunctive logic programming
- search space
- knowledge base
- probabilistic reasoning
- knowledge representation and reasoning
- description logics
- natural language