( 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

PredictMed-epilepsy: A multi-agent based system for epilepsy detection and prediction in neuropediatrics., , , , and . Comput. Methods Programs Biomed., (June 2023)Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules., and . Int. J. Agent Oriented Softw. Eng., 6 (3/4): 245-274 (2018)Timed Memory in Resource-Bounded Agents., , and . AI*IA, volume 11298 of Lecture Notes in Computer Science, page 15-29. Springer, (2018)Answer Set Programming with Resources., and . J. Log. Comput., 20 (2): 533-571 (2010)Nested Weight Constraints in ASP., and . Fundam. Informaticae, 124 (4): 449-464 (2013)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)Strips-like Planning in the DALI Logic Programmming Language., and . WOA, page 115-120. Pitagora Editrice Bologna, (2003)Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs., and . APPIA-GULP-PRODE, page 575-588. (1999)SLD - Resolution with Reflection., , , and . ILPS, page 554-568. MIT Press, (1994)