About: Temporal Aspects of Knowledge and Information

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

About: Temporal Aspects of Knowledge and Information 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 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. (en)
Title	Temporal Aspects of Knowledge and Information Temporal Aspects of Knowledge and Information (en)
skos:prefLabel	Temporal Aspects of Knowledge and Information Temporal Aspects of Knowledge and Information (en)
skos:notation	RIV/00216224:14330/09:00073104!RIV14-MSM-14330___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(2C06009), P(LC536)
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Horák, Aleš Materna, Pavel
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	345739
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/09:00073104
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Transparent intensional logic; TIL; temporal knowledge (en)
http://linked.open.../riv/klicoveSlovo	TIL Transparent intensional logic temporal knowledge
http://linked.open...ontrolniKodProRIV	[2B8BDC8C831F]
http://linked.open...v/mistoKonaniAkce	Karlova Studánka
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009
http://linked.open...in/vavai/riv/obor	AI
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Complex knowledge base tools for natural language communication with the semantic web Integrated center for natural language processing
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Duží, Marie Horák, Aleš Materna, Pavel
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2009-12-04 (xsd:date)
number of pages	9 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Masaryk University
https://schema.org/isbn	9788021050488
http://localhost/t...ganizacniJednotka	14330

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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software