Dynamic Logic. New Trends and Applications
-15%
portes grátis
Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Madeira, Alexandre; Benevides, Mario
Springer International Publishing AG
01/2018
201
Mole
Inglês
9783319735788
15 a 20 dias
454
Descrição não disponível.
Undecidability of Relation-Changing Modal Logics.- Axiomatization and computability of a variant of iteration-free PDL with fork.- A Dynamic Logic for Learning Theory.- Layered logics, coalgebraically.- A Dynamic Informational-Epistemic Logic.- Dynamic Epistemic Logics of Introspection.- Logics for Actor Networks: a case study in constrained hybridization.- Parity Games and Automata for Game Logic.- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.- Dynamic Logic: A personal perspective.- The Creation and Change of Social Networks: a logical study based on group size.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;cloud computing;computer networks;data communication systems;data security;image processing;machine learning;mobile computing;mobile devices;ontologies;Quality of Service (QoS);routers;semantics;signal processing;telecommunication traffic;wireless sensor networks;Kleene algebra;formal methods;automata;logic
Undecidability of Relation-Changing Modal Logics.- Axiomatization and computability of a variant of iteration-free PDL with fork.- A Dynamic Logic for Learning Theory.- Layered logics, coalgebraically.- A Dynamic Informational-Epistemic Logic.- Dynamic Epistemic Logics of Introspection.- Logics for Actor Networks: a case study in constrained hybridization.- Parity Games and Automata for Game Logic.- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.- Dynamic Logic: A personal perspective.- The Creation and Change of Social Networks: a logical study based on group size.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;cloud computing;computer networks;data communication systems;data security;image processing;machine learning;mobile computing;mobile devices;ontologies;Quality of Service (QoS);routers;semantics;signal processing;telecommunication traffic;wireless sensor networks;Kleene algebra;formal methods;automata;logic
