Author of the publication

Strips-like Planning in the DALI Logic Programmming Language.

, and . WOA, page 115-120. Pitagora Editrice Bologna, (2003)

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

PredictMed-epilepsy: A multi-agent based system for epilepsy detection and prediction in neuropediatrics., , , , and . Comput. Methods Programs Biomed., (June 2023)Towards Ethical Machines Via Logic Programming., , and . ICLP Technical Communications, volume 306 of EPTCS, page 333-339. (2019)Towards Explainable, Compliant and Adaptive Human-Automation Interaction., , , , , , , and . XAILA@JURIX, volume 2891 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Intelligent Agents and Complex Event Processing to enhance Patient Monitoring., , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 212-218. CEUR-WS.org, (2022)Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features., and . CILC, volume 2396 of CEUR Workshop Proceedings, page 14-29. CEUR-WS.org, (2019)Reasoning about Memory Management in Resource-Bounded Agents., and . CILC, volume 2396 of CEUR Workshop Proceedings, page 217-228. CEUR-WS.org, (2019)A Smart Health Assistant via DALI Logical Agents., , , , and . CILC, volume 3002 of CEUR Workshop Proceedings, page 173-187. CEUR-WS.org, (2021)Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems., and . CILC, volume 1195 of CEUR Workshop Proceedings, page 241-255. CEUR-WS.org, (2014)DALI, RASP, Mnemosine: Computational Logic at Work., , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Asserting Lemmas in the Stable Model Semantics., , and . JICSLP, page 438-452. MIT Press, (1996)