Ekaterina Komendantskaya

129 papers A* 1A 1B 13C 17Misc 2Journal 60Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Foundation for Differentiable Logics using Dependent Type Theory.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2025 B conf
A Certified Proof Checker for Deep Neural Network Verification in Imandra.
ITP
Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
2025 J jnl
A Generalised Framework for Property-Driven Machine Learning.
CoRR
Thomas Flinkow, Marco Casadio, Colin Kessler, Rosemary Monahan, Ekaterina Komendantskaya
2025 C conf
Exploring Verification Frameworks for Social Choice Alignment.
NeSy
Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya
2025 Misc conf
Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models.
SAC
Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya
2025 — conf
Neural Network Verification for Gliding Drone Control: A Case Study.
SAIV
Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Thomas Flinkow, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson
2025 J jnl
Neural Network Verification for Gliding Drone Control: A Case Study.
CoRR
Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Thomas Flinkow, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 C conf
Proof-Carrying Neuro-Symbolic Code.
CiE
Ekaterina Komendantskaya
2025 J jnl
Proof-Carrying Neuro-Symbolic Code.
CoRR
Ekaterina Komendantskaya
2025 — conf
Quantifiers for Differentiable Logics in Rocq (Extended Abstract).
SAIV
Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
2025 B conf
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk).
FSCD
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi
2024 J jnl
A Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
2024 J jnl
A Neurosymbolic Framework for Bias Correction in CNNs.
CoRR
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 — conf
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.
ICLP Workshops
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 J jnl
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.
Theory Pract. Log. Program.
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 — conf
Generating Traffic-Level Adversarial Examples from Feature-Level Specifications.
ESORICS Workshops (2)
Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
NLP Verification: Towards a General Methodology for Certifying Robustness.
CoRR
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
2024 B conf
Taming Differentiable Logics with Coq Formalisation.
ITP
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024 J jnl
Taming Differentiable Logics with Coq Formalisation.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024 J jnl
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
2023 — conf
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
FoMLAS@CAV
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 J jnl
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
CoRR
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 B conf
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.
CPP
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
2023 B conf
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
LPAR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 J jnl
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 — conf
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges.
AAMAS Workshops
Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
2023 — conf
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2023 C conf
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
2023 J jnl
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
2022 J jnl
CheckINN: Wide Range Neural Network Verification in Imandra (Extended).
CoRR
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 C conf
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 — conf
Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach.
ACCV (6)
Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
2022 — conf
Differentiable Logics for Neural Network Training and Verification.
NSV/FoMLAS@CAV
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022 J jnl
Differentiable Logics for Neural Network Training and Verification.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022 B ed.
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings
MPC
Ekaterina Komendantskaya
2022 — conf
Neural Network Robustness as a Verification Property: A Principled Case Study.
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
2022 — conf
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
NSV/FoMLAS@CAV
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
2022 J jnl
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
CoRR
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
2022 A* conf
The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning.
AAAI
Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
2022 J jnl
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
2022 J jnl
Why Robust Natural Language Understanding is a Challenge.
CoRR
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
2021 J jnl
Actions You Can Handle: Dependent Types for AI Plans.
CoRR
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
2021 — conf
Actions you can handle: dependent types for AI plans.
TyDe@ICFP
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
2021 J jnl
Property-driven Training: All You (N)Ever Wanted to Know About.
CoRR
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
2020 — conf
Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs.
ARC
Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya
2020 C conf
Continuous Verification of Machine Learning: a Declarative Programming Approach.
PPDP
Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz
2020 B conf
Neural Networks, Secure by Construction - An Exploration of Refinement Types.
APLAS
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
2020 — ed.
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings
PADL
Ekaterina Komendantskaya, Yanhong Annie Liu
2020 C conf
Proof-Carrying Plans: a Resource Logic for AI Planning.
PPDP
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
2020 J jnl
Proof-Carrying Plans: a Resource Logic for AI Planning.
CoRR
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
2020 B conf
Relative Robustness of Quantized Neural Networks Against Adversarial Attacks.
IJCNN
Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
CoRR
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
Theory Pract. Log. Program.
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
2019 A conf
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
ESOP
Henning Basold, Ekaterina Komendantskaya, Yue Li
2019 J jnl
Coinductive Uniform Proofs.
CoRR
Ekaterina Komendantskaya, Yue Li
2019 J jnl
Neural Network Verification for the Masses (of AI graduates).
CoRR
Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus
2019 C ed.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019.
PPDP
Ekaterina Komendantskaya
2019 C conf
Proof-Carrying Plans.
PADL
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
2018 J jnl
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
CoRR
Henning Basold, Ekaterina Komendantskaya, Yue Li
2018 J jnl
Logic programming: Laxness and saturation.
J. Log. Algebraic Methods Program.
Ekaterina Komendantskaya, John Power
2018 J jnl
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
CoRR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2018 J jnl
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
Theory Pract. Log. Program.
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2018 — conf
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.
HCVS
Ekaterina Komendantskaya, Yue Li
2017 J jnl
Operational semantics of resolution and productivity in Horn clause logic.
Formal Aspects Comput.
Peng Fu, Ekaterina Komendantskaya
2017 — ed.
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016.
CoALP-Ty
Ekaterina Komendantskaya, John Power
2017 J jnl
Productive Corecursion in Logic Programming.
CoRR
Ekaterina Komendantskaya, Yue Li
2017 J jnl
Productive corecursion in logic programming.
Theory Pract. Log. Program.
Ekaterina Komendantskaya, Yue Li
2017 C conf
Proof Mining with Dependent Types.
CICM
Ekaterina Komendantskaya, Jónathan Heras
2017 J jnl
Proof Mining with Dependent Types.
CoRR
Ekaterina Komendantskaya, Jónathan Heras
2016 C conf
A Productivity Checker for Logic Programming.
LOPSTR
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
2016 J jnl
A Productivity Checker for Logic Programming.
CoRR
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
2016 — conf
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.
CMCS
Ekaterina Komendantskaya, John Power
2016 J jnl
Category theoretic semantics for theorem proving in logic programming: embracing the laxness.
CoRR
Ekaterina Komendantskaya, John Power
2016 J jnl
CoALP-Ty'16.
CoRR
Ekaterina Komendantskaya, Frantisek Farka
2016 J jnl
Coalgebraic logic programming: from Semantics to Implementation.
J. Log. Comput.
Ekaterina Komendantskaya, John Power, Martin Schmidt
2016 C conf
Coinductive Soundness of Corecursive Type Class Resolution.
LOPSTR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2016 J jnl
Coinductive Soundness of Corecursive Type Class Resolution.
CoRR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
2016 J jnl
Logic programming: laxness and saturation.
CoRR
Ekaterina Komendantskaya, John Power
2016 J jnl
Operational Semantics of Resolution in Horn Clause Logic.
CoRR
Peng Fu, Ekaterina Komendantskaya
2016 Misc conf
Proof Relevant Corecursive Resolution.
FLOPS
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
2016 — conf
Structural Resolution for Abstract Compilation of Object-Oriented Languages.
CoALP-Ty
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
2015 C conf
A Type-Theoretic Approach to Resolution.
LOPSTR
Peng Fu, Ekaterina Komendantskaya
2015 J jnl
A Type-Theoretic Approach to Resolution.
CoRR
Peng Fu, Ekaterina Komendantskaya
2015 J jnl
A Type-Theoretic Approach to Structural Resolution.
CoRR
Peng Fu, Ekaterina Komendantskaya
2015 J jnl
Proof Relevant Corecursive Resolution.
CoRR
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
2015 — conf
Structural Resolution for Logic Programming.
ICLP (Technical Communications)
Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
2015 J jnl
Structural Resolution for Logic Programming.
CoRR
Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
2015 J jnl
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic.
CoRR
Ekaterina Komendantskaya, Patricia Johann
2014 — conf
ACL2(ml): Machine-Learning for ACL2.
ACL2
Jónathan Heras, Ekaterina Komendantskaya
2014 J jnl
Guarding (Co)Recursion in Coalgebraic Logic Programming.
CoRR
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
2014 J jnl
HoTT formalisation in Coq: Dependency Graphs \& ML4PG.
CoRR
Jónathan Heras, Ekaterina Komendantskaya
2014 J jnl
Proof Pattern Search in Coq/SSReflect.
CoRR
Jónathan Heras, Ekaterina Komendantskaya
2014 J jnl
Recycling Proof Patterns in Coq: Case Studies.
Math. Comput. Sci.
Jónathan Heras, Ekaterina Komendantskaya
2013 J jnl
Coalgebraic Logic Programming: from Semantics to Implementation.
CoRR
Ekaterina Komendantskaya, John Power, Martin Schmidt
2013 J jnl
Exploiting Parallelism in Coalgebraic Logic Programming.
CoRR
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013 — conf
Exploiting Parallelism in Coalgebraic Logic Programming.
WACT
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013 — conf
ML4PG in Computer Algebra Verification.
MKM/Calculemus/DML
Jónathan Heras, Ekaterina Komendantskaya
2013 J jnl
ML4PG: proof-mining in Coq
CoRR
Jónathan Heras, Ekaterina Komendantskaya
2013 B conf
Proof-Pattern Recognition and Lemma Discovery in ACL2.
LPAR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013 J jnl
Proof-Pattern Recognition in ACL2.
CoRR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013 J jnl
Statistical Proof Pattern Recognition: Automated or Interactive?
CoRR
Jónathan Heras, Ekaterina Komendantskaya
2013 J jnl
Statistical Proof-Patterns in Coq/SSReflect
CoRR
Jónathan Heras, Ekaterina Komendantskaya
2012 — conf
Machine Learning in Proof General: Interfacing Interfaces
UITP
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
2012 — conf
Neural Networks for Proof-Pattern Recognition.
ICANN (2)
Ekaterina Komendantskaya, Kacper Lichota
2012 — ed.
Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010
PAR@ITP
Ekaterina Komendantskaya, Ana Bove, Milad Niqui
2011 B conf
Coalgebraic Derivations in Logic Programming.
CSL
Ekaterina Komendantskaya, John Power
2011 B conf
Coalgebraic Semantics for Derivations in Logic Programming.
CALCO
Ekaterina Komendantskaya, John Power
2011 — conf
Machine Learning Coalgebraic Proofs.
ILP (Late Breaking Papers)
Ekaterina Komendantskaya
2011 C conf
SHERLOCK - An Interface for Neuro-Symbolic Networks.
NeSy
Ekaterina Komendantskaya, Qiming Zhang
2011 J jnl
Unification neural networks: unification by error-correction learning.
Log. J. IGPL
Ekaterina Komendantskaya
2010 — conf
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.
AMAST
Ekaterina Komendantskaya, Guy McCusker, John Power
2010 — conf
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets.
ICANN (1)
Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
2010 — ed.
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010.
PAR
Ana Bove, Ekaterina Komendantskaya, Milad Niqui
2009 C conf
Neurons or Symbols - Why does OR Remain Exclusive?.
IJCCI
Ekaterina Komendantskaya
2009 C conf
Parallel Rewriting in Neural Networks.
IJCCI
Ekaterina Komendantskaya
2009 J jnl
Using Structural Recursion for Corecursion
CoRR
Yves Bertot, Ekaterina Komendantskaya
2008 B conf
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.
JELIA
Ekaterina Komendantskaya, John Power
2008 J jnl
Inductive and Coinductive Components of Corecursive Functions in Coq
CoRR
Yves Bertot, Ekaterina Komendantskaya
2008 — conf
Inductive and Coinductive Components of Corecursive Functions in Coq.
CMCS
Yves Bertot, Ekaterina Komendantskaya
2008 C conf
Unification by Error-Correction.
NeSy
Ekaterina Komendantskaya
2008 — conf
Using Structural Recursion for Corecursion.
TYPES
Yves Bertot, Ekaterina Komendantskaya
2007 B conf
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.
TABLEAUX
Ekaterina Komendantskaya
2007 — ch.
Connectionist Representation of Multi-Valued Logic Programs.
Perspectives of Neural-Symbolic Integration
Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda
2007 C conf
First-order deduction in neural networks.
LATA
Ekaterina Komendantskaya
2006 — conf
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.
MFCSIT
Ekaterina Komendantskaya, Anthony Karel Seda