Logic programming for process planning in the domain of sheet metal forming with progressive dies.
George-Christopher VosniakosIrene SegredouTitos GiannakakisPublished in: J. Intell. Manuf. (2005)
Keyphrases
- logic programming
- process planning
- logic programs
- deductive databases
- answer set programming
- knowledge representation
- nonmonotonic reasoning
- programming language
- logic programming language
- computer aided
- computer aided design
- knowledge base
- answer sets
- computational logic
- sheet metal
- constraint logic programming
- default logic
- stable models
- symbiotic evolutionary algorithm
- reasoning about actions
- background knowledge
- artificial intelligence
- modeling method
- inductive logic programming
- temporal information
- integrity constraints
- xml documents
- normal logic programs
- database systems
- disjunctive logic programming
- pseudo boolean constraints
- data mining