Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on the other hand, have been developed to represent static knowledge with the help of decidable subsets of first-order logi...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
Osnabrueck‚ Germany
2007
|