Author of the publication

DALI, RASP, Mnemosine: Computational Logic at Work.

, , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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

Cooperating with Trusted Parties Would Make Life Easier., , , and . AI*IA, volume 9336 of Lecture Notes in Computer Science, page 128-135. Springer, (2015)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)Memory Management in Resource-Bounded Agents., and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 46-58. Springer, (2019)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)Expressing Preferences Declaratively in Logic-based Agent Languages., , and . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 41-46. AAAI, (2007)Answer Set Modules for Logical Agents.. Datalog, volume 6702 of Lecture Notes in Computer Science, page 37-58. Springer, (2010)Meta-reasoning: A Survey.. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 253-288. Springer, (2002)