Search Sciweavers | Sciweavers

4617 search results - page 197 / 924

» Automation of Diagrammatic Reasoning

145

click to vote

ICLP
2003
Springer

90views Automated Reasoning» more ICLP 2003»

Adding Preferences to Answer Set Planning

15 years 11 months ago

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

136

click to vote

ICLP
2003
Springer

101views Automated Reasoning» more ICLP 2003»

The Language Model LMNtal

15 years 11 months ago

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

Kazunori Ueda, Norio Kato

claim paper

Read More »

168

click to vote

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

15 years 11 months ago

Download www.cs.utsa.edu

William H. Winsborough

claim paper

Read More »

142

click to vote

ICCBR
2009
Springer

96views Automated Reasoning» more ICCBR 2009»

A Scalable Noise Reduction Technique for Large Case-Based Systems

15 years 11 months ago

Download disi.unitn.it

Nicola Segata, Enrico Blanzieri, Padraig Cunningha...

claim paper

Read More »

158

click to vote

LOPSTR
2009
Springer

225views Automated Reasoning» more LOPSTR 2009»

Defining Datalog in Rewriting Logic

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers