IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 192
Titolo Data di pubblicazione Autore(i) File
Problem solving in metalogic programming 1-gen-1989 Costantini, Stefania; Lanzarone Gaetano, Aurelio
A formal definition and a sound implementation of analogical reasoning in logic programming 1-gen-1995 Costantini, Stefania; Lanzarone, G. A.; Sbarbaro, L.
Explanation-based interpretation of open-textured concepts in logical models of legislation 1-gen-1995 Costantini, Stefania; Lanzarone, G. A.
Contributions to the stable model semantics of logic programs with negation 1-gen-1995 Costantini, Stefania
Reflection Principles in Computational Logic 1-gen-2000 J., Barklund; Costantini, Stefania; P. DELL'ACQUA E. G. A., Lanzarone
A Logic Programming Language for Multi-agent Systems 1-gen-2002 Costantini, Stefania; A., Tocchio
On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs 1-gen-2002 Costantini, Stefania; D'Antona, O. AND PROVETTI A.
Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report) 1-gen-2002 Costantini, Stefania; R. P., Otero; A., Provetti; T. C., Son
Meta-reasoning: a survey 1-gen-2002 Costantini, Stefania
Strips-like Planning in the DALI Logic Programming Language 1-gen-2003 Costantini, Stefania; Tocchio, A.
An environment for specifying properties of dyadic relations, and reasoning about them. I: Language extension mechanisms 1-gen-2003 Caianiello, Pasquale; Costantini, Stefania; E. G., Omodeo
Context-based Commmonsense Reasoning in the DALI Logic Programmming Language 1-gen-2003 Costantini, Stefania; Tocchio, A.
A Logic-Based Infrastructure for Reconfiguring Applications 1-gen-2003 M., Castaldi; Costantini, Stefania; S., Gentile; A., Tocchio
A Game-theoretic operational semantics for the DALI Communication Architecture 1-gen-2004 Costantini, Stefania; Tocchio, A.
DALI: linguaggio logico per Agenti e Sistemi Multi-Agente 1-gen-2004 Costantini, Stefania; Tocchio, A.
The DALI Logic Programming Agent-Oriented Language 1-gen-2004 Costantini, Stefania; Tocchio, A.
Planning Experiments in the DALI Logic Programming Language 1-gen-2004 Costantini, Stefania; Tocchio, A.
Component-Based Answer Set Programming 1-gen-2004 Costantini, Stefania
Towards static analysis of Answer Set Programs 1-gen-2005 Costantini, Stefania
Enhancing Computational power: DALI child agents generation 1-gen-2005 Costantini, Stefania; Tocchio, A.
Mostrati risultati da 1 a 20 di 192
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