MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ekaterina Komendantskaya" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

First-order deduction in neural networks
by Ekaterina Komendantskaya — 2007 — In Proceedings of the 1st International Conference on Language and Automata Theory and Applications (LATA’07
…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
by Ekaterina Komendantskaya — 2007 — Proc. Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX’07, volume 4548 of LNAI, pages 165–182, Aix en Provance
…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
by Ekaterina Komendantskaya — 2007
… 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
by Ekaterina Komendantskaya
…Unification by Error-Correction Ekaterina Komendantskaya 1 Abstract. The paper formalises…
Add To MetaCart

Logic programs with uncertainty: neural computations and automated reasoning
by Ekaterina Komendantskaya, Anthony Seda — 2006 — In Proc. CiE’06
…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
by Ekaterina Komendantskaya, Anthony Seda — 2006 — In Proceedings of the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT
…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
by Ekaterina Komendantskaya, Anthony Seda, Vladimir Komendantsky — 2005 — In Proceedings of the Seventh International Workshop on First-Order Theorem Proving (FTP’05
… 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
by Ekaterina Komendantskaya Vladimir, Vladimir Komendantsky — 2005
…On uniform proof-theoretical operational semantics for logic programming ∗ Ekaterina…
Add To MetaCart

Sound and complete sld-resolution for bilattice-based annotated logic programs
by Ekaterina Komendantskaya, Anthony Karel Seda — In Proceedings of the International Conference INFORMATION-MFCSIT’06
… 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
by Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda
…11 Connectionist Representation of Multi-Valued Logic Programs Ekaterina Komendantskaya, Máire…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB