Logic for update products and steps into the past.
Joshua SackPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- modal logic
- logic programming
- real world
- automated reasoning
- classical logic
- asynchronous circuits
- predicate logic
- product design
- computational properties
- set theory
- nonmonotonic logics
- product recommendation
- proof theory
- partial order
- recommender systems
- multi valued
- database
- historical information
- formal theory
- deontic logic
- case study