( en | de | ru )

 

Disambiguation of "Banti, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
From Logic Programs Updates to Action Description Updates.

, , and . CLIMA, volume 3487 of Lecture Notes in Computer Science, page 52-77. Springer, (2004)

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.

Piero Banti

Christos Bantis

Frank Bantien

Michael Bantin

Frauke Bantin

 

Other publications of authors with the same name

The Well Supported Semantics for Multidimensional Dynamic Logic Programs., , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 356-368. Springer, (2005)Evolving reactive logic programs., , and . Intelligenza Artificiale, 5 (1): 77-81 (2011)From Logic Programs Updates to Action Description Updates., , and . CLIMA, volume 3487 of Lecture Notes in Computer Science, page 52-77. Springer, (2004)An accessible verification environment for UML models of services., , and . J. Symb. Comput., 46 (2): 119-149 (2011)An Event-Condition-Action Logic Programming Language., , and . JELIA, volume 4160 of Lecture Notes in Computer Science, page 29-42. Springer, (2006)The Refined Extension Principle for Semantics of Dynamic Logic Programming., , , and . Stud Logica, 79 (1): 7-32 (2005)Operational Semantics for DyLPs., , and . EPIA, volume 3808 of Lecture Notes in Computer Science, page 43-54. Springer, (2005)Semantics for Dynamic Logic Programming: A Principle-Based Approach., , , and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 8-20. Springer, (2004)Specification and Analysis of SOC Systems Using COWS: A Finance Case Study., , , and . WWV, volume 235 of Electronic Notes in Theoretical Computer Science, page 71-105. Elsevier, (2008)Evolving Reactive Logic Programs., , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)