Searching for authors named "Ekaterina Komendantskaya" – sorted by Relevance.
-
First-order deduction in neural networks
- First-order deduction in neural networks Ekaterina Komendantskaya 1 Department of Mathematics
- Cited by 1 (1 self) – Add To MetaCart
-
A sequent calculus for bilattice-based logic and its many-sorted representation
- A Sequent Calculus for Bilattice-Based Logic and its Many-Sorted Representation Ekaterina
- Cited by 2 (2 self) – Add To MetaCart
-
Learning and Deduction in Neural Networks and Logic
- of Ireland, Cork for the degree of Doctor of Philosophy Ekaterina Komendantskaya Supervisor: Doctor Anthony
- Cited by 2 (2 self) – Add To MetaCart
-
Unification by Error-Correction
- Unification by Error-Correction Ekaterina Komendantskaya 1 Abstract. The paper formalises
- Add To MetaCart
-
Logic programs with uncertainty: neural computations and automated reasoning
- Logic Programs with Uncertainty: Neural Computation and Automated Reasoning Ekaterina
- Cited by 3 (3 self) – Add To MetaCart
-
Declarative and operational semantics for bilattice-based annotated logic programs
- Declarative and Operational Semantics for Bilattice-based Annotated Logic Programs Ekaterina
- Cited by 2 (2 self) – Add To MetaCart
-
On approximation of the semantic operators determined by bilattice-based logic programs
- Ekaterina Komendantskaya1, Anthony Seda2, and Vladimir Komendantsky3 1 Department of Mathematics
- Cited by 8 (7 self) – Add To MetaCart
-
On Uniform Proof-Theoretical Operational Semantics for Logic Programming
- On uniform proof-theoretical operational semantics for logic programming ∗ Ekaterina
- Add To MetaCart
-
Sound and complete sld-resolution for bilattice-based annotated logic programs
- Abstract Ekaterina Komendantskaya 1,2 Department of Mathematics University College Cork Cork, Ireland
- Cited by 2 (2 self) – Add To MetaCart
-
11 Connectionist Representation of Multi-Valued Logic Programs
- 11 Connectionist Representation of Multi-Valued Logic Programs Ekaterina Komendantskaya, Máire
- Add To MetaCart

