Máire Lane

According to our database, Máire Lane authored at least 3 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Connectionist Representation of Multi-Valued Logic Programs.

Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda

Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

2006

Properties of General Semantic Operators Determined by Logic-Based Systems.

Máire Lane, Anthony Karel Seda

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2003

On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs.

Anthony Karel Seda, Máire Lane

Proceedings of the 6th International Workshop on Formal Methods, 2003