About: TIL and Logic Programming

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

About: TIL and Logic Programming 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 paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way. The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way. (en) Článek představuje metodu přechodu z TIL na Prolog system, a naopak, aby bylo možné využít Prolog stroje v systému TIL (cs)
Title	TIL and Logic Programming TIL a logické programování (cs) TIL and Logic Programming (en)
skos:prefLabel	TIL and Logic Programming TIL a logické programování (cs) TIL and Logic Programming (en)
skos:notation	RIV/61989100:27240/08:00018856!RIV09-AV0-27240___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(1ET101940420)
http://linked.open...vai/riv/dodaniDat	2009
http://linked.open...aciTvurceVysledku	Duží, Marie
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	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	400045
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/08:00018856
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	TIL; TIL-Script language; inference machine; Prolog (en)
http://linked.open.../riv/klicoveSlovo	TIL Prolog inference machine TIL-Script language
http://linked.open...ontrolniKodProRIV	[D7AADDCDD43F]
http://linked.open...v/mistoKonaniAkce	Brno
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	Raslan 2008
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Logic and Artificial Intelligence in the area of Multiagent Systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Duží, Marie Menšík, Marek Číhalová, Martina Ciprich, Nikola
http://linked.open...vavai/riv/typAkce	CST - Celostátní
http://linked.open.../riv/zahajeniAkce	2008-06-25 (xsd:date)
number of pages	14 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Masarykova universita, Brno
https://schema.org/isbn	978-80-210-4741-9
http://localhost/t...ganizacniJednotka	27240

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