AAAI Publications
Open Conference Systems
Conference Help
User
Username
Password
Remember me
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Conference Information
»
Presentations
Browse
By Conference
By Author
By Title
Font Size
Information
For Authors
Home
About
Log In
Account
Search
Current Conferences
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Booth, Richard, Mahasarakham University, Thailand
Twenty-First International Joint Conference on Artificial Intelligence
- Knowledge Representation, Reasoning, and Logic
Next Steps in Propositional Horn Contraction
Abstract
PDF