( en | de | ru )

 

Disambiguation of "Costantini, Stefania"

Author of the publication

copydeleteadd this publication to your clipboard
Strong Equivalence of RASP Programs.

, , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 149-163. Springer, (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.

Elisa Costantini

Hervé Costantini

Stefania Peluso

Stefania Richter

Stefania Castagnetti

 

Other publications of authors with the same name

Answer Set Modules for Logical Agents.. Datalog, volume 6702 of Lecture Notes in Computer Science, page 37-58. Springer, (2010)About Declarative Semantics of Logic-Based Agent Languages., and . DALT, volume 3904 of Lecture Notes in Computer Science, page 106-123. Springer, (2005)Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents., , and . RuleML Europe, volume 6826 of Lecture Notes in Computer Science, page 250-265. Springer, (2011)Cooperating with Trusted Parties Would Make Life Easier., , , and . AI*IA, volume 9336 of Lecture Notes in Computer Science, page 128-135. Springer, (2015)The DALI Logic Programming Agent-Oriented Language., and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 685-688. Springer, (2004)Meta-reasoning: A Survey.. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 253-288. Springer, (2002)Memory Management in Resource-Bounded Agents., and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 46-58. Springer, (2019)On the existence of stable models of non-stratified logic programs.. Theory Pract. Log. Program., 6 (1-2): 169-212 (2006)DALICA: Intelligent Agents for User Profile Deduction., , , and . SEKE, page 660-. Knowledge Systems Institute Graduate School, (2007)Answer Set Programming with Resources., and . J. Log. Comput., 20 (2): 533-571 (2010)