Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictory Information

Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictory Information

Authors
  • Quirchmayr, Gerald
  • Baaz, M.
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings
Event Title
International Symposium Applied Informatics
Divisions
Multimedia Information Systems
Event Location
Anaheim, Calgary
Event Type
Conference
Event Dates
1988-01-01
Date
1988
Export
Grafik Top