Back to Results
First PageMeta Content
Model theory / Philosophical logic / Automated theorem proving / Method of analytic tableaux / Abox / Structure / Boolean satisfiability problem / PSPACE-complete / Modal logic / Theoretical computer science / Mathematical logic / Mathematics


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar
Add to Reading List

Document Date: 2011-06-14 00:05:06

Open Document

File Size: 527,76 KB

Share Result on Facebook

Company

ALCS4m / ALCKm / /

/

IndustryTerm

sound and complete algorithm / tableau decision algorithm / autoepistemic operator / constraint systems / tableau algorithm / /

Organization

Iowa State University / /

Person

Giora Slutzki / Jia Tao / /

/

Position

editor / Advisor / Professor / definition Advisor / definition Lecturer / Lecturer / assertion Advisor / /

Product

MG T / /

ProvinceOrState

Nebraska / North Carolina / /

Technology

3 Tableau Algorithm / resulting algorithm / a sound and complete algorithm / tableau decision algorithm / Tableau algorithms / tableau algorithm / K-tableau algorithm / resulting tableau algorithm / /

SocialTag