Publication:4012173
From MaRDI portal
zbMath0745.68092MaRDI QIDQ4012173
Fausto Giunchiglia, Paolo Traverso
Publication date: 27 September 1992
68T27: Logic in artificial intelligence
03B35: Mechanization of proofs and logical operations
03C85: Second- and higher-order model theory
Related Items
A multicontext architecture for formalizing complex reasoning, GETFOL, Multilanguage hierarchical logics, or: How we can do without modal logics, Program tactics and logic tactics
Uses Software