×

Found 32 Documents (Results 1–32)

100
MathJax

An algebraic theory of complexity for valued constraints: establishing a Galois connection. (English) Zbl 1343.68106

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 231-242 (2011).
MSC:  68Q25 06A15 90C60
PDF BibTeX XML Cite
Full Text: DOI

Knowledge description and Galois correspondence. Practical impact of a structural idea. (English) Zbl 1235.06004

Berichte aus der Mathematik. Aachen: Shaker Verlag (ISBN 978-3-8440-0066-5/pbk). viii, 71 p. (2011).
PDF BibTeX XML Cite

Programming from Galois connections. (English) Zbl 1329.68079

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 294-313 (2011).
MSC:  68N30 06A15 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Abstract concept lattices. (English) Zbl 1326.68289

Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 235-250 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

Dynamic epistemic algebra with post-conditions to reason about robot navigation. (English) Zbl 1326.68276

Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 161-175 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 3

Classification

all top 3

Software