×

Found 64 Documents (Results 1–64)

Enumeration of maximum common subtree isomorphisms with polynomial-delay. (English) Zbl 1435.05105

Ahn, Hee-Kap (ed.) et al., Algorithms and computation. 25th international symposium, ISAAC 2014, Jeonju, Korea, December 15–17, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8889, 81-93 (2014).
MSC:  05C30 05C60
PDFBibTeX XMLCite
Full Text: DOI

Characterizing certain topological specifications. (English) Zbl 1360.68589

Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. 7th international computer science symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30641-9/pbk). Lecture Notes in Computer Science 7353, 184-195 (2012).
MSC:  68Q60 03B45 03B70
PDFBibTeX XMLCite
Full Text: DOI

The Cantor space as a generic model of topologically presented knowledge. (English) Zbl 1284.03143

Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 169-180 (2010).
MSC:  03B42 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Observational effort and formally open mappings. (English) Zbl 1246.03037

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 197-208 (2009).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: DOI

A PDL-like logic of knowledge acquisition. (English) Zbl 1188.03021

Diekert, Volker (ed.) et al., Computer science – theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74509-9/pbk). Lecture Notes in Computer Science 4649, 146-157 (2007).
MSC:  03B70 03B42 68T27
PDFBibTeX XMLCite
Full Text: DOI

Regarding overlaps in ‘topologic’. (English) Zbl 1172.03010

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 259-277 (2006).
MSC:  03B42 68T27
PDFBibTeX XMLCite

Algebras as knowledge structures. (English) Zbl 1156.03319

Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 471-482 (2005).
MSC:  03B42 03B25 68T27
PDFBibTeX XMLCite
Full Text: DOI

A two-sorted hybrid logic including guarded jumps. (English) Zbl 1109.03013

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005).
MSC:  03B45 03B42 68T27
PDFBibTeX XMLCite

A hybrid logic of knowledge supporting topological reasoning. (English) Zbl 1108.68386

Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 181-195 (2004).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

New results in numerical and experimental fluid mechanics IV. Contributions to the 13th STAB/DGLR symposium, Munich, Germany, November 12–14, 2002. (English) Zbl 1067.76002

Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM) 87. Berlin: Springer (ISBN 3-540-20258-7/hbk). xiii, 482 p. (2004).
PDFBibTeX XMLCite

Extended canonicity of certain topological properties of set spaces. (English) Zbl 1273.03070

Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 137-151 (2003).
MSC:  03B45
PDFBibTeX XMLCite

Towards uniform reasoning via structured subset spaces. (English) Zbl 1077.03010

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 185-203 (2003).
MSC:  03B45 03B42 03B25
PDFBibTeX XMLCite

A hybrid treatment of evolutionary sets. (English) Zbl 1077.68848

Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 204-213 (2002).
PDFBibTeX XMLCite
Full Text: Link

Knowledge over dense flows of time (from a hybrid point of view). (English) Zbl 1027.03012

Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 194-205 (2002).
MSC:  03B42 68T30 68T27
PDFBibTeX XMLCite
Full Text: Link

Topological nexttime logic. (English) Zbl 0917.03010

Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 99-113 (1998).
MSC:  03B45
PDFBibTeX XMLCite

A topological generalization of propositional linear time temporal logic. (English) Zbl 0943.03016

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 289-297 (1997).
MSC:  03B44 68Q60 03B42
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software