Paolo Mancarella
University of Pisa, Italy
Antonis C. Kakas
Paolo Mancarella
Francesca Toni
On Argumentation Logic and Propositional Logic.
237-279
2018
106
Stud Logica
2
https://doi.org/10.1007/s11225-017-9736-x
https://www.wikidata.org/entity/Q59605289
db/journals/sLogica/sLogica106.html#KakasMT18
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.
957-962
2015
conf/aaate/2015
AAATE Conf.
https://doi.org/10.3233/978-1-61499-566-1-957
db/conf/aaate/aaate2015.html#CiampiCDFGLMS15
Antonis C. Kakas
Francesca Toni
Paolo Mancarella
Argumentation for Propositional Logic and Nonmonotonic Reasoning.
272-286
2014
CILC
https://ceur-ws.org/Vol-1195/long18.pdf
conf/cilc/2014
db/conf/cilc/cilc2014.html#KakasTM14
Antonis C. Kakas
Francesca Toni
Paolo Mancarella
Argumentation Logic.
345-356
2014
COMMA
https://doi.org/10.3233/978-1-61499-436-7-345
conf/comma/2014
db/conf/comma/comma2014.html#KakasTM14
Antonis C. Kakas
Paolo Mancarella
Fariba Sadri
Kostas Stathis
Francesca Toni
Computational Logic Foundations of KGP Agents.
2014
abs/1401.3443
CoRR
http://arxiv.org/abs/1401.3443
db/journals/corr/corr1401.html#KakasMSST14
Antonis C. Kakas
Paolo Mancarella
On the semantics of abstract argumentation.
991-1015
2013
23
J. Log. Comput.
5
https://doi.org/10.1093/logcom/exs068
https://www.wikidata.org/entity/Q62615091
db/journals/logcom/logcom23.html#KakasM13
Maxime Morge
Jarred McGinnis
Stefano Bromuri
Paolo Mancarella
Kostas Stathis
Francesca Toni
Argumentative Agents for Service-Oriented Computing.
217-255
2013
Multiagent Systems and Applications - Volume 1
https://doi.org/10.1007/978-3-642-33323-1_9
series/isrl/45
db/series/isrl/isrl45.html#MorgeMBMST13
Paolo Mancarella
Francesca Toni
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.
33-51
2012
Logic Programs, Norms and Action
https://doi.org/10.1007/978-3-642-29414-3_4
https://www.wikidata.org/entity/Q62047994
conf/birthday/2012sergot
db/conf/birthday/sergot2012.html#MancarellaT12
Paolo Mancarella
Francesca Toni
Computational logic in agent based systems.
139-143
2011
5
Intelligenza Artificiale
1
https://doi.org/10.3233/IA-2011-0017
db/journals/ia/ia5.html#MancarellaT11
Phan Minh Dung
Francesca Toni
Paolo Mancarella
Some design guidelines for practical argumentation systems.
183-194
2010
COMMA
https://doi.org/10.3233/978-1-60750-619-5-183
conf/comma/2010
db/conf/comma/comma2010.html#DungTM10
Paolo Mancarella
Giacomo Terreni
Fariba Sadri
Francesca Toni
Ulle Endriss
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.
691-750
2009
9
Theory Pract. Log. Program.
6
https://doi.org/10.1017/S1471068409990093
https://www.wikidata.org/entity/Q62047999
db/journals/tplp/tplp9.html#MancarellaTSTE09
Maxime Morge
Paolo Mancarella
Assumption-Based Argumentation for the Minimal Concession Strategy.
114-133
2009
ArgMAS
https://doi.org/10.1007/978-3-642-12805-9_7
conf/argmas/2009
db/conf/argmas/argmas2009.html#MorgeM09
Paolo Mancarella
Giacomo Terreni
Fariba Sadri
Francesca Toni
Ulrich Endriss
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
http://arxiv.org/abs/0906.1182
2009
CoRR
abs/0906.1182
db/journals/corr/corr0906.html#abs-0906-1182
Antonis C. Kakas
Paolo Mancarella
Fariba Sadri
Kostas Stathis
Francesca Toni
Computational Logic Foundations of KGP Agents.
285-348
2008
33
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.2596
db/journals/jair/jair33.html#KakasMSST08
Maxime Morge
Paolo Mancarella
Jarred McGinnis
Stefano Bromuri
Kostas Stathis
An Argumentative Model for Service-Oriented Agents.
37-42
2008
AAAI Spring Symposium: Emotion, Personality, and Social Behavior
http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-007.php
conf/aaaiss/2008-2
db/conf/aaaiss/aaaiss2008-2.html#MorgeMMBS08
Paolo Mancarella
Francesca Toni
Computational Logic and Agent Based Systems.
2008
Il Milione
https://ceur-ws.org/Vol-487/paper13.pdf
conf/birthday/2008martelli
db/conf/birthday/Martelli2008.html#MancarellaT08
Giada Maggenti
Andrea Bracciali
Paolo Mancarella
Abduction and legal reasoning.
33
2008
e-Forensics
https://doi.org/10.4108/e-forensics.2008.2640
http://dl.acm.org/citation.cfm?id=1363260
conf/eforensics/2008
db/conf/eforensics/eforensics2008.html#MaggentiBM08
Paolo Mancarella
Giacomo Terreni
Francesca Toni
Web Sites Repairing through Abduction.
137-152
2008
conf/wwv/2008
WWV
https://doi.org/10.1016/j.entcs.2009.03.009
https://www.wikidata.org/entity/Q62048001
db/journals/entcs/entcs235.html#MancarellaTT09
Phan Minh Dung
Paolo Mancarella
Francesca Toni
Computing ideal sceptical argumentation.
642-674
2007
171
Artif. Intell.
10-15
https://doi.org/10.1016/j.artint.2007.05.003
db/journals/ai/ai171.html#DungMT07
Paolo Mancarella
Giacomo Terreni
Francesca Toni
Web Sites Verification: An Abductive Logic Programming Tool.
434-435
2007
conf/iclp/2007
ICLP
https://doi.org/10.1007/978-3-540-74610-2_33
db/conf/iclp/iclp2007.html#MancarellaTT07
Maxime Morge
Jarred McGinnis
Stefano Bromuri
Francesca Toni
Paolo Mancarella
Kostas Stathis
Vers une architecture modulaire d'agent argumentatif pour la composition de services.
233-242
2007
JFSMA
conf/jfsma/2007
db/conf/jfsma/jfsma2007.html#MorgeMBTMS07
Paolo Mancarella
Fariba Sadri
Giacomo Terreni
Francesca Toni
Programming Applications in CIFF.
284-289
2007
conf/lpnmr/2007
LPNMR
https://doi.org/10.1007/978-3-540-72200-7_27
db/conf/lpnmr/lpnmr2007.html#MancarellaSTT07
Phan Minh Dung
Paolo Mancarella
Francesca Toni
A dialectic procedure for sceptical, assumption-based argumentation.
145-156
2006
COMMA
http://www.booksonline.iospress.nl/Content/View.aspx?piid=1935
conf/comma/2006
db/conf/comma/comma2006.html#DungMT06
Maurizio Atzori
Paolo Mancarella
Franco Turini
Memory-Aware Frequent k-Itemset Mining.
38-54
2005
conf/kdid/2005
KDID
https://doi.org/10.1007/11733492_3
db/conf/kdid/kdid2005.html#AtzoriMT05
Paolo Mancarella
Alessandra Raffaetà
Chiara Renso
Franco Turini
Integrating knowledge representation and reasoning in Geographical Information Systems.
417-447
2004
18
Int. J. Geogr. Inf. Sci.
4
https://doi.org/10.1080/13658810410001672908
db/journals/gis/gis18.html#MancarellaRRT04
Antonis C. Kakas
Paolo Mancarella
Fariba Sadri
Kostas Stathis
Francesca Toni
Declarative Agent Control.
96-110
2004
conf/clima/2004V
CLIMA
https://doi.org/10.1007/11533092_6
db/conf/clima/climaV2004.html#KakasMSST04
Paolo Mancarella
Fariba Sadri
Giacomo Terreni
Francesca Toni
Planning Partially for Situated Agents.
230-248
2004
conf/clima/2004V
CLIMA
https://doi.org/10.1007/11533092_14
db/conf/clima/climaV2004.html#MancarellaSTT04
Andrea Bracciali
Paolo Mancarella
Kostas Stathis
Francesca Toni
On Modelling Multi-agent Systems Declaratively.
53-68
2004
conf/dalt/2004
DALT
https://doi.org/10.1007/11493402_4
db/conf/dalt/dalt2004.html#BraccialiMST04
Antonis C. Kakas
Paolo Mancarella
Fariba Sadri
Kostas Stathis
Francesca Toni
The KGP Model of Agency.
33-37
2004
conf/ecai/2004
ECAI
db/conf/ecai/ecai2004.html#KakasMSST04
Andrea Bracciali
Paolo Mancarella
Kostas Stathis
Francesca Toni
Engineering Stable Multi-agent Systems.
322-334
2004
conf/esaw/2004
ESAW
https://doi.org/10.1007/11423355_23
db/conf/esaw/esaw2004.html#BraccialiMST04
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.
340-367
https://doi.org/10.1007/978-3-540-31794-4_18
2004
conf/gc/2004
Global Computing
db/conf/gc/gc2004.html#BraccialiDEKLMSSTT04
Ulrich Endriss
Paolo Mancarella
Fariba Sadri
Giacomo Terreni
Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
31-43
https://doi.org/10.1007/978-3-540-30227-8_6
2004
conf/jelia/2004
JELIA
db/conf/jelia/jelia2004.html#EndrissMSTT04
Ulrich Endriss
Paolo Mancarella
Fariba Sadri
Giacomo Terreni
Francesca Toni
Abductive Logic Programming with CIFF: System Description.
680-684
https://doi.org/10.1007/978-3-540-30227-8_56
2004
conf/jelia/2004
JELIA
db/conf/jelia/jelia2004.html#EndrissMSTT04a
Paolo Mancarella
Giacomo Terreni
An Abductive Proof Procedure Handling Active Rules.
105-117
https://doi.org/10.1007/978-3-540-39853-0_9
2003
conf/aiia/2003
AI*IA
db/conf/aiia/aiia2003.html#MancarellaT03
Maurizio Atzori
Paolo Mancarella
Franco Turini
Abduction in Classification Tasks.
213-224
https://doi.org/10.1007/978-3-540-39853-0_18
2003
conf/aiia/2003
AI*IA
db/conf/aiia/aiia2003.html#AtzoriMT03
Phan Minh Dung
Paolo Mancarella
Production Systems with Negation as Failure.
336-352
2002
14
IEEE Trans. Knowl. Data Eng.
2
https://doi.org/10.1109/69.991720
http://doi.ieeecomputersociety.org/10.1109/69.991720
db/journals/tkde/tkde14.html#DungM02
Paolo Baldan
Paolo Mancarella
Alessandra Raffaetà
Franco Turini
MuTACLP: A Language for Temporal Reasoning with Multiple Theories.
1-40
2002
conf/birthday/2002kowalski2
Computational Logic: Logic Programming and Beyond
https://doi.org/10.1007/3-540-45632-5_1
db/conf/birthday/kowalski2002-2.html#BaldanMRT02
Paolo Mancarella
Dino Pedreschi
Salvatore Ruggieri
Negation as Failure through Abduction: Reasoning about Termination.
240-272
2002
conf/birthday/2002kowalski1
Computational Logic: Logic Programming and Beyond
https://doi.org/10.1007/3-540-45628-7_11
db/conf/birthday/kowalski2002-1.html#MancarellaPR02
Phan Minh Dung
Paolo Mancarella
Francesca Toni
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
289-310
2002
conf/birthday/2002kowalski2
Computational Logic: Logic Programming and Beyond
https://doi.org/10.1007/3-540-45632-5_12
db/conf/birthday/kowalski2002-2.html#DungMT02
Paolo Mancarella
Gianluca Nerbini
Alessandra Raffaetà
Franco Turini
MuTACLP: A Language for Declarative GIS Analysis.
1002-1016
https://doi.org/10.1007/3-540-44957-4_67
2000
conf/cl/2000
Computational Logic
db/conf/cl/cl2000.html#MancarellaNRT00
Paolo Mancarella
Alessandra Raffaetà
Franco Turini
Knowledge representation with multiple logical theories and time.
47-76
1999
11
J. Exp. Theor. Artif. Intell.
1
db/journals/jetai/jetai11.html#MancarellaRT99
https://doi.org/10.1080/095281399146616
Paolo Mancarella
Alessandra Raffaetà
Franco Turini
Temporal Annotated Constraint Logic Programming with Multiple Theories.
501-508
1999
conf/dexaw/1999
DEXA Workshop
https://doi.org/10.1109/DEXA.1999.795234
https://doi.ieeecomputersociety.org/10.1109/DEXA.1999.795234
db/conf/dexaw/dexaw99.html#MancarellaRT99
Roberto Barbuti
Nicoletta De Francesco
Paolo Mancarella
Antonella Santone
Towards a Logical Semantics for Pure Prolog.
145-176
1998
32
Sci. Comput. Program.
1-3
db/journals/scp/scp32.html#BarbutiFMS98
https://doi.org/10.1016/S0167-6423(97)00033-6
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
A Unifying View for Logic Programming with Non-Monotonic Reasoning.
1-5
1997
184
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs184.html#BrogiLMM97
https://doi.org/10.1016/S0304-3975(97)80755-4
Paolo Mancarella
Alessandra Raffaetà
Franco Turini
Time in a Multi-Theory Logical Framework.
62-68
1997
conf/time/1997
TIME
https://doi.org/10.1109/TIME.1997.600783
https://doi.ieeecomputersociety.org/10.1109/TIME.1997.600783
db/conf/time/time1997.html#MancarellaRT97
Phan Minh Dung
Paolo Mancarella
Production Systems Need Negation as Failure.
1242-1247
1996
conf/aaai/1996-2
AAAI/IAAI, Vol. 2
db/conf/aaai/aaai96-2.html#DungM96
http://www.aaai.org/Library/AAAI/1996/aaai96-184.php
Roberto Barbuti
Paolo Mancarella
A Multiple-Valued Logical Semantics for Prolog.
62-76
1996
conf/esop/1996
ESOP
db/conf/esop/esop96.html#BarbutiM96
https://doi.org/10.1007/3-540-61055-3_29
Paolo Mancarella
Alessandra Raffaetà
Franco Turini
LOO: An Object Oriented Logic Programming Language.
271-282
1995
conf/agp/1995
GULP-PRODE
db/conf/agp/gulp-prode1995.html#MancarellaRT95
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
An Abductive Framework for Extended Logic Programming.
330-343
1995
conf/lpnmr/1995
LPNMR
db/conf/lpnmr/lpnmr95.html#BrogiLMM95
https://doi.org/10.1007/3-540-59487-6_24
Antonio Brogi
Paolo Mancarella
Dino Pedreschi
Franco Turini
Modular Logic Programming.
1361-1398
1994
16
ACM Trans. Program. Lang. Syst.
4
https://doi.org/10.1145/183432.183528
db/journals/toplas/toplas16.html#BrogiMPT94
Antonis C. Kakas
Paolo Mancarella
Abduction and Abductive Logic Programming.
18-19
1994
conf/iclp/1994
ICLP
db/conf/iclp/iclp94.html#KakasM94
Antonis C. Kakas
Paolo Mancarella
Phan Minh Dung
The Acceptability Semantics for Logic Programs.
504-519
1994
conf/iclp/1994
ICLP
db/conf/iclp/iclp94.html#KakasMD94
Antonio Brogi
A. Chiarelli
Paolo Mancarella
V. Mazzotta
Dino Pedreschi
Chiara Renso
Franco Turini
Implementations of Program Composition Operations.
292-307
1994
conf/plilp/1994
PLILP
db/conf/plilp/plilp94.html#BrogiCMMPRT94
https://doi.org/10.1007/3-540-58402-1_21
Antonis C. Kakas
Paolo Mancarella
Short Note: Preferred Extensions are Partial Stable Models.
341-348
1992
14
J. Log. Program.
3&4
db/journals/jlp/jlp14.html#KakasM92
https://doi.org/10.1016/0743-1066(92)90015-U
https://www.wikidata.org/entity/Q62615157
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
Normal logic programs as open positive programs.
9-11
1992
conf/cnkbs/1992
CNKBS
db/conf/cnkbs/cnkbs1992.html#BrogiLMM92
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
Normal Logic Programs as Open Positive Programs.
783-797
1992
conf/iclp/1992
JICSLP
db/conf/iclp/iclp92.html#BrogiLMM92
Antonio Brogi
Paolo Mancarella
Dino Pedreschi
Franco Turini
Meta for Modularising Logic Programming.
105-119
1992
conf/meta/1992
META
db/conf/meta/meta92.html#BrogiMPT92
https://doi.org/10.1007/3-540-56282-6_7
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
Abductive Reasoning in a Multi-Theory Framework.
137-146
1991
conf/aiia/1991
AI*IA
db/conf/aiia/aiia1991.html#BrogiLMM91
https://doi.org/10.1007/3-540-54712-6_226
Antonio Brogi
Paolo Mancarella
Dino Pedreschi
Franco Turini
Theory Construction in Computational Logic.
241-250
1991
conf/iclp/1991w1
ICLP Workshop on Construction of Logic Programs
db/conf/iclp/iclp91-w1.html#BrogiMPT91
Antonis C. Kakas
Paolo Mancarella
Negation as Stable Hypotheses.
275-288
1991
conf/lpnmr/1991
LPNMR
db/conf/lpnmr/lpnmr91.html#KakasM91
Antonis C. Kakas
Paolo Mancarella
Stable Theories for Logic Programs.
85-100
1991
conf/slp/1991
ISLP
db/conf/slp/slp91.html#KakasM91
Roberto Barbuti
Paolo Mancarella
Dino Pedreschi
Franco Turini
A Transformational Approach to Negation in Logic Programming.
201-228
1990
8
J. Log. Program.
3
db/journals/jlp/jlp8.html#BarbutiMPT90
https://doi.org/10.1016/0743-1066(90)90023-X
Antonis C. Kakas
Paolo Mancarella
Knowledge Assimilation and Abduction.
54-70
1990
conf/ecai/1990tms
Truth Maintenance Systems (ECAI Workshop)
db/conf/ecai/ecai1990tms.html#KakasM90a
https://doi.org/10.1007/BFb0037029
Antonio Brogi
Paolo Mancarella
Dino Pedreschi
Franco Turini
Universal Quantification by Case Analysis.
111-116
1990
conf/ecai/1990
ECAI
db/conf/ecai/ecai90.html#BrogiMPT90
Antonis C. Kakas
Paolo Mancarella
Generalized Stable Models: A Semantics for Abduction.
385-391
1990
conf/ecai/1990
ECAI
db/conf/ecai/ecai90.html#KakasM90
Antonis C. Kakas
Paolo Mancarella
Abductive Logic Programming.
49-61
1990
conf/lpnmr/1990
LPNMR
db/conf/lpnmr/lpnmr1990.html#KakasM90
Antonio Brogi
Paolo Mancarella
Dino Pedreschi
Franco Turini
Logic Programming within a Functional Framework.
372-386
1990
conf/plilp/1990
PLILP
db/conf/plilp/plilp90.html#BrogiMPT90
https://doi.org/10.1007/BFb0024196
Paolo Mancarella
Dino Pedreschi
Marina Rondinelli
Marco Tagliatti
Algebraic Properties of a Class of Logic Programs.
23-39
1990
conf/slp/1990
NACLP
db/conf/slp/slp90.html#MancarellaPRT90
conf/vldb/90
Antonis C. Kakas
Paolo Mancarella
Database Updates through Abduction.
650-661
1990
VLDB
db/conf/vldb/vldb90.html#KakasM90
http://www.vldb.org/conf/1990/P650.PDF
conf/icdt/Abiteboul88
conf/iclp/AptB90
journals/tods/BancilhonS81
conf/iclp/Bry90
journals/jacm/CosmadakisP84
journals/tods/DayalB82
conf/icdt/Decker90
conf/iclp/EshghiK89
conf/pods/FaginUV83
...
conf/iclp/GelfondL88
journals/tods/GottlobPZ88
journals/ngc/GuessoumL90
...
...
...
...
...
...
journals/jlp/Kunen87
books/sp/Lloyd87
...
journals/ai/Moore85
conf/ifip/NicolasY83
journals/ai/Poole88
...
...
conf/iclp/RossiN89
books/mk/minker88/SadriK88
...
conf/icdt/Tomasic88
journals/tcs/Topor87
Paolo Mancarella
Simone Martini 0001
Dino Pedreschi
Complete Logic Programs with Domain-Closure Axiom.
263-276
1988
5
J. Log. Program.
3
db/journals/jlp/jlp5.html#MancarellaMP88
https://doi.org/10.1016/0743-1066(88)90013-1
https://www.wikidata.org/entity/Q114683457
Bruno Bertolino
Paolo Mancarella
Luigi Meo
Luca Nini
Dino Pedreschi
Franco Turini
A Progress Report on the LML Project.
675-684
1988
conf/fgcs/1988
FGCS
db/conf/fgcs/fgcs88.html#BertolinoMMNPT88
Paolo Mancarella
Dino Pedreschi
An Algebra of Logic Programs.
1006-1023
1988
conf/iclp/1988
ICLP/SLP
db/conf/iclp/iclp88.html#MancarellaP88
Roberto Barbuti
Paolo Mancarella
Dino Pedreschi
Franco Turini
Intensional Negation of Logic Programs: Examples and Implementation Techniques.
96-110
1987
conf/tapsoft/1987-2
TAPSOFT, Vol.2
db/conf/tapsoft/tapsoft87-2.html#BarbutiMPT87
https://doi.org/10.1007/BFb0014975
Paolo Mancarella
Franco Turini
A High Level Analysis Tool for Concurrent Programs.
293-302
1983
conf/icpp/1983
ICPP
db/conf/icpp/icpp1983.html#MancarellaT83
Maurizio Atzori
Paolo Baldan
Roberto Barbuti
Bruno Bertolino
Andrea Bracciali
Antonio Brogi
Stefano Bromuri
A. Chiarelli
Luca Ciampi
Alfonso Curreri
Neophytos Demetriou
Massimiliano Donati
Phan Minh Dung
Ulle EndrissUlrich Endriss
Luca Fanucci
Nicoletta De Francesco
Federica Gorrasi
Antonis C. Kakas
Evelina Lamma
Stefano Landucci
Wenjin Lu
Giada Maggenti
Simone Martini 0001
V. Mazzotta
Jarred McGinnis
Paola Mello
Luigi Meo
Maxime Morge
Gianluca Nerbini
Luca Nini
Dino Pedreschi
Alessandra Raffaetà
Chiara Renso
Marina Rondinelli
Salvatore Ruggieri
Fariba Sadri
Antonella Santone
Fiammetta Savoia
Kostas Stathis
Marco Tagliatti
Giacomo Terreni
Francesca Toni
Franco Turini