About: Logic of Questions from the Viewpoint of Dynamic Epistemic Logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Logic of Questions from the Viewpoint of Dynamic Epistemic Logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The goal of this study is an application in communication theory of a group of agents. We use multi-agent public announcement logic with application of questions by answer mining in a group of agents. The goal of this study is an application in communication theory of a group of agents. We use multi-agent public announcement logic with application of questions by answer mining in a group of agents. (en)
Title	Logic of Questions from the Viewpoint of Dynamic Epistemic Logic Logic of Questions from the Viewpoint of Dynamic Epistemic Logic (en)
skos:prefLabel	Logic of Questions from the Viewpoint of Dynamic Epistemic Logic Logic of Questions from the Viewpoint of Dynamic Epistemic Logic (en)
skos:notation	RIV/67985955:_____/10:00355050!RIV11-GA0-67985955
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA401/07/0904), P(IAA900090703), Z(AV0Z90090514)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Majer, Ondrej
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Filosofický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	268792
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/10:00355050
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	logic of questions; epistemic logic; dynamic logic; public announcement (en)
http://linked.open.../riv/klicoveSlovo	epistemic logic logic of questions public announcement dynamic logic
http://linked.open...ontrolniKodProRIV	[9F1CD624D0D1]
http://linked.open...v/mistoKonaniAkce	Hejnice
http://linked.open...i/riv/mistoVydani	London
http://linked.open...i/riv/nazevZdroje	The Logica Yearbook 2009
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes Dynamic Formal Systems
http://linked.open...UplatneniVysledku	2010
http://linked.open...iv/tvurceVysledku	Majer, Ondrej Peliš, M.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2010-06-21 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
number of pages	16 (xsd:int)
http://purl.org/ne...btex#hasPublisher	College Publications
https://schema.org/isbn	978-1-84890-009-7

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 107 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software