Concepedia

Paolo Mancarella

PM

24

Publications

1.5K

Citations

17

H-Index

1988

Active since

Affiliations

University of Pisa(Current)

Imperial College London

University of Cyprus

Asian Institute of Technology

Istituto Nazionale di Fisica Nucleare, Sezione di Pisa

Paolo Mancarella is an author at University of Pisa specializing in engineering, automated reasoning, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceLogic ProgrammingFormal VerificationSemanticsVerificationArgument MiningLanguage

Publications per year

1988–2017

24

Publications

24

Computing ideal sceptical argumentation

Phan Minh Dũng, Paolo Mancarella, Francesca Toni · Artificial Intelligence · 2007 · 386 citations

Engineering, Argumentation Analysis, Argumentation Framework +5

Database Updates through Abduction

Antonis Kakas, Paolo Mancarella · CINECA IRIS Institutial research information system (University of Pisa) · 1990 · 213 citations

Relational Database, Engineering, Database System +5

Generalized stable models: a semantics for abduction

Antonis Kakas, Paolo Mancarella · CINECA IRIS Institutial research information system (University of Pisa) · 1990 · 173 citations

Computational Logic, Engineering, Abductive Reasoning +6

The KGP model of agency

Antonis Kakas, Paolo Mancarella, Fariba Sadri et al. · 2004 · 102 citations

A dialectic procedure for sceptical, assumption-based argumentation

Phan Minh Dũng, Paolo Mancarella, Francesca Toni · CINECA IRIS Institutial research information system (University of Pisa) · 2006 · 84 citations

Rows per page

1–5 of 24