ask others

Armando Tacchella

> Home > Persons

Person information

affiliation: University of Genova, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apin/PathakPT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apin/PathakPT18
Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-08795
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08795
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018)
2017
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ras/KhaliliNNT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ras/KhaliliNNT17
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella:
Learning middleware models for verification of distributed control programs. Robotics and Autonomous Systems 92: 139-151 (2017)
[c70]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecms/AnnunziataMT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecms/AnnunziataMT17
Leopoldo Annunziata, Marco Menapace, Armando Tacchella:
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. ECMS 2017: 543-549
[c69]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hvc/PulinaT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hvc/PulinaT17
Luca Pulina, Armando Tacchella:
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference 2017: 237-240
[c68]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/MenapaceT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/MenapaceT17
Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: A Field Report. IEA/AIE (1) 2017: 502-506
[c67]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iri/LeofanteANLT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iri/LeofanteANLT17
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella:
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI 2017: 403-410
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MenapaceT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MenapaceT17
Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: a Field Report. CoRR abs/1702.07193 (2017)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-04259
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-04259
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella:
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR abs/1711.04259 (2017)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1712-04162
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1712-04162
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR abs/1712.04162 (2017)
[i3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/AbrahamKNT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17
Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella:
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7(2): 48-63 (2017)
2016
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aicom/PathakPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aicom/PathakPT16
Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016)
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/MarinNPTG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/MarinNPTG16
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Inform. 149(1-2): 133-158 (2016)
[c66]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/ArnaldiBFLT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/ArnaldiBFLT16
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella:
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA 2016: 5-9
[c65]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/LeofantePT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/LeofantePT16
Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA 2016: 11-25
[c64]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/KhaliliNT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/KhaliliNT16
Ali Khalili, Massimo Narizzano, Armando Tacchella:
Learning for Verification in Embedded Systems: A Case Study. AI*IA 2016: 525-538
[c63]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/LeofanteT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/LeofanteT16
Francesco Leofante, Armando Tacchella:
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: 539-552
[c62]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecms/CicalaLOT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecms/CicalaLOT16
Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella:
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. ECMS 2016: 628-634
[c61]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icalt/OreggiaCPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalt/OreggiaCPT16
Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella:
Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. ICALT 2016: 293-294
[c60]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/LeofanteVAT016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/LeofanteVAT016
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen:
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) 2016: 496-514
2015
[c59]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/MarinNPTG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/MarinNPTG15
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75
[c58]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/PathakPT15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15a
Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103
[c57]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/PathakPT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15
Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273
[c56]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cilc/BeuxBCDFFGMOPST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45
[c55]
- view
- export record
  dblp key:
  - conf/icse/KhaliliNTG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/KhaliliNTG15
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37
[c54]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/PathakAJTK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/PathakAJTK15
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309
2014
[c53]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ant/AnconaCDDDFGGCRSTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ant/AnconaCDDDFGGCRSTZ14
Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, G. Zolezzi:
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 2014: 941-946
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS 2014: 1683-1700
[c51]
- view
  - electronic edition @ jmlr.org
- export record
  dblp key:
  - conf/icgi/KhaliliT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icgi/KhaliliT14
Ali Khalili, Armando Tacchella:
Learning Nondeterministic Mealy Machines. ICGI 2014: 109-123
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/simpar/KhaliliNT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/simpar/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR 2014: 315-326
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/PathakMT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/PathakMT14
Shashank Pathak, Giorgio Metta, Armando Tacchella:
Is verification a requisite for safe adaptive robots? SMC 2014: 3399-3402
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KhaliliNT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR abs/1411.1907 (2014)
2013
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isf/CasuCT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isf/CasuCT13
Matteo Casu, Giuseppe Cicala, Armando Tacchella:
Ontology-based data access: An application to intermodal logistics. Information Systems Frontiers 15(5): 849-871 (2013)
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/CicalaOT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/CicalaOT13
Giuseppe Cicala, Marco Oreggia, Armando Tacchella:
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. AI*IA 2013: 25-36
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iros/PathakPMT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iros/PathakPMT13
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. IROS 2013: 170-175
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rr/BourguetCPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rr/BourguetCPT13
Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella:
OBDA and Intermodal Logistics: Active Projects and Applications. RR 2013: 210-215
2012
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aicom/PulinaT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aicom/PulinaT12
Luca Pulina, Armando Tacchella:
Challenging SMT solvers to verify neural networks. AI Commun. 25(2): 117-135 (2012)
2011
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/PulinaT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/PulinaT11
Luca Pulina, Armando Tacchella:
NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62(3-4): 403-425 (2011)
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/PulinaT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/PulinaT11
Luca Pulina, Armando Tacchella:
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA 2011: 127-138
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/CasuT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/CasuT11
Matteo Casu, Armando Tacchella:
From Natural Language Definitions to Knowledge Bases Axioms. AI*IA 2011: 445-450
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1111-0860
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0860
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011)
2010
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/PulinaT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/PulinaT10
Luca Pulina, Armando Tacchella:
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Inform. 102(3-4): 391-427 (2010)
[j13]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/PulinaT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/PulinaT10
Luca Pulina, Armando Tacchella:
AQME'10. JSAT 7(2-3): 65-70 (2010)
[c43]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/SternSHGPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/SternSHGPT10
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella:
Collaborative Expert Portfolio Management. AAAI 2010
[c42]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/PeschieraPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/PeschieraPT10
Claudia Peschiera, Luca Pulina, Armando Tacchella:
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR 2010: 19-32
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/PulinaT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/PulinaT10
Luca Pulina, Armando Tacchella:
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV 2010: 243-257
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icra/MettaNPPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icra/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/BalbiPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/BalbiPT10
Anahì Balbi, Michael Provost, Armando Tacchella:
Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. IEA/AIE (1) 2010: 123-132
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/MettaNPPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) 2010: 133-142
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/PeschieraPTBKL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/PeschieraPTBKL10
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce:
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT 2010: 237-250

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aicom/NarizzanoPPT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aicom/NarizzanoPPT09
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella:
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22(4): 191-210 (2009)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/constraints/PulinaT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/constraints/PulinaT09
Luca Pulina, Armando Tacchella:
A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints 14(1): 80-116 (2009)
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/PulinaT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09
Luca Pulina, Armando Tacchella:
Hard QBF Encodings Made Easy: Dream or Reality? AI*IA 2009: 31-41
[c35]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/PulinaT09a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09a
Luca Pulina, Armando Tacchella:
A structural approach to reasoning with quantified Boolean formulas. RCRA@AI*IA 2009
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/frocos/PulinaT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/frocos/PulinaT09
Luca Pulina, Armando Tacchella:
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS 2009: 350-365
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/AmbrosiGT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/AmbrosiGT09
Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella:
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE 2009: 449-458
[c32]
- view
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/PulinaT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/PulinaT09
Luca Pulina, Armando Tacchella:
A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/faia/SebastianiT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/faia/SebastianiT09
Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2009: 781-824
2008
[j10]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/SpeckenmeyerTML08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/SpeckenmeyerTML08
Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li:
Guest Editors Conclusion. JSAT 4(2-4) (2008)
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/PulinaT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/PulinaT08
Luca Pulina, Armando Tacchella:
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/micai/PulinaT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/micai/PulinaT08
Luca Pulina, Armando Tacchella:
QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
2007
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcad/GiunchigliaNT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcad/GiunchigliaNT07
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 497-507 (2007)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/NarizzanoPT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/NarizzanoPT07
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/PulinaT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/PulinaT07
Luca Pulina, Armando Tacchella:
A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
2006
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jair/GiunchigliaNT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jair/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006)
[j7]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/NarizzanoPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
[c27]
- view
- export record
  dblp key:
  - conf/date/GiunchigliaNT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/jelia/NarizzanoPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jelia/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
The QBFEVAL Web Portal. JELIA 2006: 494-497
2005
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ArmandoCGGT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ArmandoCGGT05
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58
2004
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04a
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BerreNST04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BerreNST04
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella:
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
[c20]
- view
  - electronic edition @ satisfiability.org
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT 2004
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/2003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/2003
Enrico Giunchiglia, Armando Tacchella:
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919, Springer 2004, ISBN 3-540-20851-8 [contents]
2003
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/GiunchigliaNT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/GiunchigliaNT03
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/CastelliniGT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/CastelliniGT03
Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/GiunchigliaMT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/GiunchigliaMT03
Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GentGNRT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GentGNRT03
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BerreST03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BerreST03
Daniel Le Berre, Laurent Simon, Armando Tacchella:
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
2002
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/GiunchigliaTG02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaTG02
Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)
[c16]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/GiunchigliaNT02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/GiunchigliaNT02
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CimattiCGGPRST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CimattiCGGPRST02
Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/frocos/CimattiGPRST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/frocos/CimattiGPRST02
Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/jelia/GiunchigliaMT02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jelia/GiunchigliaMT02
Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307
2001
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/GiunchigliaT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/GiunchigliaT01
Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. 33(1): 39-67 (2001)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/endm/GiunchigliaNTV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/endm/GiunchigliaNTV01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/GiunchigliaMTZ01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaMTZ01
Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/CoptyFFGKTV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/CoptyFFGKTV01
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
[c8]
- no documents available
- export record
  dblp key:
  - conf/ijcai/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281
2000
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jancl/GiunchigliaGST00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jancl/GiunchigliaGST00
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10(2): 145-172 (2000)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/GiunchigliaT00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaT00
Enrico Giunchiglia, Armando Tacchella:
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE 2000: 291-296
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/Tacchella00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/Tacchella00
Armando Tacchella:
Evaluating ^*SAT on TANCS 2000 Benchmarks. TABLEAUX 2000: 77-81
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/GiunchigliaT00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/GiunchigliaT00
Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/GiunchigliaGT99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/GiunchigliaGT99
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
[c3]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/GiunchigliaGT99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/GiunchigliaGT99
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999
[c2]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/Tacchella99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/Tacchella99
Armando Tacchella:
*SAT System Description. Description Logics 1999
1998
[c1]
- no documents available
- export record
  dblp key:
  - conf/kr/GiunchigliaGST98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kr/GiunchigliaGST98
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635

Coauthor Index

see FAQ

maintained by

at