Semiotic labelled deductive systems
Conference
·
OSTI ID:466455
- Imperial College of Science, Technology and Medicine, London (United Kingdom)
We review the class of Semiotic Models put forward by Pospelov, as well as the Labelled Deductive Systems developed by Gabbay, and construct an embedding of Semiotic Models into Labelled Deductive Systems.
- OSTI ID:
- 466455
- Report Number(s):
- CONF-9610138-; TRN: 97:001309-0035
- Resource Relation:
- Conference: International multi-disciplinary conference on intelligent systems: a semiotic perspective, Gaithersburg, MD (United States), 21-23 Oct 1996; Other Information: PBD: 1996; Related Information: Is Part Of Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics; Albus, J.; Meystel, A.; Quintero, R.; PB: 303 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Semiotic aspects of control and modeling relations in complex systems
Semiotics of constructed complex systems
Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics
Technical Report
·
Thu Aug 01 00:00:00 EDT 1996
·
OSTI ID:466455
Semiotics of constructed complex systems
Conference
·
Tue Dec 31 00:00:00 EST 1996
·
OSTI ID:466455
Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics
Conference
·
Tue Dec 31 00:00:00 EST 1996
·
OSTI ID:466455