Výsledky vyhľadávania - "Modular Logic Programming"
-
1
Sequential composition of propositional logic programs
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.04.2024Vydané v Annals of mathematics and artificial intelligence (01.04.2024)“…This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be decomposed…”
Získať plný text
Journal Article -
2
A Modular Logic Approach for Expressing Web Services in XML Applying Dynamic Rules in XML
ISSN: 1453-1305, 1842-8088Vydavateľské údaje: Bucharest Academy of Economic Studies - Bucharest, Romania 01.10.2009Vydané v Informatica Economica (01.10.2009)“…RuleML is considered to be a markup language for the semantic web. It allows the enrichment of web ontologies by adding definitions of derived concepts and it…”
Získať plný text
Journal Article