A Procedural Semantics for Multi-adjoint logic Programming.

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06020209" target="_blank" >RIV/67985807:_____/01:06020209 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Procedural Semantics for Multi-adjoint logic Programming.

Popis výsledku v původním jazyce

Multi-adjoint logic program generalise monotonic logic programs introduced by Damasio and Pereira in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural semanticsis given for the paradigm of multi-adjoint logic programming and completeness theorems are proved.

Název v anglickém jazyce

A Procedural Semantics for Multi-adjoint logic Programming.

Popis výsledku anglicky

Multi-adjoint logic program generalise monotonic logic programs introduced by Damasio and Pereira in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural semanticsis given for the paradigm of multi-adjoint logic programming and completeness theorems are proved.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2001

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Progress in Artificial Intelligence. Knowledge Extraction, multi-agent Systems, Logic Programming and Constraint Solving.

ISBN

3-540-43030-X

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

290-297

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Porto [PT]

Datum konání akce

17. 12. 2001

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—