Sciweavers

1151 search results - page 8 / 231

» Collaborative Programming: Applications of Logic and Automat...

141

Voted

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

Non-Deterministic Games and Program Analysis: An Application to Security

15 years 10 months ago

Non-Deterministic Games and Program Analysis: An Application to Security

Download www.eecs.qmul.ac.uk

Pasquale Malacaria, Chris Hankin

claim paper

Read More »

141

CADE
2008
Springer

98views Logical Reasoning» more CADE 2008»

Quantitative Separation Logic and Programs with Lists

16 years 6 months ago

Quantitative Separation Logic and Programs with Lists

Download www-verimag.imag.fr

Marius Bozga, Radu Iosif, Swann Perarnau

claim paper

Read More »

241

Voted

ICLP
2009
Springer

105views Automated Reasoning» more ICLP 2009»

Belief Logic Programming

16 years 7 months ago

Belief Logic Programming

Download www.aifb.uni-karlsruhe.de

Hui Wan

claim paper

Read More »

153

RR
2010
Springer

238views Automated Reasoning» more RR 2010»

A Rule-Based Approach to XML Processing and Web Reasoning

15 years 4 months ago

A Rule-Based Approach to XML Processing and Web Reasoning

Download www.risc.jku.at

Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...

Jorge Coelho, Besik Dundua, Mário Florido, ...

claim paper

Read More »

137

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 12 months ago

Probabilistic Description Logic Programs

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

« Prev « First page 8 / 231 Last » Next »