A predicate transformer approach to knowledge and knowledge-based protocols
Permanent link
https://doi.org/10.3929/ethz-a-000659332Publication status
publishedJournal / series
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für ComputersystemeVolume
Publisher
Departement Informatik, ETHSubject
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)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics