Search Sciweavers | Sciweavers

4573 search results - page 206 / 915

» Automated Reasoning

122

click to vote

ILP
2005
Springer

169views Automated Reasoning» more ILP 2005»

Automatic Induction of Abduction and Abstraction Theories from Observations

15 years 9 months ago

Download www.di.uniba.it

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

claim paper

Read More »

click to vote

LPAR
2005
Springer

105views Automated Reasoning» more LPAR 2005»

Monotone AC-Tree Automata

15 years 9 months ago

Download unit.aist.go.jp

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

claim paper

Read More »

104

click to vote

LPNMR
2005
Springer

97views Automated Reasoning» more LPNMR 2005»

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

15 years 9 months ago

Download www.cs.nmsu.edu

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

15 years 9 months ago

Download www.cs.unm.edu

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

claim paper

Read More »

click to vote

KR
2004
Springer

81views Automated Reasoning» more KR 2004»

A Unified Treatment for Knowledge Dynamics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers