Norman Y. Foo profile picture

Norman Y. Foo

Is this your author profile? Create an account to customize it!

Stand Alone

Fixpoint Semantics for Negation as Inconsistency
Possible Worlds Semantics for Events
Dewey Indexing of Prolog Traces
Observations on AGM Entrenchment
Logical Foundations of Correctness
Implementations are Definitions
Undecidability of TW
Advanced Topics in Artificial Intelligence 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings
Systems Dynamics as Theory Change
Conditional Algebraic Specifications
Modality and Truth Maintenance in a Conceptual Processor
A Note on the Feedback System Operator
Homomorphisms in the Theory of Modelling
Generalized Implication Equation Languages
Algebraic Specifications from Programs

See All