Specification of Dynamics for Knowledge-based Systems (extended abstract)
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-354065305-9 ISSN: 0302-9743 KITopen-ID: 1000093426 |
| Erschienen in | Transactions and Change in Logic Databases [Elektronische Ressource] : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers. Edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov |
| Verlag | Springer-Verlag |
| Seiten | 37-68 |
| Serie | Lecture Notes in Computer Science ; 1472 |
| Nachgewiesen in | Scopus |