Author of the publication

A Family of Dynamic Description Logics for Representing and Reasoning About Actions.

, , , and . J. Autom. Reason., 49 (1): 1-52 (2012)

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

A Base for Achieving Semantics for Prolog with Cut for Correct Observables., , , and . Software Engineering Research and Practice, page 664-670. CSREA Press, (2006)Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions., , and . Intelligent Information Processing, volume 340 of IFIP Advances in Information and Communication Technology, page 45-54. Springer, (2010)Designing Prolog Semantics for a Class of Observables., , , and . PRICAI, volume 4099 of Lecture Notes in Computer Science, page 1052-1057. Springer, (2006)A Multi-latent Semantics Representation Model for Mining Tourist Trajectory., , , , , , and . PRICAI (1), volume 11012 of Lecture Notes in Computer Science, page 463-476. Springer, (2018)Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow., , , , and . IEEE Trans. Parallel Distributed Syst., 27 (12): 3575-3587 (2016)A New Mobility Model Based on Markov Chain for MANETs., , , and . ML4CS (3), volume 12488 of Lecture Notes in Computer Science, page 203-214. Springer, (2020)The Intrusion Detection Model based on Parallel Multi - Artificial Bee Colony and Support Vector Machine., , , , and . ICACI, page 308-313. IEEE, (2019)Multiview Translation Learning for Knowledge Graph Embedding., , , , and . Sci. Program., (2020)Goal-independent Semantics for Path Dependent Analysis of Prolog Programs., , and . TASE, page 261-272. IEEE Computer Society, (2007)An ASP Based Solution to Mechanical Assembly Sequence Planning., , , , and . WGEC, page 205-208. IEEE Computer Society, (2009)