A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.
Joshua S. HodasPablo LópezJeffrey PolakowLubomira StoilovaErnesto PimentelPublished in: CSL (2002)
Keyphrases
- resource management
- logic programming
- linear logic
- proof search
- logic programs
- management system
- resource allocation
- programming language
- deductive databases
- quality of service
- answer set programming
- knowledge representation
- knowledge base
- nonmonotonic reasoning
- classical logic
- inference rules
- theorem prover
- knowledge representation and reasoning
- answer sets
- reasoning tasks
- intelligent agents
- probabilistic reasoning
- modal logic
- theorem proving
- default logic
- fixpoint
- constraint satisfaction
- sequent calculus
- database