A Logic Programming Framework for Combinational Circuit Synthesis
Paul TarauBrenda LudermanPublished in: CoRR (2008)
Keyphrases
- logic programming
- logic programs
- extended logic programs
- logic programming language
- answer set programming
- answer sets
- reasoning tasks
- constraint logic programming
- cooperative multi agent
- deductive databases
- nonmonotonic reasoning
- abductive reasoning
- database
- default logic
- horn clause logic
- stable models
- fixpoint
- probabilistic reasoning
- inductive logic programming
- description logics
- programming language
- expert systems
- artificial intelligence