Search Sciweavers | Sciweavers

4370 search results - page 244 / 874

» Algebra of Logic Programming

108

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 10 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

15 years 10 months ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »

115

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 10 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

click to vote

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

15 years 9 months ago

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »

101

click to vote

RR
2009
Springer

77views Automated Reasoning» more RR 2009»

Scalable Web Reasoning Using Logic Programming Techniques

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers