![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Paolo Mancarella
Person information
- affiliation: University of Pisa, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c57]Antonis C. Kakas, Paolo Mancarella:
On the Extension of Argumentation Logic. CILC 2024
2010 – 2019
- 2018
- [j15]Antonis C. Kakas
, Paolo Mancarella, Francesca Toni
:
On Argumentation Logic and Propositional Logic. Stud Logica 106(2): 237-279 (2018) - 2015
- [c56]Luca Ciampi
, Alfonso Curreri, Massimiliano Donati
, Luca Fanucci
, Federica Gorrasi, Stefano Landucci, Paolo Mancarella, Fiammetta Savoia:
Bridging the gap between high school and University studies for student with disability. AAATE Conf. 2015: 957-962 - 2014
- [c55]Antonis C. Kakas, Francesca Toni, Paolo Mancarella:
Argumentation for Propositional Logic and Nonmonotonic Reasoning. CILC 2014: 272-286 - [c54]Antonis C. Kakas
, Francesca Toni
, Paolo Mancarella:
Argumentation Logic. COMMA 2014: 345-356 - [i2]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. CoRR abs/1401.3443 (2014) - 2013
- [j14]Antonis C. Kakas
, Paolo Mancarella:
On the semantics of abstract argumentation. J. Log. Comput. 23(5): 991-1015 (2013) - [p1]Maxime Morge
, Jarred McGinnis, Stefano Bromuri
, Paolo Mancarella, Kostas Stathis
, Francesca Toni:
Argumentative Agents for Service-Oriented Computing. Multiagent Systems and Applications - Volume 1 2013: 217-255 - 2012
- [c53]Paolo Mancarella, Francesca Toni
:
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. Logic Programs, Norms and Action 2012: 33-51 - 2011
- [j13]Paolo Mancarella, Francesca Toni
:
Computational logic in agent based systems. Intelligenza Artificiale 5(1): 139-143 (2011) - 2010
- [c52]Phan Minh Dung, Francesca Toni
, Paolo Mancarella:
Some design guidelines for practical argumentation systems. COMMA 2010: 183-194
2000 – 2009
- 2009
- [j12]Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni
, Ulle Endriss
:
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory Pract. Log. Program. 9(6): 691-750 (2009) - [c51]Maxime Morge
, Paolo Mancarella:
Assumption-Based Argumentation for the Minimal Concession Strategy. ArgMAS 2009: 114-133 - [i1]Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments. CoRR abs/0906.1182 (2009) - 2008
- [j11]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
:
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33: 285-348 (2008) - [c50]Maxime Morge, Paolo Mancarella, Jarred McGinnis, Stefano Bromuri, Kostas Stathis:
An Argumentative Model for Service-Oriented Agents. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 37-42 - [c49]Paolo Mancarella, Francesca Toni:
Computational Logic and Agent Based Systems. Il Milione 2008 - [c48]Giada Maggenti, Andrea Bracciali, Paolo Mancarella:
Abduction and legal reasoning. e-Forensics 2008: 33 - [c47]Paolo Mancarella, Giacomo Terreni, Francesca Toni
:
Web Sites Repairing through Abduction. WWV 2008: 137-152 - 2007
- [j10]Phan Minh Dung, Paolo Mancarella, Francesca Toni:
Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007) - [c46]Paolo Mancarella, Giacomo Terreni, Francesca Toni
:
Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435 - [c45]Maxime Morge, Jarred McGinnis, Stefano Bromuri, Francesca Toni, Paolo Mancarella, Kostas Stathis:
Vers une architecture modulaire d'agent argumentatif pour la composition de services. JFSMA 2007: 233-242 - [c44]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
:
Programming Applications in CIFF. LPNMR 2007: 284-289 - 2006
- [c43]Phan Minh Dung, Paolo Mancarella, Francesca Toni:
A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156 - 2005
- [c42]Maurizio Atzori, Paolo Mancarella, Franco Turini:
Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54 - 2004
- [j9]Paolo Mancarella, Alessandra Raffaetà, Chiara Renso
, Franco Turini:
Integrating knowledge representation and reasoning in Geographical Information Systems. Int. J. Geogr. Inf. Sci. 18(4): 417-447 (2004) - [c41]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Declarative Agent Control. CLIMA 2004: 96-110 - [c40]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Planning Partially for Situated Agents. CLIMA 2004: 230-248 - [c39]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68 - [c38]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
The KGP Model of Agency. ECAI 2004: 33-37 - [c37]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
Engineering Stable Multi-agent Systems. ESAW 2004: 322-334 - [c36]Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni:
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367 - [c35]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43 - [c34]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684 - 2003
- [c33]Paolo Mancarella, Giacomo Terreni:
An Abductive Proof Procedure Handling Active Rules. AI*IA 2003: 105-117 - [c32]Maurizio Atzori, Paolo Mancarella, Franco Turini:
Abduction in Classification Tasks. AI*IA 2003: 213-224 - 2002
- [j8]Phan Minh Dung, Paolo Mancarella:
Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002) - [c31]Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40 - [c30]Paolo Mancarella, Dino Pedreschi
, Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272 - [c29]Phan Minh Dung, Paolo Mancarella, Francesca Toni:
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Computational Logic: Logic Programming and Beyond 2002: 289-310 - 2000
- [c28]Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016
1990 – 1999
- 1999
- [j7]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11(1): 47-76 (1999) - [c27]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999: 501-508 - 1998
- [j6]Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone:
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998) - 1997
- [j5]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997) - [c26]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Time in a Multi-Theory Logical Framework. TIME 1997: 62-68 - 1996
- [c25]Phan Minh Dung, Paolo Mancarella:
Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 1996: 1242-1247 - [c24]Roberto Barbuti, Paolo Mancarella:
A Multiple-Valued Logical Semantics for Prolog. ESOP 1996: 62-76 - 1995
- [c23]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282 - [c22]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343 - 1994
- [j4]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) - [c21]Antonis C. Kakas, Paolo Mancarella:
Abduction and Abductive Logic Programming. ICLP 1994: 18-19 - [c20]Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung:
The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519 - [c19]Antonio Brogi
, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi
, Chiara Renso, Franco Turini:
Implementations of Program Composition Operations. PLILP 1994: 292-307 - 1992
- [j3]Antonis C. Kakas
, Paolo Mancarella:
Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. 14(3&4): 341-348 (1992) - [c18]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal logic programs as open positive programs. CNKBS 1992: 9-11 - [c17]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797 - [c16]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Meta for Modularising Logic Programming. META 1992: 105-119 - 1991
- [c15]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146 - [c14]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 - [c13]Antonis C. Kakas, Paolo Mancarella:
Negation as Stable Hypotheses. LPNMR 1991: 275-288 - [c12]Antonis C. Kakas, Paolo Mancarella:
Stable Theories for Logic Programs. ISLP 1991: 85-100 - 1990
- [j2]Roberto Barbuti, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990) - [c11]Antonis C. Kakas, Paolo Mancarella:
Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) 1990: 54-70 - [c10]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Universal Quantification by Case Analysis. ECAI 1990: 111-116 - [c9]Antonis C. Kakas, Paolo Mancarella:
Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391 - [c8]Antonis C. Kakas, Paolo Mancarella:
Abductive Logic Programming. LPNMR 1990: 49-61 - [c7]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Logic Programming within a Functional Framework. PLILP 1990: 372-386 - [c6]Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti:
Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39 - [c5]Antonis C. Kakas, Paolo Mancarella:
Database Updates through Abduction. VLDB 1990: 650-661
1980 – 1989
- 1988
- [j1]Paolo Mancarella, Simone Martini
, Dino Pedreschi
:
Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5(3): 263-276 (1988) - [c4]Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini:
A Progress Report on the LML Project. FGCS 1988: 675-684 - [c3]Paolo Mancarella, Dino Pedreschi:
An Algebra of Logic Programs. ICLP/SLP 1988: 1006-1023 - 1987
- [c2]Roberto Barbuti, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110 - 1983
- [c1]Paolo Mancarella, Franco Turini:
A High Level Analysis Tool for Concurrent Programs. ICPP 1983: 293-302
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint