咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 5 篇 计算机科学与技术...
    • 3 篇 软件工程
  • 3 篇 理学
    • 3 篇 数学

主题

  • 5 篇 modular logic pr...
  • 2 篇 abstract interpr...
  • 2 篇 logic programmin...
  • 2 篇 answer set progr...
  • 2 篇 formal specifica...
  • 2 篇 formal verificat...
  • 1 篇 scalability
  • 1 篇 types
  • 1 篇 program analysis
  • 1 篇 abduction
  • 1 篇 monotonic semant...
  • 1 篇 static analysis
  • 1 篇 compositionality
  • 1 篇 verification
  • 1 篇 institutions
  • 1 篇 program specific...
  • 1 篇 constructive neg...
  • 1 篇 normal logic pro...
  • 1 篇 model-theoretic ...

机构

  • 2 篇 univ a coruna la...
  • 2 篇 univ potsdam pot...
  • 2 篇 univ nebraska om...
  • 1 篇 univ pisa dipart...
  • 1 篇 tech univ madrid...
  • 1 篇 univ politecn ca...

作者

  • 2 篇 lierler yuliya
  • 2 篇 fandinno jorge
  • 2 篇 cabalar pedro
  • 1 篇 puebla german
  • 1 篇 pietrzak pawel
  • 1 篇 correas jesus
  • 1 篇 giacobazzi r
  • 1 篇 orejas f
  • 1 篇 pino e
  • 1 篇 hermenegildo man...
  • 1 篇 lucio p

语言

  • 4 篇 英文
  • 1 篇 其他
检索条件"主题词=Modular Logic Programs"
5 条 记 录,以下是1-10 订阅
排序:
Abductive analysis of modular logic programs
收藏 引用
JOURNAL OF logic AND COMPUTATION 1998年 第4期8卷 457-483页
作者: Giacobazzi, R Univ Pisa Dipartimento Informat I-56125 Pisa Italy
We introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing the deduction process, which is usually applied in static-dataflow analysis of logic programs, on generic... 详细信息
来源: 评论
An algebraic framework for the definition of compositional semantics of normal logic programs
收藏 引用
JOURNAL OF logic PROGRAMMING 1999年 第1期40卷 89-123页
作者: Lucio, P Orejas, F Pino, E Univ Politecn Cataluna Dept LSI Barcelona 08034 Spain
The aim of our work is the definition of compositional semantics for modular units over the class of normal logic programs. In this sense, we propose a declarative semantics for normal logic programs in terms of model... 详细信息
来源: 评论
modular Answer Set Programming as a Formal Specification Language
收藏 引用
THEORY AND PRACTICE OF logic PROGRAMMING 2020年 第5期20卷 767-782页
作者: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany Univ Nebraska Omaha Omaha NE USA
In this paper, we study the problem of formal verification for Answer Set Programming (ASP), namely, obtaining aformal proofshowing that the answer sets of a given (non-ground) logic programPcorrectly correspond to th... 详细信息
来源: 评论
A Practical Type Analysis for Verification of modular Prolog programs  08
A Practical Type Analysis for Verification of Modular Prolog...
收藏 引用
ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
作者: Pietrzak, Pawel Correas, Jesus Puebla, German Hermenegildo, Manuel V. Tech Univ Madrid Sch Comp Sci Madrid Spain
Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real-life, modular Prolog programs, the accurate results obtained by regular types often co... 详细信息
来源: 评论
modular Answer Set Programming as a Formal Specification Language
Modular Answer Set Programming as a Formal Specification Lan...
收藏 引用
36th International Conference on logic Programming (ICLP)
作者: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany Univ Nebraska Omaha Omaha NE USA
In this paper, we study the problem of formal verification for Answer Set Programming (ASP), namely, obtaining aformal proofshowing that the answer sets of a given (non-ground) logic programPcorrectly correspond to th... 详细信息
来源: 评论