Skip to main navigation Skip to search Skip to main content

Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems

  • Stefan Mitsch
  • , André Platzer
  • , Werner Retschitzegger
  • , Wieland Schwinger
  • Carnegie Mellon University
  • Johannes Kepler University Linz

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number3
JournalACM Computing Surveys
Volume48
Issue number1
DOIs
StatePublished - Sep 29 2015
Externally publishedYes

ASJC Scopus Subject Areas

  • Theoretical Computer Science
  • General Computer Science

Keywords

  • Autonomous agents
  • Commonsense reasoning
  • Dynamic reasoning
  • Dynamic spatial systems
  • Hybrid systems
  • Knowledge representation
  • Logic-based reasoning

Cite this