Iptables_Semantics.

Cornelius Diekmann Lars Hupel

Published in: Arch. Formal Proofs (2016)

Keyphrases

logic programming
formal semantics
semantic information
database
information systems
real time
artificial neural networks
conceptual graphs
owl ontologies
model theoretic
argumentation semantics