3
4
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: CrossRef
5
TITLE: The INFOLOG linear tense propositional logic of events and transactions  Full Text
AUTHORS: José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1986, SOURCE: Information Systems, VOLUME: 11, ISSUE: 1
INDEXED IN: CrossRef