Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Research › Journal article
- Accepted
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.
In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.Publication: Research - peer-review › Journal article – Annual report year: 2006
- Published
Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems. / Goranko, Valentin; Shkatov, Dmitry.
In: ACM Transactions on Computational Logic, Vol. 11, No. 1, 2010, p. 3.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis. / Goranko, Valentin; Kyrilov, Angelo; Shkatov, Dmitry.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 113-125.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Theoretical analysis of two ACO approaches for the traveling salesman problem. / Kötzing, Timo; Neumann, Frank; Röglin, Heiko; Witt, Carsten.
In: Swarm Intelligence, Vol. 6, No. 1, 2012, p. 1-21.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.
In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 65-81.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Research › Conference article
- Published
Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.
In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.Publication: Research - peer-review › Conference article – Annual report year: 2010
- Published
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.Publication: Research - peer-review › Conference article – Annual report year: 2011
- Published
Preface. / Bolander, Thomas; Braüner, Torben.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.Publication: Research › Conference article – Annual report year: 2011