A predicate transformer approach to knowledge and knowledge-based protocols
Persistenter Link
https://doi.org/10.3929/ethz-a-000659332Publikationsstatus
publishedZeitschrift / Serie
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für ComputersystemeBand
Verlag
Departement Informatik, ETHThema
NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK); EXPERTENSYSTEME + WISSENSBASIERTE SYSTEME (KÜNSTLICHE INTELLIGENZ); NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); PREDICATE LOGIC (MATHEMATICAL LOGIC); EXPERT SYSTEMS + KNOWLEDGE-BASED SYSTEMS (ARTIFICIAL INTELLIGENCE)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics