default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessio Lomuscio
Alessio R. Lomuscio
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c162]Ben Batten, Mehran Hosseini, Alessio Lomuscio:
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS 2024: 4906-4914- [c161]Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio:
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI 2024: 2362-2369 - [c160]Edward Stevinson
, Alessio Lomuscio:
Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training. ICAIF 2024: 27-35 - [c159]Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - [i14]Ben Batten, Mehran Hosseini, Alessio Lomuscio:
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR abs/2401.11627 (2024) - [i13]Thomas Walker, Alessio Lomuscio:
Tightening the Evaluation of PAC Bounds Using Formal Verification Results. CoRR abs/2407.20122 (2024) - [i12]Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio:
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. CoRR abs/2408.13140 (2024) - 2023
- [j37]Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong:
Guest Editorial: Special issue on robust machine learning. Mach. Learn. 112(8): 2787-2789 (2023) - [c158]Patrick Henriksen, Alessio Lomuscio:
Robust Training of Neural Networks against Bias Field Perturbations. AAAI 2023: 14865-14873 - [c157]Jianglin Lan, Yang Zheng, Alessio Lomuscio:
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI 2023: 14937-14945 - [c156]Jianglin Lan, Benedikt Brückner, Alessio Lomuscio:
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI 2023: 14946-14954 - [c155]Francesco Leofante, Alessio Lomuscio:
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS 2023: 2343-2345 - [c154]Mehran Hosseini, Alessio Lomuscio:
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. AAMAS 2023: 2382-2384 - [c153]Harleen Hanspal, Alessio Lomuscio:
Efficient Verification of Neural Networks Against LVM-Based Specifications. CVPR 2023: 3894-3903 - [c152]Francesco Leofante, Alessio Lomuscio:
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS 2023: 244-262 - [c151]Francesco Leofante, Patrick Henriksen, Alessio Lomuscio:
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN 2023: 1-9 - [c150]Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio:
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR 2023: 757-762 - [c149]Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy 2023: 427 - [i11]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. CoRR abs/2305.13991 (2023) - 2022
- [j36]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36(1): 6 (2022) - [j35]Alessio Lomuscio, Edoardo Pirovano:
A counter abstraction technique for verifying properties of probabilistic swarm systems. Artif. Intell. 305: 103666 (2022) - [j34]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu:
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73: 897-932 (2022) - [c148]Jianglin Lan, Yang Zheng, Alessio Lomuscio:
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI 2022: 7272-7280 - [c147]Patrick Henriksen, Francesco Leofante, Alessio Lomuscio:
Repairing misclassifications in neural networks using limited data. SAC 2022: 1031-1038 - 2021
- [c146]Yi-Ling Liu, Alessio Lomuscio:
Robustness Learning via Decision Tree Search Robust Optimisation. BMVC 2021: 71 - [c145]Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio:
Bias Field Robustness Verification of Large Neural Image Classifiers. BMVC 2021: 202 - [c144]Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng:
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM 2021: 730-740 - [c143]Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin:
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI 2021: 1787-1793 - [c142]Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng:
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI 2021: 2184-2190 - [c141]Patrick Henriksen, Alessio Lomuscio:
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. IJCAI 2021: 2549-2555 - [c140]Panagiotis Kouvaros, Alessio Lomuscio:
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI 2021: 2643-2650 - [c139]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51 - [c138]Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio:
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM 2021: 463-480 - [e10]Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé:
AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. ACM 2021, ISBN 978-1-4503-8307-3 [contents] - 2020
- [j33]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285: 103302 (2020) - [c137]Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener:
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI 2020: 3291-3299 - [c136]Francesco Belardinelli, Alessio Lomuscio, Emily Yu:
Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI 2020: 7071-7078 - [c135]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS 2020: 25-33 - [c134]Alessio Lomuscio, Edoardo Pirovano:
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS 2020: 762-770 - [c133]Patrick Henriksen, Alessio R. Lomuscio:
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. ECAI 2020: 2513-2520 - [c132]Alessio Lomuscio, Edoardo Pirovano:
Verifying Fault-Tolerance in Probabilistic Swarm Systems. IJCAI 2020: 325-331 - [c131]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680 - [c130]Yi-Ling Liu, Alessio Lomuscio:
MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks. IJCNN 2020: 1-8 - [c129]Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR 2020: 22-32
2010 – 2019
- 2019
- [j32]Ioana Baldini, Clark W. Barrett, Antonio Chella, Carlos Cinelli, David Gamez, Leilani H. Gilpin, Knut Hinkelmann, Dylan Holmes, Takashi Kido, Murat Kocaoglu, William F. Lawless, Alessio Lomuscio, Jamie C. Macbeth, Andreas Martin, Ranjeev Mittu, Evan Patterson, Donald Sofge, Prasad Tadepalli, Keiki Takadama, Shomir Wilson:
Reports of the AAAI 2019 Spring Symposium Series. AI Mag. 40(3): 59-66 (2019) - [c128]Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano:
Verification of RNN-Based Neural Agent-Environment Systems. AAAI 2019: 6006-6013 - [c127]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI 2019: 6030-6037 - [c126]Alessio Lomuscio, Edoardo Pirovano:
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. AAMAS 2019: 161-169 - [c125]Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa:
Formal Verification of Open Multi-Agent Systems. AAMAS 2019: 179-187 - [c124]Yi-Ling Liu, Alessio Lomuscio:
An MCTS-based Adversarial Training Method for Image Recognition. IJCNN 2019: 1-8 - [c123]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA 2019: 469-477 - 2018
- [j31]Fabio Grandi, Martin Lange, Alessio Lomuscio:
22nd International Symposium on Temporal Representation and Reasoning (TIME 2015). Inf. Comput. 259(3): 303-304 (2018) - [j30]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261: 588-614 (2018) - [j29]Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261: 615 (2018) - [c122]Jeremy Kong, Alessio Lomuscio:
Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. AAMAS 2018: 166-174 - [c121]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS 2018: 1865-1867 - [c120]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Alternating-time Temporal Logic on Finite Traces. IJCAI 2018: 77-83 - [c119]Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano:
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI 2018: 324-330 - [c118]Alessio Lomuscio, Edoardo Pirovano:
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. IJCAI 2018: 403-409 - [c117]Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano:
Reachability Analysis for Neural Agent-Environment Systems. KR 2018: 184-193 - [c116]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
Approximating Perfect Recall When Model Checking Strategic Abilities. KR 2018: 435-444 - [i10]Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of CNN-based Perception Systems. CoRR abs/1811.11373 (2018) - 2017
- [j28]Alessio Lomuscio, Hongyang Qu, Franco Raimondi:
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19(1): 9-30 (2017) - [c115]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI 2017: 3013-3020 - [c114]Jeremy Kong, Alessio Lomuscio:
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. AAMAS 2017: 114-122 - [c113]Francesco Belardinelli, Alessio Lomuscio:
Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS 2017: 1259-1267 - [c112]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS 2017: 1268-1276 - [c111]Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI 2017: 91-97 - [c110]Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI 2017: 98-104 - [c109]Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI 2017: 288-294 - [c108]Jeremy Kong, Alessio Lomuscio:
Model Checking Multi-Agent Systems against LDLK Specifications. IJCAI 2017: 1138-1144 - [c107]Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu:
Compositional neural-network modeling of complex analog circuits. IJCNN 2017: 2235-2242 - [i9]Alessio Lomuscio, Lalit Maganti:
An approach to reachability analysis for feed-forward ReLU neural networks. CoRR abs/1706.07351 (2017) - 2016
- [j27]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised verification for multi-agent systems. Artif. Intell. 234: 152-189 (2016) - [c106]Alessio Lomuscio, Jakub Michaliszyn:
Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications. AAMAS 2016: 662-670 - [c105]Panagiotis Kouvaros, Alessio Lomuscio:
Formal Verification of Opinion Formation in Swarms. AAMAS 2016: 1200-1208 - [c104]Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Security Properties in Unbounded Multiagent Systems. AAMAS 2016: 1209-1217 - [c103]Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn:
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI 2016: 286-294 - [c102]Francesco Belardinelli, Alessio Lomuscio:
Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI 2016: 725-733 - [c101]Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI 2016: 1230-1238 - [c100]Francesco Belardinelli, Alessio Lomuscio:
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA 2016: 112-126 - [c99]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. KR 2016: 298-308 - [c98]Alessio Lomuscio:
Advances in Verification of Multi-agent Systems. WADT 2016: 3-4 - [e9]Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents] - 2015
- [c97]Petr Cermák, Alessio Lomuscio, Aniello Murano:
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI 2015: 2038-2044 - [c96]Panagiotis Kouvaros, Alessio Lomuscio:
A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI 2015: 2081-2088 - [c95]Alessio Lomuscio, Jakub Michaliszyn:
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. AAMAS 2015: 189-198 - [c94]Alessio Lomuscio, Hugo Paquet:
Verification of Multi-Agent Systems via SDD-based Model Checking. AAMAS 2015: 1713-1714 - [c93]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio:
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC 2015: 253-268 - [c92]Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI 2015: 854-860 - [c91]Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Emergent Properties of Swarms. IJCAI 2015: 1083-1089 - [e8]Fabio Grandi, Martin Lange, Alessio Lomuscio:
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9317-1 [contents] - [i8]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions. CoRR abs/1509.00608 (2015) - 2014
- [j26]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. 51: 333-376 (2014) - [c90]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV 2014: 525-532 - [c89]Alessio R. Lomuscio, Jakub Michaliszyn:
Decidability of model checking multi-agent systems against a class of EHS specifications. ECAI 2014: 543-548 - [c88]Alessio Lomuscio, Jakub Michaliszyn:
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. KR 2014 - [c87]Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Unbounded Artifact-Centric Systems. KR 2014 - [c86]Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati:
Tutorials. KR 2014 - [c85]Alessio R. Lomuscio:
Advances in Symbolic Model Checking for Multi-agent Systems. TIME 2014: 4 - [e7]Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri:
International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. IFAAMAS/ACM 2014, ISBN 978-1-4503-2738-1 [contents] - [e6]Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic:
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8377, Springer 2014, ISBN 978-3-319-06858-9 [contents] - [i7]Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR abs/1401.5849 (2014) - [i6]Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR abs/1402.2948 (2014) - 2013
- [j25]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24(4): 419-444 (2013) - [c84]Panagiotis Kouvaros, Alessio Lomuscio:
Automatic verification of parameterised multi-agent systems. AAMAS 2013: 861-868 - [c83]Andreas Griesmayer, Alessio Lomuscio:
Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE 2013: 130-145 - [c82]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio:
Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops 2013: 54-68 - [c81]Francesco Belardinelli, Alessio Lomuscio:
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI 2013: 725-731 - [c80]Alessio Lomuscio, Jakub Michaliszyn:
An Epistemic Halpern-Shoham Logic. IJCAI 2013: 1010-1016 - [c79]Panagiotis Kouvaros, Alessio Lomuscio:
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI 2013: 2013-2019 - [i5]Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems. CoRR abs/1301.2678 (2013) - [i4]Panagiotis Kouvaros, Alessio Lomuscio:
Automatic Verification of Parameterised Interleaved Multi-Agent Systems. CoRR abs/1301.6431 (2013) - [i3]Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff:
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). Dagstuhl Reports 3(4): 151-187 (2013) - 2012
- [j24]Alessio Lomuscio, Hongyang Qu, Monika Solanki:
Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. 24(3): 345-373 (2012) - [j23]Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. 45: 1-45 (2012) - [c78]Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio:
Group synthesis for parametric temporal-epistemic logic. AAMAS 2012: 1107-1114 - [c77]Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio:
Automatic verification of epistemic specifications under convergent equational theories. AAMAS 2012: 1141-1148 - [c76]