Search Sciweavers | Sciweavers

12745 search results - page 180 / 2549

» Automating test automation

145

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 11 months ago

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

140

click to vote

ILP
2001
Springer

83views Automated Reasoning» more ILP 2001»

Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition

15 years 11 months ago

Download www.irisa.fr

Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...

claim paper

Read More »

155

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

162

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 11 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

130

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers