MANCARELLA, PAOLO MARIA Statistiche
MANCARELLA, PAOLO MARIA
DIPARTIMENTO DI INFORMATICA
: Web Sites Verification: An Abductive Logic Programming Tool
2007-01-01 Mancarella, PAOLO MARIA; G., Terreni; F., Toni
A dialectic procedure for sceptical, assumption-based argumentation
2006-01-01 P. M., Dung; Mancarella, PAOLO MARIA; F., Toni
A High Level Analysis Tool for Concurrent Programs
1983-01-01 Mancarella, PAOLO MARIA; Turini, Franco
A Multiple-Valued Logical Semantics for Prolog
1996-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA
A Progress Report on the LML Project
1988-01-01 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
A semantics for positive abductive logic programs with implicative integrity constraints
2010-01-01 Mancarella, PAOLO MARIA; Toni, F.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING
1990-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
A unifying view for logic programming with non-monotonic reasoning
1997-01-01 Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA
Abduction in Classification Tasks
2003-01-01 Atzori, M; Mancarella, PAOLO MARIA; Turini, Franco
Abductive Logic Programming
1990-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
Abductive logic programming with CIFF: System description
2004-01-01 Endriss, U; Mancarella, PAOLO MARIA; Sadri, F; Terreni, G; Toni, F.
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK
1991-01-01 Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P.
Accoglienza e pianificazione del percorso universitario per studenti disabili
2013-01-01 Fanucci, Luca; Mancarella, PAOLO MARIA; Gorrasi, Federica; Giannelli, Nicola; Turturici, Mauro
Algebraic Properties of a Class of Logic Programs
1990-01-01 Mancarella, PAOLO MARIA; Pedreschi, D; Rondinelli, M.; Tagliatti, M.
An abductive framework for extended logic programming
1995-01-01 Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P.
An abductive proof procedure handling active rules
2003-01-01 Mancarella, PAOLO MARIA; Terreni, G.
An Algebra of Logic Programs
1988-01-01 Mancarella, PAOLO MARIA; Pedreschi, D.
An Argumentative Model for Service-Oriented Agents
2008-01-01 Morge, M; Mancarella, PAOLO MARIA; Mcginnis, J; Bromuri, S; Stathis, K.
Arguing over Goals for Negotiation: Adopting an Assumption-Based Argumentation Decision Support System
2014-01-01 Morge, Maxime; Mancarella, PAOLO MARIA
Argument Graphs for Defeasible Logic Programming
2018-01-01 Mancarella, PAOLO MARIA; Toni, Francesca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
: Web Sites Verification: An Abductive Logic Programming Tool | 1-gen-2007 | Mancarella, PAOLO MARIA; G., Terreni; F., Toni | |
A dialectic procedure for sceptical, assumption-based argumentation | 1-gen-2006 | P. M., Dung; Mancarella, PAOLO MARIA; F., Toni | |
A High Level Analysis Tool for Concurrent Programs | 1-gen-1983 | Mancarella, PAOLO MARIA; Turini, Franco | |
A Multiple-Valued Logical Semantics for Prolog | 1-gen-1996 | Barbuti, Roberto; Mancarella, PAOLO MARIA | |
A Progress Report on the LML Project | 1-gen-1988 | Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F. | |
A semantics for positive abductive logic programs with implicative integrity constraints | 1-gen-2010 | Mancarella, PAOLO MARIA; Toni, F. | |
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING | 1-gen-1990 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
A unifying view for logic programming with non-monotonic reasoning | 1-gen-1997 | Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA | |
Abduction in Classification Tasks | 1-gen-2003 | Atzori, M; Mancarella, PAOLO MARIA; Turini, Franco | |
Abductive Logic Programming | 1-gen-1990 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
Abductive logic programming with CIFF: System description | 1-gen-2004 | Endriss, U; Mancarella, PAOLO MARIA; Sadri, F; Terreni, G; Toni, F. | |
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK | 1-gen-1991 | Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P. | |
Accoglienza e pianificazione del percorso universitario per studenti disabili | 1-gen-2013 | Fanucci, Luca; Mancarella, PAOLO MARIA; Gorrasi, Federica; Giannelli, Nicola; Turturici, Mauro | |
Algebraic Properties of a Class of Logic Programs | 1-gen-1990 | Mancarella, PAOLO MARIA; Pedreschi, D; Rondinelli, M.; Tagliatti, M. | |
An abductive framework for extended logic programming | 1-gen-1995 | Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P. | |
An abductive proof procedure handling active rules | 1-gen-2003 | Mancarella, PAOLO MARIA; Terreni, G. | |
An Algebra of Logic Programs | 1-gen-1988 | Mancarella, PAOLO MARIA; Pedreschi, D. | |
An Argumentative Model for Service-Oriented Agents | 1-gen-2008 | Morge, M; Mancarella, PAOLO MARIA; Mcginnis, J; Bromuri, S; Stathis, K. | |
Arguing over Goals for Negotiation: Adopting an Assumption-Based Argumentation Decision Support System | 1-gen-2014 | Morge, Maxime; Mancarella, PAOLO MARIA | |
Argument Graphs for Defeasible Logic Programming | 1-gen-2018 | Mancarella, PAOLO MARIA; Toni, Francesca |