Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Automated Reasoning in Deontic Logic

M. Narasimha Murty; Xiangjian He; Chillarige Raghavendra Rao; Paul Weng (Hrsg). Multi-disciplinary Trends in Artificial Intelligence: 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 57 - 68

Erscheinungsjahr: 2014

ISBN/ISSN: 978-3-319-13364-5

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-319-13365-2_6

Volltext über DOI/URN

Geprüft:Bibliothek

Inhaltszusammenfassung


  • Automated Theorem Proving
  • Deontic Logic
  • Description Logics

Autoren


Furbach, Ulrich (Autor)
Stolzenburg, Frieder (Autor)

Verknüpfte Personen


Claudia Schon