Costantini, Stefania - Dipartimento di Informatica, Università dell'Aquila

• Meta-reasoning: a Survey Stefania Costantini
• Coherence of Updates in Answer Set Programming Stefania Costantini, Benedetto Intrigila
• 1 METAREASONING AGENTS FOR QUERYANSWERING SYSTEMS
• Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)
• Computational Complexity of a Knowledge Compilation Approach to the Static Semantics
• Expressing preferences declaratively in logic-based agent languages
• J. Exrr. Tnron. Annp. INrBrL. 6(1994'1239-287. A metalogic programming approach: language, semantics
• On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs
• Planning Experiments in the DALI Logic Programming Language
• Static Semantics as Program Transformation
• Asserting Lemmas in the Stable Model Semantics
• A Logic Programming Language for Multi-Agent Systems
• Context-based Commmonsense Reasoning in the DALI Logic Programmming Language
• Mappings Between Domain Models in Answer Set Programming
• Memory-driven dynamic behavior checking in Logical Agents
• Baltzer Journals A Formal De nition and a Sound Implementation
• Learning and Evolving Agents in User Monitoring and Stefania Costantini1
• Characterizing and computing stable models of logic programs: the non--stratified case
• Under consideration for publication in Theory and Practice of Logic Programming 1 On the Existence of Stable Models of Non-stratified
• A Logic-Based Infrastructure for Reconfiguring Applications
• Static Semantics as Program Transformation
• Component-based Answer Set Programming Stefania Costantini
• VERSO L'ANALISI STATICA DEGLI ANSWER SET TOWARDS STATIC ANALYSIS OF ANSWER SET
• Enhancing computational power: DALI child agents generation
• Explanation-Based Interpretation of Open-Textured Concepts
• Towards Active Logic Programming
• Learning by Knowledge Exchange in Logical Agents
• Checking Strong Equivalence with Duplication-Free Tableaux
• Communication and Trust in the DALI Logic Programming Agent-Oriented Language
• Strips-like Planning in the DALI Logic Programmming Language
• An environment for stepwise map specification and reasoning in Prolog. I: Three language
• Comparing different graph representations of logic programs under the Answer Set semantics
• Contributions to the Stable Model Semantics
• A Multi-layer Framework for Evolving and Learning Agents Stefania Costantini
• A Game-Theoretic Operational Semantics for the DALI Communication Architecture
• COMUNICAZIONE E LIVELLO DI FIDUCIA IN DALI, UN LINGUAGGIO LOGICO ORIENTATO AGLI AGENTI
• Reflection Principles in Computational JONAS BARKLUND, PIERANGELO DELL'ACQUA, Uppsala University,
• Answer Set Programming with Resources Stefania Costantini