Sciweavers

3738 search results - page 205 / 748

» Parametrized Logic Programming

23

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

13 years 12 months ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

12

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

13 years 10 months ago

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

22

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

13 years 10 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 »

23

ICLP
2010
Springer

107views Automated Reasoning» more ICLP 2010»

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

13 years 10 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 »

25

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

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

13 years 10 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 »

« Prev « First page 205 / 748 Last » Next »