Sciweavers

19 search results - page 1 / 4

» iclp 2003

9

ICLP
2003
Springer

100views Automated Reasoning» more ICLP 2003»

Controlling Semi-automatic Systems with FLUX

13 years 10 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 10 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 10 months ago

Objective: In Minimum Context

Download gprolog.univ-paris1.fr

Salvador Abreu, Daniel Diaz

claim paper

Read More »

10

ICLP
2003
Springer

101views Automated Reasoning» more ICLP 2003»

The Language Model LMNtal

13 years 10 months ago

The Language Model LMNtal

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

Kazunori Ueda, Norio Kato

claim paper

Read More »

7

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

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