Temporal relevant logic as the logical basis of autonomous evolutionary information systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jingde Cheng. Temporal relevant logic as the logical basis of autonomous evolutionary information systems. In Mehdi Khosrowpour, editor, Challenges of Information Technology Management in the 21st Century, 2000 Information Resources Management Association International Conference, Anchorage, Alaska, USA, May 21-24, 2000. pages 950-951, IDEA Group Publishing, 2000.

The following publications are possibly variants of this publication:

Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information SystemsJingde Cheng. ictai 2005: 270-274 [doi]

Deontic relevant logic as the logical basis for legal information systemsJingde Cheng. SAC 2006: 319-320 [doi]

Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information SystemsJingde Cheng. kes 2008: 517-525 [doi]

Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent SystemsJingde Cheng. er 2004: 470 [doi]

Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information AssuranceJingde Cheng, Junichi Miura. IEEEares 2006: 601-608 [doi]

Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systemsJingde Cheng. SMC 1998: 794-799 [doi]

runs on WebDSL