Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning +,
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains +,
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas +,
…
Has author
Thomas Eiter + Has identifier
| Thomas Eiter |
Foaf:firstName
Thomas
Foaf:name
Thomas Eiter
Foaf:surname
Eiter
Foaf:depiction
Anonymous.png +
Has identifier
Thomas Eiter +
Categories Person +
|
