A Petri Net Model for Temporal Knowledge Representation and Reasoning.
Yulin YaoPublished in: IEEE Trans. Syst. Man Cybern. Syst. (1994)
Keyphrases
- knowledge representation and reasoning
- petri net model
- petri net
- knowledge representation
- artificial intelligence
- reasoning systems
- description logics
- logic programming
- incomplete information
- automated reasoning
- service composition
- structured knowledge
- production process
- web services
- semantic modeling
- update semantics
- disjunctive logic programming
- ai planning
- manufacturing systems
- high level
- web service composition
- domain specific
- information extraction
- relational databases
- multi agent systems