Sfoglia per Autore
Problem solving in metalogic programming
1989-01-01 Costantini, Stefania; Lanzarone Gaetano, Aurelio
Contributions to the stable model semantics of logic programs with negation
1995-01-01 Costantini, Stefania
Explanation-based interpretation of open-textured concepts in logical models of legislation
1995-01-01 Costantini, Stefania; Lanzarone, G. A.
A formal definition and a sound implementation of analogical reasoning in logic programming
1995-01-01 Costantini, Stefania; Lanzarone, G. A.; Sbarbaro, L.
Reflection Principles in Computational Logic
2000-01-01 J., Barklund; Costantini, Stefania; P. DELL'ACQUA E. G. A., Lanzarone
Meta-reasoning: a survey
2002-01-01 Costantini, Stefania
A Logic Programming Language for Multi-agent Systems
2002-01-01 Costantini, Stefania; A., Tocchio
Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)
2002-01-01 Costantini, Stefania; R. P., Otero; A., Provetti; T. C., Son
On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs
2002-01-01 Costantini, Stefania; D'Antona, O. AND PROVETTI A.
A Logic-Based Infrastructure for Reconfiguring Applications
2003-01-01 M., Castaldi; Costantini, Stefania; S., Gentile; A., Tocchio
An environment for specifying properties of dyadic relations, and reasoning about them. I: Language extension mechanisms
2003-01-01 Caianiello, Pasquale; Costantini, Stefania; E. G., Omodeo
Strips-like Planning in the DALI Logic Programming Language
2003-01-01 Costantini, Stefania; Tocchio, A.
Context-based Commmonsense Reasoning in the DALI Logic Programmming Language
2003-01-01 Costantini, Stefania; Tocchio, A.
DALI: linguaggio logico per Agenti e Sistemi Multi-Agente
2004-01-01 Costantini, Stefania; Tocchio, A.
Component-Based Answer Set Programming
2004-01-01 Costantini, Stefania
A Game-theoretic operational semantics for the DALI Communication Architecture
2004-01-01 Costantini, Stefania; Tocchio, A.
Planning Experiments in the DALI Logic Programming Language
2004-01-01 Costantini, Stefania; Tocchio, A.
The DALI Logic Programming Agent-Oriented Language
2004-01-01 Costantini, Stefania; Tocchio, A.
Communication and Trust in the DALI Logic Programming Agent-Oriented Language
2005-01-01 Costantini, Stefania; Tocchio, A.; Verticchio, A.
Learning by Knowledge Exchange in Logical Agents
2005-01-01 Costantini, Stefania; Tocchio, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile