Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cilc/cilc2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/cilc/000120,
author = {Wolfgang Faber},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Reversibility of Actions and Plans (invited talk)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {1},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/0001GD20,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {On a Plausible Concept-wise Multipreference Semantics and its Relations
with Self-organising Maps},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {127--140},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/0001GD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BertagnonGST20,
author = {Alessandro Bertagnon and
Marco Gavanelli and
Guido Sciavicco and
Stefano Trevisani},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {On (Maximal, Tractable) Fragments of the Branching Algebra},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {113--126},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BertagnonGST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BistarelliT20,
author = {Stefano Bistarelli and
Carlo Taticchi},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Labelling Semantics for Weighted Argumentation Frameworks},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {263--277},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BistarelliT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BowlesC20,
author = {Juliana K{\"{u}}ster Filipe Bowles and
Marco B. Caminati},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Formally Verified {SMT} Approach to True Concurrency},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {357--371},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BowlesC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BozzatoF20,
author = {Loris Bozzato and
Camillo Fiorentini},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Reasoning on Information Term Semantics with {ASP} for Constructive
EL{\unicode{42197}}},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {141--156},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BozzatoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BozzatoS20,
author = {Loris Bozzato and
Christoph G. Schuetz},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Towards Distributed Contextualized Knowledge Repositories for Analysis
of Large-Scale Knowledge Graphs},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {82--90},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/short1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BozzatoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BuriolaCCOS20,
author = {Gabriele Buriola and
Domenico Cantone and
Gianluca Cincotti and
Eugenio G. Omodeo and
Gaetano T. Spart{\`{a}}},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Decidable Theory of Differentiable Functions with Convexities and
Concavities on Real Intervals},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {231--247},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BuriolaCCOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneDMO20,
author = {Domenico Cantone and
Andrea De Domenico and
Pietro Maugeri and
Eugenio G. Omodeo},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean
Formulae in {CNF}},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {214--230},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneDMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CavadaCM20,
author = {Matteo Cavada and
Andrea Col{\`{o}} and
Alberto Momigliano},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {MutantChick: Type-Preserving Mutation Analysis for Coq},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {105--112},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/short2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CavadaCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini20,
author = {Stefania Costantini},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {184--198},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Costantini20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Denecker20,
author = {Marc Denecker},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {On the informal semantics of knowledge representation languages and
the case of Logic Programming (invited talk)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {3},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Denecker20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DodaroGMMP20,
author = {Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Marco Maratea and
Marco Mochi and
Ivan Porro},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Chemotherapy Treatment Scheduling via Answer Set Programming},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {342--356},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DodaroGMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DomenicoCA20,
author = {Andrea De Domenico and
Domenico Cantone and
Marianna Nicolosi Asmundo},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {An Ontology for the Iconographic Sources of La Divina Commedia},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {157--168},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DomenicoCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DyoubCLL20,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca Alessandra Lisi and
Ivan Letteri},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Logic-based Machine Learning for Transparent Ethical Agents},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {169--183},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DyoubCLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Fabiano20,
author = {Francesco Fabiano},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Towards a Complete Characterization of Epistemic Reasoning: the Notion
of Trust},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {21--35},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Fabiano20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FabianoP20,
author = {Francesco Fabiano and
Alessandro Dal Pal{\`{u}}},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {An {ASP} Approach for Arteries Classification in CT-scans},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {312--326},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FabianoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Fiorentini020,
author = {Camillo Fiorentini and
Mauro Ferrari},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Natural Deduction Calculus for G{\"{o}}del-Dummett Logic Internalizing
Proof-search Control Mechanisms},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {91--104},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Fiorentini020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GhilardiGK20,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Computing Uniform Interpolants for {EUF} via (conditional) DAG-based
Compact Representations},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {67--81},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GhilardiGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GirlandoLOPP20,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Stefano Pesce and
Gian Luca Pozzato},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Theorem Proving for Lewis Logics of Counterfactual Reasoning},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {199--213},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GirlandoLOPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LoreggiaLS20,
author = {Andrea Loreggia and
Emiliano Lorini and
Giovanni Sartor},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {A Ceteris Paribus Deontic Logic},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {248--262},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LoreggiaLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MazzottaCDR20,
author = {Giuseppe Mazzotta and
Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Compilation of Aggregates in {ASP:} Preliminary Results},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {278--296},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MazzottaCDR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Penaloza20,
author = {Rafael Pe{\~{n}}aloza},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Introduction to Probabilistic Ontologies (tutorial)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {4},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Penaloza20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PisanoCOS20,
author = {Giuseppe Pisano and
Roberta Calegari and
Andrea Omicini and
Giovanni Sartor},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Arg-tuProlog: a tuProlog-based Argumentation Framework},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {51--66},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/PisanoCOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RizzoD20,
author = {Nicola Rizzo and
Agostino Dovier},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {3coSoKu and its Logic Programming Modeling},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {5--20},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RizzoD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/SilenoP20,
author = {Giovanni Sileno and
Matteo Pascucci},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Disentangling Deontic Positions and Abilities: a Modal Analysis},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {36--50},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/SilenoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/SofiatoSR20,
author = {Bruno Sofiato and
F{\'{a}}bio Levy Siqueira and
Ricardo Luis de Azevedo da Rocha},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Towards a Declarative Approach to Object Comparison},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {297--311},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/SofiatoSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Villadsen20,
author = {J{\o}rgen Villadsen},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Tautology Checkers in Isabelle and Haskell},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {327--341},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Villadsen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Woltran20,
author = {Stefan Woltran},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Computational Argumentation - Formal Models and Complexity Results
(invited talk)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {2},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Woltran20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2020,
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710},
urn = {urn:nbn:de:0074-2710-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-02 13:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
