Author of the publication

Taking stock of available technologies for compliance checking on first-order knowledge.

, , , , , , , , , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 1-16. CEUR-WS.org, (2022)

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

Sequent calculus for 3-valued paraconsistent logic QMPT0., , and . Logic Journal of the IGPL, 27 (4): 507-521 (2019)An Architecture for Autonomously Controlling Robot with Embodiment in Real World., , , , and . CoRR, (2013)On Nonintrusive Monitoring of Electrical Appliance Load Via Restricted Boltzmann Machine with Temporal Reservoir., , and . ICAART (2), page 902-909. SCITEPRESS, (2020)An Interactive Natural Language Interface for PROLEG., , , and . JURIX, volume 362 of Frontiers in Artificial Intelligence and Applications, page 294-297. IOS Press, (2022)Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location., , , , and . ICA, page 78-81. IEEE, (2016)Taking stock of available technologies for compliance checking on first-order knowledge., , , , , , , , , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 1-16. CEUR-WS.org, (2022)Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies., , , , , , , , , and 2 other author(s). Artif. Intell. Law, 32 (2): 505-555 (June 2024)Logic-based and robust desicion making for robots in real world., , , , and . AAMAS, page 1685-1686. IFAAMAS/ACM, (2014)