Author of the publication

Well Founded Semantics for Logic Program Updates.

, , and . IBERAMIA, volume 3315 of Lecture Notes in Computer Science, page 397-407. 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.

 

Other publications of authors with the same name

Transaction Logic with External Actions., and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 272-277. Springer, (2011)The Well Supported Semantics for Multidimensional Dynamic Logic Programs., , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 356-368. Springer, (2005)Dynamic Knowledge Representation and Its Applications., , , , and . AIMSA, volume 1904 of Lecture Notes in Computer Science, page 1-10. Springer, (2000)A General Language for Evolution and Reactivity in the Semantic Web., , and . PPSWR, volume 3703 of Lecture Notes in Computer Science, page 101-115. Springer, (2005)An Embedding of Input-Output Logic in Deontic Logic Programs., and . DEON, volume 7393 of Lecture Notes in Computer Science, page 61-75. Springer, (2012)An architecture for Idea Generation in Smart Meeting Rooms., , and . AMIF, volume 5 of Ambient Intelligence and Smart Environments, page 159-166. IOS Press, (2009)Tabling Abduction., and . TAPD, page 75-82. (1998)Contradiction Removal within Well Founded Semantics., , and . LPNMR, page 105-119. The MIT Press, (1991)Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web., , , and . ISWC (Posters & Demos), volume 401 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Evolving Logic Programming Based Agents with Temporal Operators., , and . IAT, page 238-244. IEEE Computer Society, (2008)978-0-7695-3496-1.