( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strong Equivalence of RASP Programs.

, , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 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.

Elisa Costantini

Hervé Costantini

Stefania Peluso

Stefania Richter

Stefania Castagnetti

 

Другие публикации лиц с тем же именем

Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs., и . APPIA-GULP-PRODE, стр. 575-588. (1999)Strips-like Planning in the DALI Logic Programmming Language., и . WOA, стр. 115-120. Pitagora Editrice Bologna, (2003)Expressing Preferences Declaratively in Logic-based Agent Languages., , и . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, стр. 41-46. AAAI, (2007)About Declarative Semantics of Logic-Based Agent Languages., и . DALT, том 3904 из Lecture Notes in Computer Science, стр. 106-123. Springer, (2005)Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents., , и . RuleML Europe, том 6826 из Lecture Notes in Computer Science, стр. 250-265. Springer, (2011)Cooperating with Trusted Parties Would Make Life Easier., , , и . AI*IA, том 9336 из Lecture Notes in Computer Science, стр. 128-135. Springer, (2015)Memory Management in Resource-Bounded Agents., и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 46-58. Springer, (2019)DALICA: Intelligent Agents for User Profile Deduction., , , и . SEKE, стр. 660-. Knowledge Systems Institute Graduate School, (2007)SLD - Resolution with Reflection., , , и . ILPS, стр. 554-568. MIT Press, (1994)Meta-reasoning: A Survey.. Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 253-288. Springer, (2002)