Author of the publication

Human-Computer Interfaces for Sensor/Actuator Networks.

, and . HCI (2), volume 9732 of Lecture Notes in Computer Science, page 379-387. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Semantic-Level Tags in HTML/XML Documents., and . HCI (7), volume 5616 of Lecture Notes in Computer Science, page 683-692. Springer, (2009)Multi-Dimensional Heuristic Searching., and . IJCAI, page 316-321. Morgan Kaufmann, (1989)Recursive Query Answering with Non-Horn Clauses., and . CADE, volume 310 of Lecture Notes in Computer Science, page 294-312. Springer, (1988)Substitution-based Compilation of Extended Rules in Deductive Databases., and . CADE, volume 449 of Lecture Notes in Computer Science, page 57-71. Springer, (1990)Theorem Proving by Covering Expressions.. J. ACM, 26 (3): 385-400 (1979)Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only)., and . ACM Conference on Computer Science, page 429. ACM, (1985)An efficient database transitive closure algorithm., , and . Appl. Intell., 4 (2): 205-218 (1994)On the use and internal structure of logic-based decision support systems., and . Decis. Support Syst., 1 (3): 205-219 (1985)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , and . J. Autom. Reason., 10 (3): 345-370 (1993)A Graph Proof Procedure for Real Time Logic., and . SEKE, page 300-306. IEEE Computer Society, (1992)