A Logic of Social Morms for the Semantics of Business Information.
Ronald K. StamperPublished in: DS-1 (1985)
Keyphrases
- business information
- logic programming
- proof theory
- business intelligence
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- sound and complete with respect
- nonmonotonic logics
- proof theoretic
- logical framework
- conditional logic
- autoepistemic logic
- dynamic logic
- modal logic
- social media
- derivation rules
- competitive advantage
- classical logic
- social networks
- social interaction
- active rules
- logic programs
- model theoretic
- fixed point semantics
- default reasoning
- nonmonotonic reasoning
- computational properties
- formal language
- modal operators
- rewrite systems
- formal semantics
- rule engine
- alternating time temporal logic
- highly expressive
- logical formulas
- competitive intelligence
- default logic
- belief revision
- machine learning
- data management
- knowledge base
- decision making
- real world
- data sets