Search Sciweavers | Sciweavers

4573 search results - page 206 / 915

» Automated Reasoning

174

click to vote

ILP
2005
Springer

169views Automated Reasoning» more ILP 2005»

Automatic Induction of Abduction and Abstraction Theories from Observations

16 years 15 days ago

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »

148

click to vote

LPAR
2005
Springer

105views Automated Reasoning» more LPAR 2005»

Monotone AC-Tree Automata

16 years 15 days ago

Download unit.aist.go.jp

Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yv...

claim paper

Read More »

144

click to vote

LPNMR
2005
Springer

97views Automated Reasoning» more LPNMR 2005»

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

16 years 15 days ago

Download www.cs.nmsu.edu

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

145

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

16 years 12 days ago

Download www.cs.unm.edu

Francisco Bueno, Pedro López-García,...

claim paper

Read More »

120

Voted

KR
2004
Springer

81views Automated Reasoning» more KR 2004»

A Unified Treatment for Knowledge Dynamics

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers