Sciweavers

3481 search results - page 218 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

96

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 6 months ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

103

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 5 months ago

Actions and Programs over Description Logic Ontologies

Download www.dis.uniroma1.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

128

ICLP
2010
Springer

107views Automated Reasoning» more ICLP 2010»

Introduction to the Technical Communications of the 26th International Conference on Logic Programming

15 years 5 months ago

Introduction to the Technical Communications of the 26th International Conference on Logic Programming

Download drops.dagstuhl.de

Manuel V. Hermenegildo, Torsten Schaub

claim paper

Read More »

123

Voted

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

EON: modeling and analyzing dynamic access control systems with logic programs

15 years 5 months ago

EON: modeling and analyzing dynamic access control systems with logic programs

Download www.cs.umd.edu

We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...

claim paper

Read More »

106

Voted

FLOPS
2008
Springer

82views Automated Reasoning» more FLOPS 2008»

Quantitative Logic Programming Revisited

15 years 4 months ago

Quantitative Logic Programming Revisited

Download gpd.sip.ucm.es

Mario Rodríguez-Artalejo, Carlos A. Romero-...

claim paper

Read More »

« Prev « First page 218 / 697 Last » Next »