Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080

Source URL: www.proceedings2007.imcsit.org

• Software engineering
• Automated theorem proving
• Rules of inference
• Constraint programming
• Reasoning
• Prolog
• Horn clause
• Resolution
• Reasoning system
• Logic
• Artificial intelligence
• Logic programming