Algorithms and Logic

  1. 2009
  2. Published

    Minimum Makespan Multi-vehicle Dial-a-Ride. / Gørtz, Inge Li; Nagarajan, Viswanath; Ravi, R.

    Algorithms - ESA 2009. Springer, 2009. p. 540-552 (Lecture Notes in Computer Science; No. Volume 5757/2009).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  3. Published

    ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies. / Nilsson, Jørgen Fischer; Szymczak, Bartlomiej Antoni; Jensen, P.A.

    Flexible Query Answering Systems: 8th International Conference, Fqas 2009. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5822).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  4. Published

    Ontological semantics in modified categorial grammar. / Szymczak, Bartlomiej Antoni.

    International Multiconference on Computer Science and Information Technology, 2009. IMCSIT '09. IEEE, 2009. p. 295-298.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  5. Published

    Preface : Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben; Bolander, Thomas.

    In: Journal of Logic, Language and Information, Vol. 18, No. 4, 2009, p. 435-436.

    Publication: Research - peer-reviewEditorial – Annual report year: 2009

  6. Published

    Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Annals of Pure and Applied Logic, Vol. 161, No. 3, 2009, p. 289-304.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  7. Published

    Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'2009). IEEE Computer Society Press, 2009. p. 240-249.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  8. Published

    Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. / Goranko, Valentin; Shkatov, Dmitry.

    Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  9. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

    Publication: Research - peer-reviewConference article – Annual report year: 2009

  10. Published

    Undecidability of Interval Temporal Logics with the Overlap Modality. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2009. p. 88-95.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  11. 2010
  12. Published

    A few ants are enough: ACO with iteration-best update. / Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    GECCO 2010: Portland, Oregon, USA - Companion Material. 2010. p. 63-70.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

Previous 1 2 3 4 5 6 7 8 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word