Sciweavers

19 search results - page 1 / 4

» iclp 2003

8

ICLP
2003
Springer

100views Automated Reasoning» more ICLP 2003»

Controlling Semi-automatic Systems with FLUX

13 years 9 months ago

Controlling Semi-automatic Systems with FLUX

Download www1.inf.tu-dresden.de

Michael Thielscher

claim paper

Read More »

15

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

13 years 9 months ago

A Logic Programming View of Authorization in Distributed Systems

Download www.cs.utsa.edu

William H. Winsborough

claim paper

Read More »

7

ICLP
2003
Springer

93views Automated Reasoning» more ICLP 2003»

Objective: In Minimum Context

13 years 9 months ago

Objective: In Minimum Context

Download gprolog.univ-paris1.fr

Salvador Abreu, Daniel Diaz

claim paper

Read More »

9

ICLP
2003
Springer

101views Automated Reasoning» more ICLP 2003»

The Language Model LMNtal

13 years 9 months ago

The Language Model LMNtal

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda, Norio Kato

claim paper

Read More »

6

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

13 years 9 months ago

Adding Preferences to Answer Set Planning

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »