Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).
David HarelEli SingermanPublished in: ICALP (1997)
Keyphrases
- logic programming
- classical logic
- genetic algorithm
- digital circuits
- modal logic
- asynchronous circuits
- computational properties
- automated reasoning
- machine learning
- case study
- decision trees
- real time
- matching process
- web services
- logical framework
- knowledge base
- information systems
- artificial intelligence
- predicate logic
- abductive reasoning
- deontic logic