Вы здесь

Главная

модальная логика

Связанные издания:

ALC for CLA: Towards description logic on concept lattices
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012
Coalgebraic Methods in Computer Science: Revised Selected Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 2014
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Compositional methods in characterization of timed event structures
Computational logic in Multi-Agent Systems: Proc./15th International Workshop, CLIMA XV, Prague, Czech Republic, August 2014
Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz
Declarative Agent Languages and Technologies VII: Revised Selected and Invited Papers/7th Internatiional Workshop, DALT 2009, Budapest, Hungary, May 2009
Deontic Logic and Normative Systems: Proc./12th International Conference, DEON 2014, Ghent, Belgium, July 2014
Developments in Language Theory: Proc./23rd International Conference, DLT 2019, Warsaw, Poland, August 2019
Diagrammatic Representation and Inference: Proc./10th International Conference, Diagrams 2018, Edinburgh, UK, June 2018
Diagrammatic Representation and Inference: Proc./11th International Conference, Diagrams 2020, Tallinn, Estonia, August 2020
Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019
Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020
Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Foundations of Software Science and Computational Structures: Proc./13th International Conference, FOSSACS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science and Computational Structures: Proc./16th International Conference, FOSSACS 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, Narch 2013
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Foundations of Software Science, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 2018
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
KI 2009: Advances in Artificial Intelligence: Proc./32nd Annual German Conference on AI, Paderborn, Germany, September 2009
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022
Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013
Logic and Its Applications: Proc./6th Indian Conference, ICLA 2015, Mumbai, India, January 2015
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic and the Foundations of Game and Decision Theory - LOFT 8: Revised Selected Papers/8th International Conference, Amsterdam, The Netherlands, July 2008
Logic Foundations of Computer Science: Proc./International Symposium, LFCS 2016, Deerfield Beach,FL,USA, January 2016
Logic, Language, and Computation: Revised Selected Papers/11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 2015
Logic, Language, and Computation: Revised Selected Papers/8th International Tbilisi Symposium, TbLLC 2009, Bakuriani, Georjia, September 2009
Logic, Language, and Computation: Revised Selected Papers/9th International Tbilisi Symposium, TbiLLC 2011, Kutaisi, Georgia, September 2011
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011
Logic, Language, Information, and Computation: Proc./24th International Workshop, WoLLIC 2017, London, UK, July 2017
Logic, Language, Information, and Computation: Proc./25th International Workshop, WoLLIC 2018, Bogota, Colambia, July 2018
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019
Logic, Rationality, and Interaction: Proc./7th International Workshop, LORI 2019, Chongqing, China, October 2019
Logics in Artificial Intelligence: Proc./16th European Conference, JELIA 2019, Rende, Italy, May 2019
Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013