Modeling advanced manufacturing systems using concurrent logic programming.
David Ben-AriehI. MironPublished in: Artif. Intell. Eng. (1990)
Keyphrases
- logic programming
- manufacturing systems
- logic programs
- answer set programming
- logic programming language
- knowledge base
- petri net
- nonmonotonic reasoning
- manufacturing environment
- deductive databases
- programming language
- knowledge representation
- constraint logic programming
- computational logic
- reasoning about actions
- answer sets
- manufacturing enterprises
- default logic
- complex systems
- inductive logic programming
- holonic manufacturing systems
- fixpoint
- machine learning
- declarative semantics
- general purpose
- search algorithm
- disjunctive logic programming
- propositional variables
- defeasible argumentation
- pseudo boolean constraints