This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n16http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://purl.org/net/nknouf/ns/bibtex#
n11http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n6https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F09%3A00073104%21RIV14-MSM-14330___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F09%3A00073104%21RIV14-MSM-14330___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial, typed lambda calculus; analysis of tenses and temporal logic; analysis of epistemic verbs and events; analysis of anaphora references and topic-focus articulation. The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial, typed lambda calculus; analysis of tenses and temporal logic; analysis of epistemic verbs and events; analysis of anaphora references and topic-focus articulation.
dcterms:title
Temporal Aspects of Knowledge and Information Temporal Aspects of Knowledge and Information
skos:prefLabel
Temporal Aspects of Knowledge and Information Temporal Aspects of Knowledge and Information
skos:notation
RIV/00216224:14330/09:00073104!RIV14-MSM-14330___
n3:aktivita
n8:P
n3:aktivity
P(2C06009), P(LC536)
n3:dodaniDat
n9:2014
n3:domaciTvurceVysledku
n5:9692215 n5:3161870
n3:druhVysledku
n15:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
345739
n3:idVysledku
RIV/00216224:14330/09:00073104
n3:jazykVysledku
n14:eng
n3:klicovaSlova
Transparent intensional logic; TIL; temporal knowledge
n3:klicoveSlovo
n12:temporal%20knowledge n12:TIL n12:Transparent%20intensional%20logic
n3:kontrolniKodProRIV
[2B8BDC8C831F]
n3:mistoKonaniAkce
Karlova Studánka
n3:mistoVydani
Brno
n3:nazevZdroje
Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009
n3:obor
n4:AI
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
3
n3:projekt
n17:2C06009 n17:LC536
n3:rokUplatneniVysledku
n9:2009
n3:tvurceVysledku
Materna, Pavel Horák, Aleš Duží, Marie
n3:typAkce
n16:EUR
n3:zahajeniAkce
2009-12-04+01:00
s:numberOfPages
9
n13:hasPublisher
Masaryk University
n6:isbn
9788021050488
n11:organizacniJednotka
14330