Sciweavers

5506 search results - page 192 / 1102

» Minimal Logic Programs

118

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 10 months ago

Predicate Abstraction in a Program Logic Calculus

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

85

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

15 years 10 months ago

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

104

Voted

RR
2009
Springer

77views Automated Reasoning» more RR 2009»

Scalable Web Reasoning Using Logic Programming Techniques

15 years 10 months ago

Scalable Web Reasoning Using Logic Programming Techniques

Download www.aifb.uni-karlsruhe.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

112

Voted

TASE
2008
IEEE

81views Software Engineering» more TASE 2008»

Verifying BPEL-Like Programs with Hoare Logic

15 years 10 months ago

Verifying BPEL-Like Programs with Hoare Logic

Download www.dur.ac.uk

The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...

Chenguang Luo, Shengchao Qin, Zongyan Qiu

claim paper

Read More »

116

Voted

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 9 months ago

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

« Prev « First page 192 / 1102 Last » Next »